@inproceedings{CRPITV109P3-10, Author = { Chan, S.-H., Lam, T.-W., Lee, L.-K., Ting, H.-F. and Zhang, P. }, Title = { Non-clairvoyant Scheduling for Weighted Flow Time and Energy on Speed Bounded Processors }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 3-10 }, URL = { http://crpit.com/confpapers/CRPITV109Chan.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P11-18, Author = { Xu, Z. and Xu, L. }, Title = { Approximation Algorithms for Min-Max Capacitated Path Covers }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 11-18 }, URL = { http://crpit.com/confpapers/CRPITV109Xu.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P19-24, Author = { Dujmovic, V., Gudmundsson, J., Morin, P. and Wolle, T. }, Title = { Notes on Large Angle Crossing Graphs }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 19-24 }, URL = { http://crpit.com/confpapers/CRPITV109Dujmovic.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P25-30, Author = { Amano, K. }, Title = { On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 25-30 }, URL = { http://crpit.com/confpapers/CRPITV109Amano.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P31-38, Author = { Abu-Khzam, F. N., Fernau, H., Langston, M. A., Lee-Cultura, S. and Stege, U. }, Title = { A Fixed-Parameter Algorithm for String-to-String Correction }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 31-38 }, URL = { http://crpit.com/confpapers/CRPITV109Abu-Khzam.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P39-48, Author = { Erdélyi, G. and Rothe, J. }, Title = { Control Complexity in Fallback Voting }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 39-48 }, URL = { http://crpit.com/confpapers/CRPITV109Erdélyi.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P49-54, Author = { Hung, L.-J. and Kloks, T. }, Title = { Kruskalian Graphs }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 49-54 }, URL = { http://crpit.com/confpapers/CRPITV109Hung.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P55-64, Author = { Chang, M.-S., Hung, L.-J. and Rossmanith, P. }, Title = { Probe Distance-Hereditary Graphs }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 55-64 }, URL = { http://crpit.com/confpapers/CRPITV109Chang.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P65-70, Author = { Dantas, S., Faria, L., de Figueiredo, C. M. H., Klein, S., Nogueira, L. T. and Protti, F. }, Title = { Advances on the List Stubborn Problem }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 65-70 }, URL = { http://crpit.com/confpapers/CRPITV109Dantas.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P71-78, Author = { Doherty, S and Groves, L. }, Title = { Simpler Backward Simulation Proofs }, BookTitle = { 16-th Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 71-78 }, URL = { http://crpit.com/confpapers/CRPITV109Doherty.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P79-88, Author = { Finderup, P., Huettel, H., Knudsen, J. S. and Nielsen, J. G. }, Title = { Linear Uniform Receptiveness in a Pi-Calculus with Location Failures }, BookTitle = { Sixteenth Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 79-88 }, URL = { http://crpit.com/confpapers/CRPITV109Finderup.pdf }, Year = { 2010 } } @inproceedings{CRPITV109P89-94, Author = { Johnson, M. and Kasangian, S. }, Title = { A Relational Model of Incomplete Data without NULLs }, BookTitle = { Sixteenth Computing: The Australasian Theory Symposium (CATS 2010) }, Editor = { Viglas, T. and Potanin, A. }, Series= {CRPIT}, Address= { Brisbane, Australia }, Publisher = {ACS}, Volume = { 109 }, Pages = { 89-94 }, URL = { http://crpit.com/confpapers/CRPITV109Johnson.pdf }, Year = { 2010 } }