@incollection{Dwork/06,
AUTHOR = {Dwork, Cynthia},
TITLE = {Differential privacy},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {1-12},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Danos-Kashefi-Panangaden/06,
AUTHOR = {Danos, Vincent and Kashefi, Elham and Panangaden, Prakash},
TITLE = {The one way to quantum computation},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {13-21},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Visconti/06,
AUTHOR = {Visconti, Ivan},
TITLE = {Efficient zero knowledge on the Internet},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {22-33},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gennaro-Micali/06,
AUTHOR = {Gennaro, Rosario and Micali, Silvio},
TITLE = {Independent zero-knowledge sets},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {34-45},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Furukawa-Kurosawa-Imai/06,
AUTHOR = {Furukawa, Jun and Kurosawa, Kaoru and Imai, Hideki},
TITLE = {An efficient compiler from $\Sigma$-protocol to 2-move deniable zero-knowledge},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {46-57},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vergnaud/06,
AUTHOR = {Vergnaud, Damien},
TITLE = {New extensions of pairing-based signatures into universal designated verifier signatures},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {58-69},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Micciancio-Panjwani/06,
AUTHOR = {Micciancio, Daniele and Panjwani, Saurabh},
TITLE = {Corrupting one vs. corrupting many: The case of broadcast and multicast encryption},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {70-82},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adao-Fournet/06,
AUTHOR = {Ad{\~a}o, Pedro and Fournet, C{\'e}dric},
TITLE = {Cryptographically sound implementations for communicating processes},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {83-94},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kahler-Kusters-Wilke/06,
AUTHOR = {K{\"a}hler, Detlef and K{\"u}sters, Ralf and Wilke, Thomas},
TITLE = {A Dolev-Yao-based definition of abuse-free protocols},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {95-106},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alur-Cerny-Zdancewic/06,
AUTHOR = {Alur, Rajeev and {\v{C}}ern{\'y}, Pavol and Zdancewic, Steve},
TITLE = {Preserving secrecy under refinement},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {107-118},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boreale/06,
AUTHOR = {Boreale, Michele},
TITLE = {Quantifying information leakage in process calculi},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {119-131},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delaune-Lafourcade-Lugiez-Treinen/06,
AUTHOR = {Delaune, St{\'e}phanie and Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf},
TITLE = {Symbolic protocol analysis in presence of a homomorphism operator and Exclusive Or},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {132-143},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lyubashevsky-Micciancio/06,
AUTHOR = {Lyubashevsky, Vadim and Micciancio, Daniele},
TITLE = {Generalized compact knapsacks are collision resistant},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {144-155},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dubois-Granboulan-Stern/06,
AUTHOR = {Dubois, Vivien and Granboulan, Louis and Stern, Jacques},
TITLE = {An efficient provable distinguisher for HFE},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {156-167},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pietrzak/06,
AUTHOR = {Pietrzak, Krzysztof},
TITLE = {A tight bound for EMAC},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {168-179},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Armknecht-Krause/06,
AUTHOR = {Armknecht, Frederik and Krause, Matthias},
TITLE = {Constructing single- and multi-output Boolean functions with maximal algebraic immunity},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {180-191},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Harnik-Naor/06,
AUTHOR = {Harnik, Danny and Naor, Moni},
TITLE = {On everlasting security in the hybrid bounded storage model},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {192-203},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dodis-Renner/06,
AUTHOR = {Dodis, Yevgeniy and Renner, Renato},
TITLE = {On the impossibility of extracting classical randomness using a quantum computer},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {204-215},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kawachi-Yamakami/06,
AUTHOR = {Kawachi, Akinori and Yamakami, Tomoyuki},
TITLE = {Quantum hardcore functions by complexity-theoretical quantum list decoding},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {216-227},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haitner-Harnik-Reingold/06,
AUTHOR = {Haitner, Iftach and Harnik, Danny and Reingold, Omer},
TITLE = {Efficient pseudorandom generators from exponentially hard one-way functions},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {228-239},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fouque-Pointcheval-Stern-Zimmer/06,
AUTHOR = {Fouque, Pierre-Alain and Pointcheval, David and Stern, Jacques and Zimmer, S{\'e}bastien},
TITLE = {Hardness of distinguishing the MSB or LSB of secret keys in Diffie-Hellman schemes},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {240-251},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Corin-den_Hartog/06,
AUTHOR = {Corin, Ricardo and den Hartog, Jerry},
TITLE = {A probabilistic Hoare-style logic for game-based cryptographic proofs},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {252-263},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Phan-Safavi-Naini-Tonien/06,
AUTHOR = {Phan, Duong Hieu and Safavi-Naini, Reihaneh and Tonien, Dongvu},
TITLE = {Generic construction of hybrid public key traitor tracing with full-public-traceability},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {264-275},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wikstrom-Groth/06,
AUTHOR = {Wikstr{\"o}m, Douglas and Groth, Jens},
TITLE = {An adaptively secure mix-net without erasures},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {276-287},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tassa-Dyn/06,
AUTHOR = {Tassa, Tamir and Dyn, Nira},
TITLE = {Multipartite secret sharing by bivariate interpolation},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {288-299},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abdalla-Catalano-Dent-Malone-Lee-Neven-Smart/06,
AUTHOR = {Abdalla, Michel and Catalano, Dario and Dent, Alexander W. and Malone-Lee, John and Neven, Gregory and Smart, Nigel P.},
TITLE = {Identity-based encryption gone wild},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {300-311},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gimbert-Zielonka/06,
AUTHOR = {Gimbert, Hugo and Zielonka, Wies{\l}aw},
TITLE = {Deterministic priority mean-payoff games as limits of discounted games},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {312-323},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Etessami-Yannakakis/06a,
AUTHOR = {Etessami, Kousha and Yannakakis, Mihalis},
TITLE = {Recursive concurrent stochastic games},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {324-335},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kopczynski/06,
AUTHOR = {Kopczy{\'n}ski, Eryk},
TITLE = {Half-positional determinacy of infinite games},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {336-347},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Stirling/06,
AUTHOR = {Stirling, Colin},
TITLE = {A game-theoretic approach to deciding higher-order matching},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {348-359},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Honda-Berger-Yoshida/06,
AUTHOR = {Honda, Kohei and Berger, Martin and Yoshida, Nobuko},
TITLE = {Descriptive and relative completeness of logics for higher-order functions},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {360-371},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mogelberg/06,
AUTHOR = {M{\o}gelberg, Rasmus Ejlers},
TITLE = {Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {372-383},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haghverdi/06,
AUTHOR = {Haghverdi, Esfandiar},
TITLE = {Typed GoI for exponentials},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {384-395},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Guerrini-Marzuoli/06,
AUTHOR = {Guerrini, Stefano and Marzuoli, Patrizia},
TITLE = {Commutative locative quantifiers for multiplicative linear logic},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {396-407},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Murlak/06,
AUTHOR = {Murlak, Filip},
TITLE = {The wadge hierarchy of deterministic tree languages},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {408-419},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Haddad-Reynier/06,
AUTHOR = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain},
TITLE = {Timed Petri nets and timed automata: On the discriminating power of Zeno sequences},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {420-431},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jurdzinski/06,
AUTHOR = {Jurdzi{\'n}ski, Tomasz},
TITLE = {On complexity of grammars related to the safety problem},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {432-443},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Levy/06,
AUTHOR = {Levy, Paul Blain},
TITLE = {Jumbo $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {444-455},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jagadeesan-Jeffrey-Pitcher-Riely/06,
AUTHOR = {Jagadeesan, Radha and Jeffrey, Alan and Pitcher, Corin and Riely, James},
TITLE = {$\lambda$-RBAC: Programming with role-based access controll},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {456-467},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karhumaki-Kunc-Okhotin/06,
AUTHOR = {Karhum{\"a}ki, Juhani and Kunc, Michal and Okhotin, Alexander},
TITLE = {Communication of two stacks and rewriting},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {468-479},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aceto-Chen-Fokkink-Ingolfsdottir/06,
AUTHOR = {Aceto, Luca and Chen, Taolue and Fokkink, Wan and Ingolfsdottir, Anna},
TITLE = {On the axiomatizability of priority},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {480-491},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aceto-Fokkink-Ingolfsdottir-Luttik/06,
AUTHOR = {Aceto, Luca and Fokkink, Wan and Ingolfsdottir, Anna and Luttik, Bas},
TITLE = {A finite equational base for CCS with left merge and communication merge},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {492-503},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lohrey-Senizergues/06,
AUTHOR = {Lohrey, Markus and S{\'e}nizergues, G{\'e}raud},
TITLE = {Theories of HNN-extensions and amalgamated products},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {504-515},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karianto-Krieg-Thomas/06,
AUTHOR = {Karianto, Wong and Krieg, Aloys and Thomas, Wolfgang},
TITLE = {On intersection problems for polynomially generated sets},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {516-527},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Balaban-Pnueli-Zuck/06,
AUTHOR = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore},
TITLE = {Invisible safety of distributed protocols},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {528-539},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonatti-Lutz-Murano-Vardi/06,
AUTHOR = {Bonatti, Piero A. and Lutz, Carsten and Murano, Aniello and Vardi, Moshe Y.},
TITLE = {The complexity of enriched $\mu$-calculi},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {540-551},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benedikt-Koch/06,
AUTHOR = {Benedikt, Michael and Koch, Christoph},
TITLE = {Interpreting tree-to-tree queries},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {552-564},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Genest-Muscholl/06,
AUTHOR = {Genest, Blaise and Muscholl, Anca},
TITLE = {Constructing exponential-size deterministic Zielonka automata},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {565-576},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bozga-Iosif-Lakhnech/06,
AUTHOR = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
TITLE = {Flat parametric counter automata},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {577-588},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yan/06,
AUTHOR = {Yan, Qiqi},
TITLE = {Lower bounds for complementation of $\omega$-automata via the full automata technique},
BOOKTITLE = {Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP'2006, Part II (Venice, Italy, July 10-14, 2006)},
SERIES = {LNCS},
VOLUME = {4052},
PAGES = {589-600},
YEAR = {2006},
EDITOR = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
URL = {http://dx.doi.org/10.1007/11787006_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}