4. IFIP TCS 2006: Santiago, Chile

Gonzalo Navarro, Leopoldo E. Bertossi, Yoshiharu Kohayakawa (Eds.): Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile. IFIP 209 Springer 2006, ISBN 0-387-34633-3 BibTeX

Invited Talks

Marcelo Arenas:
Locality of Queries and Transformations. 3
Electronic Edition (link) BibTeX
Jozef Gruska:
From Informatics to Quantum Informatics. 5
Electronic Edition (link) BibTeX
Claudio Gutiérrez:
RDF as a Data Model. 7
Electronic Edition (link) BibTeX
Marcos A. Kiwi:
Adversarial Queueing Theory Revisited. 9-10
Electronic Edition (link) BibTeX
Nicola Santoro:
Distributed Algorithms for Autonomous Mobile Robots. 11
Electronic Edition (link) BibTeX
Mihalis Yannakakis:
Recursion and Probability. 13
Electronic Edition (link) BibTeX

Invited Papers

Jozef Gruska:
From Informatics to Quantum Informatics. 17-46
Electronic Edition (link) BibTeX
Giuseppe Prencipe, Nicola Santoro:
Distributed Algorithms for Autonomous Mobile Robots. 47-62
Electronic Edition (link) BibTeX

Contributed Papers

Brian C. Dean, Michel X. Goemans, Nicole Immorlica:
The Unsplittable Stable Marriage Problem. 65-75
Electronic Edition (link) BibTeX
Walter Guttmann, Markus Maucher:
Variations on an Ordering Theme with Constraints. 77-90
Electronic Edition (link) BibTeX
Luca Bortolussi, Francesco Fabris, Alberto Policriti:
BuST-Bundled Suffix Trees. 91-102
Electronic Edition (link) BibTeX
Andrej Brodnik, Johan Karlsson, J. Ian Munro, Andreas Nilsson:
An O(1) Solution to the Prefix Sum Problem on a Specialized Memory Architecture. 103-114
Electronic Edition (link) BibTeX
Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden:
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. 115-129
Electronic Edition (link) BibTeX
Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Nicola Santoro:
Exploring an Unknown Graph to Locate a Black Hole Using Tokens. 131-150
Electronic Edition (link) BibTeX
Martin Kutrib, Andreas Malcher:
Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity. 151-164
Electronic Edition (link) BibTeX
Denis Caromel, Ludovic Henrio:
Asynchonous Distributed Components: Concurrency and Determinacy. 165-183
Electronic Edition (link) BibTeX
Pietro di Lena:
Decidable Properties for Regular Cellular Automata. 185-196
Electronic Edition (link) BibTeX
Thierry Jéron, Hervé Marchand, Vlad Rusu:
Symbolic Determinisation of Extended Automata. 197-212
Electronic Edition (link) BibTeX
Julien d'Orso, Tayssir Touili:
Regular Hedge Model Checking. 213-230
Electronic Edition (link) BibTeX
Stephen L. Bloom, Zoltán Ésik:
Completing Categorical Algebras. 231-249
Electronic Edition (link) BibTeX
Hans-Joachim Böckenhauer, Luca Forlizzi, Juraj Hromkovic, Joachim Kneis, Joachim Kupke, Guido Proietti, Peter Widmayer:
Reusing Optimal TSP Solutions for Locally Modified Input Instances. 251-270
Electronic Edition (link) BibTeX
Amin Coja-Oghlan, Andreas Goerdt, André Lanka:
Spectral Partitioning of Random Graphs with Given Expected Degrees. 271-282
Electronic Edition (link) BibTeX
Marco Abraham, Rolf Kötter, Antje Krumnack, Egon Wanke:
A Connectivity Rating for Vertices in Networks. 283-298
Electronic Edition (link) BibTeX
Xiuzhen Huang, Jianer Chen:
On PTAS for Planar Graph Problems. 299-313
Electronic Edition (link) BibTeX