|
| | | |
Volume 94 - Theory of Computing 2009Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), Wellington, New Zealand, January 2009Australian Computer Science Communications, Vol. 31, No. 4This 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. | | | 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 CitationDowney, 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 VolumeCao, 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
|
Papers listed: 17
|