Abstract is missing.
- Ambiguity and Complementation in Recognizable Two-dimensional LanguagesDora Giammarresi, Antonio Restivo. 5-20 [doi]
- Algorithmic Game Theory: Some Greatest Hits and Future DirectionsTim Roughgarden. 21-42 [doi]
- Synchronizing Road ColoringA. N. Trahtman. 43-53 [doi]
- Leader Election in Anonymous Rings: Franklin Goes ProbabilisticRena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol. 57-72 [doi]
- Inverse Problems Have Inverse ComplexityTobias Berg, Harald Hempel. 73-86 [doi]
- Literal Shuffle of Compressed WordsAlberto Bertoni, Christian Choffrut, Roberto Radicioni. 87-100 [doi]
- Reconstructing words from a fixed palindromic length sequenceAlexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi. 101-114 [doi]
- The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networksOlivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet. 115-126 [doi]
- Partitioning Random Graphs with General Degree DistributionsAmin Coja-Oghlan, André Lanka. 127-141 [doi]
- On the Longest Common Factor ProblemMaxime Crochemore, Alessandra Gabriele, Filippo Mignosi, Mauriana Pesaresi. 143-155 [doi]
- Stable Dynamics of Sand AutomataAlberto Dennunzio, Pierre Guillon, Benoît Masson. 157-169 [doi]
- On tractability of Cops and Robbers gameFedor V. Fomin, Petr A. Golovach, Jan Kratochvíl. 171-185 [doi]
- Computability of TilingsGrégory Lafitte, Michael Weiss. 187-201 [doi]
- A Classification of Degenerate Loop AgreementXingwu Liu, Juhua Pu, Jianzhong Pan. 203-213 [doi]
- On the expressive power of univariate equations over sets of natural numbersAlexander Okhotin, Panos Rondogiannis. 215-227 [doi]
- Collisions and their Catenations: Ultimately Periodic Tilings of the PlaneNicolas Ollinger, Gaétan Richard. 229-240 [doi]
- Cache-sensitive Memory Layout for Binary TreesRiku Saikkonen, Eljas Soisalon-Soininen. 241-255 [doi]
- From Processes to ODEs by ChemistryLuca Cardelli. 261-281 [doi]
- Differential Linear Logic and ProcessesThomas Ehrhard. 283 [doi]
- Solving Monotone Polynomial EquationsJavier Esparza, Stefan Kiefer, Michael Luttenberger. 285-298 [doi]
- Lifting Non-Finite Axiomatizability Results to Extensions of Process AlgebrasLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. 301-316 [doi]
- Finite Equational Bases for Fragments of CCS with Restriction and RelabellingLuca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg. 317-332 [doi]
- µ-calculus Pushdown Module Checking with Imperfect State InformationBenjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre. 333-348 [doi]
- From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision ProceduresFrédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. 349-365 [doi]
- On Traits and Types in a Java-like SettingViviana Bono, Ferruccio Damiani, Elena Giachino. 367-382 [doi]
- Canonical Sequent Proofs via Multi-FocusingKaustuv Chaudhuri, Dale Miller, Alexis Saurin. 383-396 [doi]
- Universal Coinductive Characterisations of Process SemanticsDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez. 397-412 [doi]
- Static and dynamic typing for the termination of mobile processesRomain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. 413-427 [doi]
- Regular n-ary Queries in Trees and Variable IndependenceEmmanuel Filiot, Sophie Tison. 429-443 [doi]
- Hamiltonicity of automatic graphsDietrich Kuske, Markus Lohrey. 445-459 [doi]
- Marking the chops: an unambiguous temporal logicKamal Lodaya, Paritosh K. Pandya, Simoni S. Shah. 461-476 [doi]
- On Boundedness in Depth in the pi-CalculusRoland Meyer. 477-489 [doi]
- A Unified View of Tree Automata and Term SchematisationsNicolas Peltier. 491-505 [doi]
- Deconstructing behavioural theories of mobilityJulian Rathke, Pawel Sobocinski. 507-520 [doi]
- Adequacy of Compositional Translations for Observational SemanticsManfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel. 521-535 [doi]
- The Surprising Robustness of (Closed) Timed Automata against Clock-DriftMani Swaminathan, Martin Fränzle, Joost-Pieter Katoen. 537-553 [doi]