Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II: 4052 (Lecture Notes in Computer Science, 4052) - Softcover

Softcover

ISBN 10: 3540359079 ISBN 13: 9783540359074

Publisher: Springer, 2006

Synopsis

The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited papers and 2 additional conference tracks with 24 papers each, focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation.

About this title

Product Description

Automata, Languages And Programming: 33Rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings by Bart Preneel, Ingo Wegener, Vladimiro Sassone, 9783540359074, Springer

Synopsis

The two volume set "LNCS 4051" and "LNCS 4052" constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, in July 2006. The first volume ("LNCS 4051") presents 61 revised full papers together with 1 invited lecture that were carefully reviewed and selected from 230 submissions. Those papers have a special focus on algorithms, automata, complexity and games and are organized in topical sections on graph theory, quantum computing, randomness, formal languages, approximation algorithms, graph algorithms, algorithms, complexity, data structures and linear algebra, graphs, game theory, networks, circuits and regular expressions, fixed parameter complexity and approximation algorithms. The second volume ("LNCS 4052") comprises 2 invited papers and 2 other conference tracks with 24 papers each - rigorously selected from 96 and 81 submissions - focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation respectively.

The papers are organized in topical sections on zero-knowledge and signatures, cryptographic protocols, secrecy and protocol analysis, cryptographic promitives, bounded storage and quantum models, foundations, multi-party protocols, games, semantics, automata, models, equations, and logics.

Edition details

• Publisher: Springer
• Publication date: 2006
• Language: English
• ISBN 10: 3540359079
• ISBN 13: 9783540359074
• Binding: Paperback
• Number of pages: 636
• Editor: Bugliesi Michele, Preneel Bart, Sassone Vladimiro, Wegener Ingo