@inproceedings{CRPITV41P21-30,
   Author = {Compton, Michael},
   Title = {Stenning's Protocol Implemented in UDP and Verified in Isabelle},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {21-30},
   URL  = {http://crpit.com/confpapers/CRPITV41Compton.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P13-20,
   Author = {Dekker, Anthony H. and Colbert, Bernard},
   Title = {The Symmetry Ratio of a Network},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {13-20},
   URL  = {http://crpit.com/confpapers/CRPITV41Dekker.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P51-56,
   Author = {Downey, Rodney G. and McCartin, Catherine},
   Title = {Bounded Persistence Pathwidth},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {51-56},
   URL  = {http://crpit.com/confpapers/CRPITV41Downey.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P57-60,
   Author = {Figueroa, Andres and Goldstein, Avraham and Jiang, Tao and 
Kurowski, Maciej and Lingas, Andrzej and Persson, Mia},
   Title = {Approximate Clustering of Fingerprint Vectors with Missing Values},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {57-60},
   URL  = {http://crpit.com/confpapers/CRPITV41Figueroa.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P61-67,
   Author = {Fishkin, Aleksei V. and Gerber, Olga and Jansen, Klaus and Solis-
Oba, Roberto},
   Title = {On Packing Squares with Resource Augmentation: Maximizing the 
Profit},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {61-67},
   URL  = {http://crpit.com/confpapers/CRPITV41Fishkin.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P41-50,
   Author = {Goldson, Doug and Dongol, Brijesh},
   Title = {Concurrent Program Design in the Extended Theory of Owicki and 
Gries},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {41-50},
   URL  = {http://crpit.com/confpapers/CRPITV41Goldson.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P69-79,
   Author = {Hemer, David and Long, Gregory and Strooper, Paul},
   Title = {Plug-in Proof Support for Formal Development Environments},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {69-79},
   URL  = {http://crpit.com/confpapers/CRPITV41Hemer.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P3-11,
   Author = {Hidders, Jan and Dumas, Marlon and Aalst, Wil M.P. van der and 
Hofstede, Arthur H.M. ter and Verelst, Jan},
   Title = {When are two Workflows the Same?},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {3-11},
   URL  = {http://crpit.com/confpapers/CRPITV41Hidders.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P87-96,
   Author = {Huisman, Marieke and Trentelman, Kerry},
   Title = {Factorising Temporal Specifications},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {87-96},
   URL  = {http://crpit.com/confpapers/CRPITV41Huisman.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P97-105,
   Author = {Ishii, Toshimasa and Fujita, Hitoshi and Nagamochi, Hiroshi},
   Title = {Minimum Cost Source Location Problem with Local 3-Vertex-
Connectivity Requirements},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {97-105},
   URL  = {http://crpit.com/confpapers/CRPITV41Ishii.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P107-118,
   Author = {Lanthier, Mark A. and Nussbaum, Doron and Wang, Tsuo-Jung},
   Title = {Calculating the Meeting Point of Scattered Robots on Weighted 
Terrain Surfaces},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {107-118},
   URL  = {http://crpit.com/confpapers/CRPITV41Lanthier.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P81-85,
   Author = {Machi, Hidetomo and Tomita, Kohji and Hosono, Chiharu},
   Title = {The Relative Completeness of a Version of CTL*},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {81-85},
   URL  = {http://crpit.com/confpapers/CRPITV41Machi.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P31-40,
   Author = {Pollett, Chris and Danner, Norman},
   Title = {Circuit Principles and Weak Pigeonhole Variants},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {31-40},
   URL  = {http://crpit.com/confpapers/CRPITV41Pollett.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P119-126,
   Author = {Prieto, Elena},
   Title = {The Method of Extremal Structure on the k-Maximum Cut Problem},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {119-126},
   URL  = {http://crpit.com/confpapers/CRPITV41Prieto.pdf},
   Year = {2005} }



@inproceedings{CRPITV41P127-131,
   Author = {Saunders, Shane and Takaoka, Tadao},
   Title = {Efficient Algorithms for Solving Shortest Paths on Nearly Acyclic 
Directed Graphs},
   BookTitle = {Eleventh Computing: The Australasian Theory Symposium 
(CATS2005)},
   Editor = {Atkinson, Mike and Dehne, Frank},
   Series= {CRPIT},
   Address= {Newcastle, Australia},
   Publisher = {ACS},
   Volume = {41},
   Pages = {127-131},
   URL  = {http://crpit.com/confpapers/CRPITV41Saunders.pdf},
   Year = {2005} }