Conferences in DBLP

Computing: The Australasian Theory Symposium (cats)
2005 (conf/cats/2005)

1. Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst
   When are two Workflows the Same? [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:3-11 [Conf]
   
2. Anthony H. Dekker, Bernard D. Colbert
   The Symmetry Ratio of a Network. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:13-20 [Conf]
   
3. Michael Compton
   Stenning's Protocol Implemented in UDP and Verified in Isabelle. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:21-30 [Conf]
   
4. Chris Pollett, Norman Danner
   Circuit Principles and Weak Pigeonhole Variants. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:31-40 [Conf]
   
5. Doug Goldson, Brijesh Dongol
   Concurrent Program Design in the Extended Theory of Owicki and Gries. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:41-50 [Conf]
   
6. Rodney G. Downey, Catherine McCartin
   Bounded Persistence Pathwidth. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:51-56 [Conf]
   
7. Andres Figueroa, Avraham Goldstein, Tao Jiang, Maciej Kurowski, Andrzej Lingas, Mia Persson
   Approximate Clustering of Fingerprint Vectors with Missing Values. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:57-60 [Conf]
   
8. Aleksei V. Fishkin, Olga Gerber, Klaus Jansen, Roberto Solis-Oba
   On Packing Squares with Resource Augmentation: Maximizing the Profit. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:61-67 [Conf]
   
9. David Hemer, Gregory Long, Paul A. Strooper
   Plug-in Proof Support for Formal Development Environments. [Citation Graph (0, 0)][DBLP]
   CATS, 2005, pp:69-79 [Conf]
   
10. Hidetomo Machi, Kohji Tomita, Chiharu Hosono
    The Relative Completeness of a Version of CTL*. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:81-85 [Conf]
    
11. Marieke Huisman, Kerry Trentelman
    Factorising Temporal Specifications. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:87-96 [Conf]
    
12. Toshimasa Ishii, Hitoshi Fujita, Hiroshi Nagamochi
    Minimum Cost Source Location Problem with Local 3-Vertex-Connectivity Requirements. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:97-105 [Conf]
    
13. Mark Lanthier, Doron Nussbaum, Tsuo-Jung Wang
    Calculating the Meeting Point of Scattered Robots on Weighted Terrain Surfaces. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:107-118 [Conf]
    
14. Elena Prieto
    The Method of Extremal Structure on the k-Maximum Cut Problem. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:119-126 [Conf]
    
15. Shane Saunders, Tadao Takaoka
    Efficient Algorithms for Solving Shortest Paths on Nearly Acyclic Directed Graphs. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:127-131 [Conf]