@inproceedings{CRPITV51P11-20,
   Author = {Asahiro, Yuichi and Miyano, Eiji and Ono, Hirotaka and Zenmyo, 
Kouhei},
   Title = {Graph Orientation Algorithms to Minimize the Maximum Outdegree},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {11-20},
   URL  = {http://crpit.com/confpapers/CRPITV51Asahiro.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P3-3,
   Author = {Asano, Tetsuo},
   Title = {Computational Geometric and Combinatorial Approaches to Digital 
Halftoning},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {3-3},
   URL  = {http://crpit.com/confpapers/CRPITV51Asano.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P145-151,
   Author = {Ausiello, Giorgio and Giannakos, Aristotelis and Paschos, Vangelis 
Th.},
   Title = {Greedy algorithms for on-line set-covering and related problems},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {145-151},
   URL  = {http://crpit.com/confpapers/CRPITV51Ausiello.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P93-100,
   Author = {Blazewicz, Jacek and Kasprzak, Marta},
   Title = {On the complexity of the DNA Simplified Partial Digest Problem},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {93-100},
   URL  = {http://crpit.com/confpapers/CRPITV51Blazewicz.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P101-105,
   Author = {Dessmark, Anders and Jansson, Jesper and Lingas, Andrzej and 
Lundell, Eva-Marta and Persson, Mia},
   Title = {On the Approximability of Maximum and Minimum Edge Clique 
Partition Problems},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {101-105},
   URL  = {http://crpit.com/confpapers/CRPITV51Dessmark.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P79-86,
   Author = {Harland, James},
   Title = {The Busy Beaver, the Placid Platypus and other Crazy Creatures},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {79-86},
   URL  = {http://crpit.com/confpapers/CRPITV51Harland.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P21-26,
   Author = {Hasunuma, Toro},
   Title = {Multilayer Grid Embeddings of Iterated Line Digraphs},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {21-26},
   URL  = {http://crpit.com/confpapers/CRPITV51Hasunuma.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P123-132,
   Author = {Herlihy, Brian and Schachte, Peter and Sondergaard, Harald},
   Title = {Boolean equation solving as graph traversal},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {123-132},
   URL  = {http://crpit.com/confpapers/CRPITV51Herlihy.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P87-92,
   Author = {Kelarev, A.V.},
   Title = {A Polynomial Algorithm for Codes Based on Directed Graphs},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {87-92},
   URL  = {http://crpit.com/confpapers/CRPITV51Kelarev.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P53-68,
   Author = {Kolanski, Rafal and Klein, Gerwin},
   Title = {Formalising the L4 microkernel API},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {53-68},
   URL  = {http://crpit.com/confpapers/CRPITV51Kolanski.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P107-111,
   Author = {Li, Shuai Cheng},
   Title = {Faster Algorithms for Finding Missing Patterns},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {107-111},
   URL  = {http://crpit.com/confpapers/CRPITV51Li.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P113-122,
   Author = {Link, Sebastian},
   Title = {On the Logical Implication of Multivalued Dependencies with Null 
Values},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {113-122},
   URL  = {http://crpit.com/confpapers/CRPITV51Link.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P139-143,
   Author = {Poon, Chung Keung and Zheng, Feifeng and Xu, Yinfeng},
   Title = {On-demand Bounded Broadcast Scheduling with Tight Deadlines},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {139-143},
   URL  = {http://crpit.com/confpapers/CRPITV51Poon.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P133-137,
   Author = {Rao, M.R.K. Krishna},
   Title = {Learnability of Term Rewrite Systems from Positive Examples},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {133-137},
   URL  = {http://crpit.com/confpapers/CRPITV51Rao.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P27-39,
   Author = {Saabas, Ando and Uustalu, Tarmo},
   Title = {Compositional Type Systems for Stack-Based Low-Level Languages},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {27-39},
   URL  = {http://crpit.com/confpapers/CRPITV51Saabas.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P7-9,
   Author = {Smid, Michiel},
   Title = {Geometric spanners with few edges and degree five},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {7-9},
   URL  = {http://crpit.com/confpapers/CRPITV51Smid.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P69-77,
   Author = {Takaoka, Tadao and Violich, Stephen},
   Title = {Combinatorial Generation by Fusing Loopless Algorithms},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {69-77},
   URL  = {http://crpit.com/confpapers/CRPITV51Takaoka.pdf},
   Year = {2006} }



@inproceedings{CRPITV51P41-51,
   Author = {Tian, Ye Henry},
   Title = {Mechanically Verifying Correctness of CPS Compilation},
   BookTitle = {Twelfth Computing: The Australasian Theory Symposium 
(CATS2006)},
   Editor = {Gudmundsson, Joachim and Jay, Barry},
   Series= {CRPIT},
   Address= {Hobart, Australia},
   Publisher = {ACS},
   Volume = {51},
   Pages = {41-51},
   URL  = {http://crpit.com/confpapers/CRPITV51Tian.pdf},
   Year = {2006} }