default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCATS 2009: Wellington, New Zealand
- Rod Downey, Prabhu Manyem:
Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009. CRPIT 94, Australian Computer Society 2009, ISBN 978-1-920682-75-0 - Ching-Lueh Chang, Yuh-Dauh Lyuu:
Spreading of Messages in Random Graphs. 3-7 - Mehdi Karimi, Arvind Gupta:
Minimum Cost Homomorphism to Oriented Cycles with Some Loops. 7-17 - Wataru Matsubara, Shunsuke Inenaga, Ayumi Shinohara:
Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program. 19-28 - Adam R. Day:
On Process Complexity. 29-34 - Ukachukwu Ndukwu, Jeff W. Sanders:
Reasoning about a Distributed Probabilistic System. 35-42 - Toshimasa Ishii, Kazuhisa Makino:
Augmenting Edge-Connectivity between Vertex Subsets. 43-49 - Koji Nakazawa, Makoto Tatsuta:
Type Checking and Inference for Polymorphic and Existential Types. 61-69 - Mark Utting, Petra Malik, Ian Toyn:
Transformation Rules for Z. 71-80 - Vladimir Estivill-Castro, Mahdi Parsa:
Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity. 81-87 - Hideaki Fukuhara, Eiji Takimoto:
Lower Bounds on Quantum Query Complexity for Read-Once Decision Trees with Parity Nodes. 89-98 - Nutan Limaye, Meena Mahajan, Prajakta Nimbhorkar:
Longest Paths in Planar DAGs in Unambiguous Logspace. 99-105 - Jing Cao, Albert Nymeyer:
Formal Model of a Protocol Converter. 107-117 - Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting:
Boolean Affine Approximation with Binary Decision Diagrams. 119-127 - Andras Farago:
Structural Properties of Random Graph Models. 129-136 - Kira Vyatkina:
Linear Axis for Planar Straight Line Graphs. 137-150 - David J. Pearce, Gary Haggard, Gordon F. Royle:
Edge-Selection Heuristics for Computing Tutte Polynomials. 151-159 - Sumit Ganguly:
Distributing Frequency-Dependent Data Stream Computations. 161-167
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
