Filters








13 Hits in 4.2 sec

Verifying Object-Oriented Programs with KeY: A Tutorial [chapter]

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY.  ...  The main design goal of the KeY prover is thus a seamless integration of automated and interactive proving. Efficiency must be measured in terms of user plus prover, not just prover alone.  ...  Acknowledgements We would like to thank Richard Bubel for many discussions on various topics of the paper, and for his enormous contribution to the constant improvement of the KeY system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-74792-5_4">doi:10.1007/978-3-540-74792-5_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gyp7wdqljbd5fac7uru62fc3qm">fatcat:gyp7wdqljbd5fac7uru62fc3qm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080422173230/http://www.uni-koblenz.de/%7Ebeckert/pub/fmco07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/9f/ea9fabbe2f1b54ad233ae9408854f762163dc755.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-74792-5_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Silas: High Performance, Explainable and Verifiable Machine Learning [article]

Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Ali Mirjalili
<span title="2019-10-03">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We also discuss implementation details ranging from programming paradigm to memory management that help achieve high-performance computation.  ...  A focus of Silas is on providing a formal foundation of decision trees in order to support logical analysis and verification of learned prediction models.  ...  diagrams (BDDs) which are widely-used in implementations of logical systems such as theorem provers [19] and model checkers [20] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.01382v1">arXiv:1910.01382v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wudc6qfebzgvxdcwndjgmqkkl4">fatcat:wudc6qfebzgvxdcwndjgmqkkl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825113909/https://arxiv.org/pdf/1910.01382v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/dc/93dcd48b57c5115b15750027d180b54ae3a92108.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.01382v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen, Marc Herbstritt
<span title="2013-08-06">2013</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
Applications must exhibit portable correctness, operating correctly on any configuration of accelerators, and portable performance, exploiting processing power and energy efficiency offered by a wide range  ...  Performance is gained in energy efficiency and execution speed, allowing intensive media processing software to run in low-power consumer devices.  ...  We discuss an implementation of the semantics in the K framework and a formalization of the correctness proof in the theorem prover KIV.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.4.17">doi:10.4230/dagrep.3.4.17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/CohenDHK13.html">dblp:journals/dagstuhl-reports/CohenDHK13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4qiimr6nwfdibcj6nmhw4ml2pu">fatcat:4qiimr6nwfdibcj6nmhw4ml2pu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709031942/https://ris.utwente.nl/ws/files/6129243/Cohen13correct.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/da/a0da048a780a54ff4ce475a2dcd0bc131b17e68e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.4.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations

E. A. Boiten, H. A. Partsch, D. Tuijnman, N. Volker
<span title="1992-12-01">1992</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bf4qaipmsrghrjyxonrsmqevie" style="color: black;">Computer journal</a> </i> &nbsp;
deriving efficient programs by correctness-preserving transformations.  ...  For years the approach has been to build up by trial and error a program which, having satisfied carefully prepared test data, offers a plausible solution to the problem. But is it correct ?  ...  support environments, 8 along with components like compilers, (syntax-directed) editors and theorem provers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/35.6.547">doi:10.1093/comjnl/35.6.547</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5dzkroraiva63k2nie4wtzml5u">fatcat:5dzkroraiva63k2nie4wtzml5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170707191832/https://oup.silverchair-cdn.com/oup/backfile/Content_public/Journal/comjnl/35/6/10.1093/comjnl/35.6.547/2/35-6-547.pdf?Expires=1499494964&amp;Signature=UmcfzAkJwzAlbAp0e3YarHhP2ppyhamCYgIeEpAOhw9qu8PXJBCeAsI3bOWzl4W7Yc7ESbjDIY4xtv60ZHmPl-NMfX1~prvBKSi7EH6oUzgVw09xg4xTYcBkE4V1paY-yHKt5GP9mDh0qCYeqV7cxu0vbE0R~rakYAZkB9U~mY1b~xgx7OhjzUbSEbXR6tp7yfR9BPPN5dlYDovKc3uRLPlYa4rEXId4plRc5qZqNwlESzFfgyoYeIvJhys0kayoIRcnrW3wBpSAOWjkzKcepqDnz-Aw-NHMUpd66QLyucbmTzIAfGUy9ytryN~u8p3zeF6LbITkk5SSdJD0tB9fsg__&amp;Key-Pair-Id=APKAIUCZBIA4LVPAVW3Q" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/a8/26a86afedfed1078e39af6d659dfb45902d166b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/35.6.547"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Report from Dagstuhl Seminar 13142 Correct and Efficient Accelerator Programming Creative Commons BY 3.0 Unported license

