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