Invited Lectures |
Randomized Complexity of Linear Arrangements and Polyhedra / M. Karpinski |
Tile Transition Systems as Structured Coalgebras / A. Corradini ; R. Heckel ; U. Montanari |
Caesar and DNA. Views on Cryptology / A. Salomaa |
Automata and Their Interaction: Definitional Suggestions / B.A. Trakhtenbrot |
Axiomatising Asynchronous Process Calculi / M. Hennessy |
Technical Contributions |
A Polynomial Time Approximation Scheme for Dense Min 2Sat / C. Bazgan ; W. Fernandez de la Vega |
Decidable Classes of the Verification Problem in a Timed Predicate Logic / D. Beauquier ; A. Slissenko |
Interpretations of Extensible Objects and Types / V. Bono ; M. Bugliesi |
Restrictive Acceptance Suffices for Equivalence Problems / B. Borchert ; L.A. Hemaspaandra ; J. Rothe |
Grammar Systems as Language Analyzers and Recursively Enumerable Languages / H. Bordihn ; J. Dassow ; G. Vaszil |
An Interpretation of Extensible Objects / G. Boudol ; S. Dal-Zilio |
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars / L. Breveglieri ; S. Crespi Reghizzi ; A. Cherubini |
Iterative Arrays with a Wee Bit Alternation / T. Buchholz ; A. Klein ; M. Kutrib |
Secret Sharing Schemes with Detection of Cheaters for a General Access Structure / S. Cabello ; C. Padró ; G. Saez |
Constructive Notes on Uniform and Locally Convex Spaces / L. Dediu ; D. Bridges |
Graph Automorphisms with Maximal Projection Distances / H.N. de Ridder ; H.L. Bodlaender |
Kleene Theorems for Event-Clock Automata / C. Dima |
Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages / P. Dömösi ; M. Kudlek |
Exponential Output Size of Top-Down Tree Transducers / F. Drewes |
On Recognizable Languages in Divisibility Monoids / M. Droste ; D. Kuske |
Expressiveness of Point-to-Point versus Broadcast Communications / C. Ene ; T. Muntean |
On Relative Loss Bounds in Generalized Linear Regression / J. Forster |
Generalized P-Systems / R. Freund |
Optimal, Distributed Decision-Making: The Case of No Communication / S. Georgiades ; M. Mavronicolas ; P. Spirakis |
Generalized PCP Is Decidable for Marked Morphisms / V. Halava ; T. Harju ; M. Hirvensalo |
On Time-Constructible Functions in One-Dimensional Cellular Automata / C. Iwamoto ; T. Hatsuyama ; K. Morita ; K. Imai |
Dichotomy Theorem for the Generalized Unique Satisfiability Problem / L. Juban |
A General Categorical Connection between Local Event Structures and Local Traces / H.C.M. Kleijn ; R. Morin ; B. Rozoy |
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars / R. Klempien-Hinrichs ; H.-J. Kreowski ; S. Taubenberger |
Synchronized Product of Linear Bounded Machines / T. Knapik ; É. Payet |
On Maximal Repetitions in Words / R. Kolpakov ; G. Kucherov |
Axiomatization of the Coherence Property for Categories of Symmetries / D. Lucanu |
Sewing Grammars / C. Martin-Vide ; A. Mateescu |
State and Transition Complexity of Watson-Crick Finite Automata / A. Păun ; M. Păun |
A Confluence Result for a Typed λ-Calculus of Exception Handling with Fixed-Point / C. Piliere |
δ-Uniformly Decidable Sets / Turing Machines ; A. Popovici ; D. Popovici |
A Parallel Context-Free Derivation Hierarchy / K. Reinhardt |
Generalized Synchronization Languages / I. Ryl ; Y. Roos ; M. Clerbout |
A Generalization of Dijkstra's Calculus to Typed Program Specifications / K.-D. Schewe ; B. Thalheim |
Homomorphisms and Concurrent Term Rewriting / F. Seynhaeve ; S. Tison ; M. Tommasi |
On Two-Sided Infinite Fixed Points of Morphisms / J. Shallit ; M.-w. Wang |
Tiling Multi-dimensional Arrays / J.P. Sharp |
Modeling Interaction by Sheaves and Geometric Logic / V. Sofronie-Stokkermans ; K. Stokkermans |
The Operators minCh and maxCh on the Polynomial Hierarchy / H. Spakowski ; J. Vogel |
The Kolmogorov Complexity of Real Numbers / L. Staiger |
A Partial Order Method for the Verification of Time Petri Nets / I. Virbitskaite ; E. Pokozy |
Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs / J. Äerovnik |
Author Index |
Invited Lectures |
Randomized Complexity of Linear Arrangements and Polyhedra / M. Karpinski |
Tile Transition Systems as Structured Coalgebras / A. Corradini ; R. Heckel ; U. Montanari |
Caesar and DNA. Views on Cryptology / A. Salomaa |
Automata and Their Interaction: Definitional Suggestions / B.A. Trakhtenbrot |
Axiomatising Asynchronous Process Calculi / M. Hennessy |