Albert Cohen, Alastair Donaldson, Marieke Huisman, Joost-Pieter Katoen, Albert Cohen, Alastair Donaldson, Marieke Huisman, Joost-Pieter Katoen, Albert Cohen, Alastair Donaldson, Marieke Huisman, Joost-Pieter Katoen (+5 others)
<i > Dagstuhl Reports </i> &nbsp; <span class="release-stage">unpublished</span>
Applications must exhibit portable correctness, operating correctly on any configuration of accelerators, and portable performance, exploiting processing power and energy efficiency offered by a wide range  ...  Performance is gained in energy efficiency and execution speed, allowing intensive media processing software to run in low-power consumer devices.  ...  We discuss an implementation of the semantics in the K framework and a formalization of the correctness proof in the theorem prover KIV.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vrhxfa475baoppcpmbbt3eiehm">fatcat:vrhxfa475baoppcpmbbt3eiehm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520160730/http://drops.dagstuhl.de/opus/volltexte/2013/4075/pdf/dagrep_v003_i004_p017_s13142.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/80/8580370ead294d405ac83c81e7ab2f994694c12d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue [article]

<span title="2013-07-04">2013</span>
A breakthrough in performance is expected by parallelising hard real-time applications and running them on an embedded multi-core processor, which enables combining the requirements for high-performance  ...  Testing, Fuzz Testing, Security Testing, Real-time System Testing, Theorem-Prover-based Test-Case Generation, Hybrid System Testing, and Mutation Testing.  ...  to loop computations on multi-cores including the way how deterministic voting may be efficiently implemented on a class of domain-specific multi-core architectures called tightly-coupled processor arrays  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.1">doi:10.4230/dagrep.3.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tt7daiu6fjhb3i3npxmz5ul2gy">fatcat:tt7daiu6fjhb3i3npxmz5ul2gy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034415/https://drops.dagstuhl.de/opus/volltexte/2013/4077/pdf/dagrep_v003_i001_complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/38/8c38ae06b05981460e167c0495e36f170830265e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

OASIcs, Volume 35, ICCSW'13, Complete Volume [article]

Andrew V. Jones, Nicholas Ng
<span title="2013-11-15">2013</span>
The author would like to thank José Fiadeiro for many useful discussions and feedback on the logic-programming semantics of services.  ...  This work has also been supported by: the EraSysBio+ grant SHIPREC from the European Union, BBSRC and BMBF; a VLA grant on machine learning algorithms; a grant from the National Natural Science Foundation  ...  One way to achieve this beyond the proofs done on paper, is to formalise the implementation through an interactive theorem prover of our choice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iccsw.2013">doi:10.4230/oasics.iccsw.2013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nzu3mwmc3bg47pgg6lmeygo7uu">fatcat:nzu3mwmc3bg47pgg6lmeygo7uu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520194211/http://drops.dagstuhl.de/opus/volltexte/2013/4349/pdf/oasics_vol35_iccsw2013_complete_volume.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/17/6c17bce08cee2e2a3d01ac2e553f3378d7b80192.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iccsw.2013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

LIPIcs, Volume 2, FSTTCS'08, Complete Volume [article]

Ramesh Hariharan, Madhavan Mukund, V Vinay
<span title="2013-09-27">2013</span>
This survey is based on joint research with Dietmar Berwanger and Stephan Kreutzer.  ...  Acknowledgments: We thank Mohammad Salavatipour for helpful discussions on k-2EC and related problems. We thank Erin Wolf Chambers for useful suggestions on notation.  ...  It easily follows that the sieving procedure in Step 2 can be performed in 2 O(n) time. Note that L ∩ M is a rank k lattice and a basis for it can be computed efficiently.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2008">doi:10.4230/lipics.fsttcs.2008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/byk56drkgzc6dlyzfnfysbydoq">fatcat:byk56drkgzc6dlyzfnfysbydoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520161847/http://drops.dagstuhl.de/opus/volltexte/2013/4096/pdf/lipics-vol2-fsttcs2008-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

OASIcs, Volume 43, ICCSW'14, Complete Volume [article]

