Conferences in Research and Practice in Information Technology
  

Online Version - Last Updated - 13 Jan 2014

 

 
Home
 

 
Procedures and Resources for Authors

 
Information and Resources for Volume Editors
 

 
Orders and Subscriptions
 

 
Published Articles

 
Upcoming Volumes
 

 
Contact Us
 

 
Useful External Links
 

 
CRPIT Site Search
 
    

Volume 94 - Theory of Computing 2009

Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand, January 2009

Australian Computer Science Communications, Vol. 31, No. 4

This volume contains proceedings of the Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand, January 2009. Where indicated, the paper is available for download in PDF or Postscript format.

The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included.

Edited by

Rod Downey and Prabhu Manyem.

Published

January 2009.

ISBN-13

978-1-920682-75-0.

ISSN

1445-1336.

17 Papers, xiv+172 pages.

BiBTeX file for Volume.

Complete Volume.

 
Acceptance Rate Information.

The full papers in this volume were peer refereed, in full, by an international programme committee. The acceptance rate was 44.2% (19 from 43).


Volume Citation

Downey, R. and Manyem, P., Eds. (2009). Theory of Computing 2009. Proc Fifteenth Computing: The Australasian Theory Symposium (CATS 2009). CRPIT. 94. Wellington, New Zealand, ACS.


Papers Included in the Volume

Cao, J. and Nymeyer, A. (2009). Formal Model of a Protocol Converter. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 107-117. abstractpdfBibTeXEndNoteGS

Chang, C.-L. and Lyuu, Y.-D. (2009). Spreading of Messages in Random Graphs. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 3-7. abstractpdfBibTeXEndNoteGS

Day, A. (2009). On Process Complexity. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 29-34. abstractpdfBibTeXEndNoteGS

Estivill-Castro, V. and Parsa, M. (2009). Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 81-87. abstractpdfBibTeXEndNoteGS

Farago, A. (2009). Structural Properties of Random Graph Models. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 129-136. abstractpdfBibTeXEndNoteGS

Fukuhara, H. and Takimoto, E. (2009). Lower Bounds on Quantum Query Complexity for Read-Once Decision Trees with Parity Nodes. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 89-98. abstractpdfBibTeXEndNoteGS

Ganguly, S. (2009). Distributing Frequency-Dependent Data Stream Computations. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 161-167. abstractpdfBibTeXEndNoteGS

Henshall, K., Schachte, P., Sondergaard, H. and Whiting, L. (2009). Boolean Affine Approximation with Binary Decision Diagrams. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 119-127. abstractpdfBibTeXEndNoteGS

Ishii, T. and Makino, K. (2009). Augmenting Edge-Connectivity between Vertex Subsets. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 43-49. abstractpdfBibTeXEndNoteGS

Karimi, M. and Gupta, A. (2009). Minimum Cost Homomorphism to Oriented Cycles with Some Loops. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 7-17. abstractpdfBibTeXEndNoteGS

Limaye, N., Mahajan, M. and Nimbhorkar, P. (2009). Longest Paths in Planar DAGs in Unambiguous Logspace. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 99-105. abstractpdfBibTeXEndNoteGS

Matsubara, W., Inenaga, S. and Shinohara, A. (2009). Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 19-28. abstractpdfBibTeXEndNoteGS

Nakazawa, K. and Tatsuta, M. (2009). Type Checking and Inference for Polymorphic and Existential Types. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 61-69. abstractpdfBibTeXEndNoteGS

Ndukwu, U. and Sanders, J.W. (2009). Reasoning about a Distributed Probabilistic System. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 35-42. abstractpdfBibTeXEndNoteGS

Pearce, D., Haggard, G. and Royle, G. (2009). Edge-Selection Heuristics for Computing Tutte Polynomials. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 151-159. abstractpdfBibTeXEndNoteGS

Utting, M., Malik, P. and Toyn, I. (2009). Transformation Rules for Z. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 71-80. abstractpdfBibTeXEndNoteGS

Vyatkina, K. (2009). Linear Axis for Planar Straight Line Graphs. In Proc. Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand. CRPIT, 94. Downey, R. and Manyem, P., Eds., ACS. 137-150. abstractpdfBibTeXEndNoteGS

Papers listed: 17

 

 

ACS Logo© Copyright Australian Computer Society Inc. 2001-2014.
Comments should be sent to the webmaster at crpit@scem.uws.edu.au.
This page last updated 11 Mar 2009