35. ICALP 2008:
Reykjavik,
Iceland - Part II
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (Eds.):
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations.
Lecture Notes in Computer Science 5126 Springer 2008, ISBN 978-3-540-70582-6 BibTeX
Invited Lectures
Track B:
Logic,
Semantics,
and Theory of Programming
Bounds
Distributed Computation
Real-Time and Probabilistic Systems
- Bernard Boigelot, Julien Brusten, Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.
112-123
Electronic Edition (link) BibTeX
- Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell:
On Expressiveness and Complexity in Real-Time Model Checking.
124-135
Electronic Edition (link) BibTeX
- Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Systems.
136-147
Electronic Edition (link) BibTeX
- Tomás Brázdil, Vojtech Forejt, Antonín Kucera:
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
148-159
Electronic Edition (link) BibTeX
Logic and Complexity
Words and Trees
Nonstandard Models of Computation
Reasoning about Computation
Verification
Track C:
Security and Cryptography Foundations
Theory
Secure Computation
Two-Party Protocols and Zero-Knowledge
Encryption with Special Properties/Quantum Cryptography
Various Types of Hashing
Public-Key Cryptography/Authentication
Copyright © Sat May 16 23:16:08 2009
by Michael Ley (ley@uni-trier.de)