Rumyana Neykova, Nicholas Ng
<span title="2014-10-09">2014</span>
DEVStone implementation for aDEVS and PyPDEVS is based from models originally written by Yentl Van Tendeloo and Prof. Hans Vangheluwe. Acknowledgements.  ...  Acknowledgements This work is part of a collaboration with Hans-Wolfgang Loidl and Greg Michaelson to whom the author is grateful for encouragement and helpful discussions.  ...  By Theorem 7 and Theorem 8 one obtains the following generalization of Theorem 6: Theorem 9 (Generalized LHL [1] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iccsw.2014">doi:10.4230/oasics.iccsw.2014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/toysxgo6gfhprel6qgpx32lqma">fatcat:toysxgo6gfhprel6qgpx32lqma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180521032645/http://drops.dagstuhl.de/opus/volltexte/2014/4780/pdf/oasics-vol43-iccsw2014-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/dc/a9dc97734ab974167832b6f04251206895498ac8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iccsw.2014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue [article]

<span title="2017-10-18">2017</span>
We present a theorem characterizing the notion of 1-genericity in terms of differentiable functions.  ...  We also discuss variations about n-genericity, multiple differentiability, and polynomial time computability.  ...  High-performance and energy-efficient non-volatile memories will also be important for neuromorphic devices.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.2">doi:10.4230/dagrep.7.2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ydwbggkkxjfahomhv75rjaguiy">fatcat:ydwbggkkxjfahomhv75rjaguiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034334/https://drops.dagstuhl.de/opus/volltexte/2017/8027/pdf/dagrep-v007-i002-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/b3/33b3ed3015e2f25b8411a72251590078a0a43522.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

\/)/^<i CJ^ji^^-^n^ A Safe and EfRcient Agent Architecture

Woo Cheon, Soe-Tsyr Yuan
<span title="">1997</span> <i > Informatica </i> &nbsp; <span class="release-stage">unpublished</span>
This framework combines the culture support in the domain ontology and the decomposition and causality of partial-order planning.  ...  Clint, Se Woo Cheon and A. Stewart for their constructive comments on the early versions of this paper, and N. D. N. Measor for his encouragement.  ...  Acknowledgment The authors are grateful to the editor and three anonymous referees for their constructive and helpful comments. Keqin  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j53p7u2n4jblbe5xtld7refca4">fatcat:j53p7u2n4jblbe5xtld7refca4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180505235234/http://www.informatica.si/ojs-2.4.3/index.php/informatica/issue/viewFile/83/70" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0c/02/0c0207b6c9baeab1cb52186e1a43c5b320076749.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

High-level Petri net model checking : the symbolic way

Steve Patrick Hostettler, Didier Buchs
<span title="">2011</span>
thus implement efficient caching.  ...  For instance, a theorem prover can provide precious information on the data types and their interactions (e.g., dependency analysis), • optimization information (box called Optimization artifacts).  ...  Appendix as ν stands for one and only one term (thanks to the split) then it is straithforward to see that both sides are equal.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13097/archive-ouverte/unige:21844">doi:10.13097/archive-ouverte/unige:21844</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wrccaa3vtrdatn3qcvejpo2kmu">fatcat:wrccaa3vtrdatn3qcvejpo2kmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200424131013/https://archive-ouverte.unige.ch/files/downloads/0/0/0/2/1/8/4/4/unige_21844_attachment01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0f/d5/0fd53a6c06a1ea961c0450f2d1f48442102d5b39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13097/archive-ouverte/unige:21844"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Proceeding of the Australasian Language Technology Workshop 2006

Lawrence Cavedon, Ingrid Zukerman
<i > the Australasian Language Technology Workshop (ALTW) 2006, held at the University of Sydney </i> &nbsp; <span class="release-stage">unpublished</span>
Of these, 13 are oral presentations papers and 6 are poster presentations. Additionally, we included 5 student posters to encourage feedback on early results.  ...  in Australia, New Zealand and overseas.  ...  Acknowledgments I am indebted to Stefan Kaufmann and Michael Dickey for their guidance on this research project and also to Katy Carlson for her help on the experimental portion of this study.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/74kafjz7hnanhhqlybjlsxtgxm">fatcat:74kafjz7hnanhhqlybjlsxtgxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180504022819/http://goanna.cs.rmit.edu.au/~lcavedon/altw-proceedings.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/d1/a3d1cf47b1c4ca0906f7be26510487bbd9de65cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>