CATS 2005: Newcastle, NSW, Australia

Mike D. Atkinson, Frank K. H. A. Dehne (Eds.): Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. CRPIT 41 Australian Computer Society 2005, ISBN 1-920682-23-6 BibTeX

Michael Compton:
Stenning's Protocol Implemented in UDP and Verified in Isabelle. 21-30
Electronic Edition (link) BibTeX
Anthony H. Dekker, Bernard D. Colbert:
The Symmetry Ratio of a Network. 13-20
Electronic Edition (link) BibTeX
Rodney G. Downey, Catherine McCartin:
Bounded Persistence Pathwidth. 51-56
Electronic Edition (link) BibTeX
Andres Figueroa, Avraham Goldstein, Tao Jiang, Maciej Kurowski, Andrzej Lingas, Mia Persson:
Approximate Clustering of Fingerprint Vectors with Missing Values. 57-60
Electronic Edition (link) BibTeX
Aleksei V. Fishkin, Olga Gerber, Klaus Jansen, Roberto Solis-Oba:
On Packing Squares with Resource Augmentation: Maximizing the Profit. 61-67
Electronic Edition (link) BibTeX
Doug Goldson, Brijesh Dongol:
Concurrent Program Design in the Extended Theory of Owicki and Gries. 41-50
Electronic Edition (link) BibTeX
David Hemer, Gregory Long, Paul A. Strooper:
Plug-in Proof Support for Formal Development Environments. 69-79
Electronic Edition (link) BibTeX
Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst:
When are two Workflows the Same? 3-11
Electronic Edition (link) BibTeX
Marieke Huisman, Kerry Trentelman:
Factorising Temporal Specifications. 87-96
Electronic Edition (link) BibTeX
Toshimasa Ishii, Hitoshi Fujita, Hiroshi Nagamochi:
Minimum Cost Source Location Problem with Local 3-Vertex-Connectivity Requirements. 97-105
Electronic Edition (link) BibTeX
Mark Lanthier, Doron Nussbaum, Tsuo-Jung Wang:
Calculating the Meeting Point of Scattered Robots on Weighted Terrain Surfaces. 107-118
Electronic Edition (link) BibTeX
Hidetomo Machi, Kohji Tomita, Chiharu Hosono:
The Relative Completeness of a Version of CTL*. 81-85
Electronic Edition (link) BibTeX
Chris Pollett, Norman Danner:
Circuit Principles and Weak Pigeonhole Variants. 31-40
Electronic Edition (link) BibTeX
Elena Prieto:
The Method of Extremal Structure on the k-Maximum Cut Problem. 119-126
Electronic Edition (link) BibTeX
Shane Saunders, Tadao Takaoka:
Efficient Algorithms for Solving Shortest Paths on Nearly Acyclic Directed Graphs. 127-131
Electronic Edition (link) BibTeX