5. IFIP TCS 2008:
Milano,
Italy
Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong (Eds.):
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy.
IFIP 273 Springer 2008, ISBN 978-0-387-09679-7 BibTeX
Track A
Invited talks
Contributed talks
- Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol:
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
57-72
Electronic Edition (link) BibTeX
- Tobias Berg, Harald Hempel:
Inverse Problems Have Inverse Complexity.
73-86
Electronic Edition (link) BibTeX
- Alberto Bertoni, Christian Choffrut, Roberto Radicioni:
Literal Shuffle of Compressed Words.
87-100
Electronic Edition (link) BibTeX
- Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi:
Reconstructing words from a fixed palindromic length sequence.
101-114
Electronic Edition (link) BibTeX
- Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet:
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.
115-126
Electronic Edition (link) BibTeX
- Amin Coja-Oghlan, André Lanka:
Partitioning Random Graphs with General Degree Distributions.
127-141
Electronic Edition (link) BibTeX
- Maxime Crochemore, Alessandra Gabriele, Filippo Mignosi, Mauriana Pesaresi:
On the Longest Common Factor Problem.
143-155
Electronic Edition (link) BibTeX
- Alberto Dennunzio, Pierre Guillon, Benoît Masson:
Stable Dynamics of Sand Automata.
157-169
Electronic Edition (link) BibTeX
- Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl:
On tractability of Cops and Robbers game.
171-185
Electronic Edition (link) BibTeX
- Grégory Lafitte, Michael Weiss:
Computability of Tilings.
187-201
Electronic Edition (link) BibTeX
- Xingwu Liu, Juhua Pu, Jianzhong Pan:
A Classification of Degenerate Loop Agreement.
203-213
Electronic Edition (link) BibTeX
- Alexander Okhotin, Panos Rondogiannis:
On the expressive power of univariate equations over sets of natural numbers.
215-227
Electronic Edition (link) BibTeX
- Nicolas Ollinger, Gaétan Richard:
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane.
229-240
Electronic Edition (link) BibTeX
- Riku Saikkonen, Eljas Soisalon-Soininen:
Cache-sensitive Memory Layout for Binary Trees.
241-255
Electronic Edition (link) BibTeX
Track B
Invited talks
Contributed talks
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
301-316
Electronic Edition (link) BibTeX
- Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg:
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
317-332
Electronic Edition (link) BibTeX
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre:
µ-calculus Pushdown Module Checking with Imperfect State Information.
333-348
Electronic Edition (link) BibTeX
- Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub:
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.
349-365
Electronic Edition (link) BibTeX
- Viviana Bono, Ferruccio Damiani, Elena Giachino:
On Traits and Types in a Java-like Setting.
367-382
Electronic Edition (link) BibTeX
- Kaustuv Chaudhuri, Dale Miller, Alexis Saurin:
Canonical Sequent Proofs via Multi-Focusing.
383-396
Electronic Edition (link) BibTeX
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Universal Coinductive Characterisations of Process Semantics.
397-412
Electronic Edition (link) BibTeX
- Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
Static and dynamic typing for the termination of mobile processes.
413-427
Electronic Edition (link) BibTeX
- Emmanuel Filiot, Sophie Tison:
Regular n-ary Queries in Trees and Variable Independence.
429-443
Electronic Edition (link) BibTeX
- Dietrich Kuske, Markus Lohrey:
Hamiltonicity of automatic graphs.
445-459
Electronic Edition (link) BibTeX
- Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah:
Marking the chops: an unambiguous temporal logic.
461-476
Electronic Edition (link) BibTeX
- Roland Meyer:
On Boundedness in Depth in the pi-Calculus.
477-489
Electronic Edition (link) BibTeX
- Nicolas Peltier:
A Unified View of Tree Automata and Term Schematisations.
491-505
Electronic Edition (link) BibTeX
- Julian Rathke, Pawel Sobocinski:
Deconstructing behavioural theories of mobility.
507-520
Electronic Edition (link) BibTeX
- Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel:
Adequacy of Compositional Translations for Observational Semantics.
521-535
Electronic Edition (link) BibTeX
- Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen:
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
537-553
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:23:09 2009
by Michael Ley (ley@uni-trier.de)
