Volume 78, 2003
CATS'03 - Computing:
The Australasian Theory Symposium
February 2003
CATS'03 Home Page
- George Havas:
On the Complexity of the Extended Euclidean Algorithm (extended abstract).
1-4
- Nicoletta Sabadini, Robert F. C. Walters:
Hierarchical Automata and P-systems.
5-19
- Jeremy E. Dawson, Rajeev Goré:
A New Machine-checked Proof of Strong Normalisation for Display Logic.
20-39
- Guido Governatori:
On the Relative Complexity of Labelled Modal Tableaux.
40-57
- Karl Lermer, Colin J. Fidge, Ian J. Hayes:
Formal Semantics for Program Paths.
58-81
- Michael Johnson, Robert D. Rosebrugh:
Three approaches to Partiality in the Sketch Data Model.
82-99
- David A. Wright:
Linearity and Passivity.
100-111
- Aleksandar Ignjatovic, Phuong Minh Nguyen:
Characterizing polynomial time computable functions using theories with weak set existence principles.
112-122
- Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information Leakage Detection in Boundary Ambients.
123-143
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
144-177
- Yutaka Matsuno, Hiroyuki Sato:
Flow Analytic Type System for Array Bound Checks.
178-195
- Michael J. Dinneen, Nian Zhou:
An Optimal Family of Bounded-Degree Broadcast Networks.
196-208
- Rodney G. Downey, Vladimir Estivill-Castro, Michael R. Fellows, Elena Prieto, Frances A. Rosamond:
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems.
209-222
- William Duckworth, Michele Zito:
Large 2-Independent Sets of Regular Graphs.
223-235
- Toshimasa Ishii, Yoko Akiyama, Hiroshi Nagamochi:
Minimum Augmentation of Edge-connectivity between Vertices and Sets of Vertices in Undirected Graphs.
236-259
- Maurice Herlihy, Victor Luchangco, Mark Moir:
Space and Time Adaptive Non-blocking Algorithms.
260-280
- Tadao Takaoka:
The Reverse Problem of Range Query.
281-292
- Mao-cheng Cai, Xiaotie Deng:
Approximation and Computation of Arbitrage in Frictional Foreign Exchange Market.
293-302
- James Harland:
Preface.
303-304
Last update Thu May 23 14:46:10 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
