| 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 |
図書
