@incollection{Alur-Deshmukh/11,
AUTHOR = {Alur, Rajeev and Deshmukh, Jyotirmoy V.},
TITLE = {Nondeterministic streaming string transducers},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {1-20},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/e24648j020818jn7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shaltiel/11,
AUTHOR = {Shaltiel, Ronen},
TITLE = {An introduction to randomness extractors},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {21-41},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/n3721m3q081k7216/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Husfeldt/11,
AUTHOR = {Husfeldt, Thore},
TITLE = {Invitation to algorithmic uses of inclusion-exclusion},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {42-59},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/0l21966705115w32/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alvim-Andres-Chatzikokolakis-Palamidessi/11,
AUTHOR = {Alvim, M{\'a}rio S. and Andr{\'e}s, Miguel E. and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
TITLE = {On the relation between differential privacy and quantitative information flow},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {60-76},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/f84721hl3p440830/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Li/11c,
AUTHOR = {Li, Shi},
TITLE = {A 1.488 approximation algorithm for the uncapacitated facility location problem},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {77-88},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/gmnl711851p3760q/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delacourt/11,
AUTHOR = {Delacourt, Martin},
TITLE = {Rice's theorem for $\mu$-limit sets of cellular automata},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {89-100},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/q06w87835w815455/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chechik/11,
AUTHOR = {Chechik, Shiri},
TITLE = {Fault-tolerant compact routing schemes for general graphs},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {101-112},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/12348u7546837236/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hoefer/11a,
AUTHOR = {Hoefer, Martin},
TITLE = {Local matching dynamics in social networks},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {113-124},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/t574004512w68631/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carton-Colcombet-Puppis/11,
AUTHOR = {Carton, Olivier and Colcombet, Thomas and Puppis, Gabriele},
TITLE = {Regular languages of words over countable linear orderings},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {125-136},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/a12105145v67l838/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beecken-Mittmann-Saxena/11,
AUTHOR = {Beecken, Malte and Mittmann, Johannes and Saxena, Nitin},
TITLE = {Algebraic independence and blackbox identity testing},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {137-148},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/222403j5r3124546/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hopkins-Murawski-Ong/11,
AUTHOR = {Hopkins, David and Murawski, Andrzej S. and Ong, C.-H. Luke},
TITLE = {A fragment of ML decidable by visibly pushdown automata},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {149-161},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/kr6w2337817v8530/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Salvati-Walukiewicz/11,
AUTHOR = {Salvati, S. and Walukiewicz, I.},
TITLE = {Krivine machines and higher-order schemes},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {162-173},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/u5m41484464qm74w/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Katsumata/11,
AUTHOR = {Katsumata, Shin-ya},
TITLE = {Relating computational effects by $\top\top$-lifting},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {174-185},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/l1814828t3p30r12/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Laird-Manzonetto-McCusker/11,
AUTHOR = {Laird, Jim and Manzonetto, Giulio and McCusker, Guy},
TITLE = {Constructing differential categories and deconstructing categories of games},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {186-197},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/v173286642830821/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kapoutsis/11,
AUTHOR = {Kapoutsis, Christos A.},
TITLE = {Nondeterminism is essential in small 2FAs with few reversals},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {198-209},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/dv44lk478451j411/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lohrey-Mathissen/11,
AUTHOR = {Lohrey, Markus and Mathissen, Christian},
TITLE = {Isomorphism of regular trees and words},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {210-221},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/661570463j115713/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zetzsche/11a,
AUTHOR = {Zetzsche, Georg},
TITLE = {On the capabilities of grammars, automata, and transducers controlled by monoids},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {222-233},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/e876343022104x11/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benedikt-Puppis-Riveros/11,
AUTHOR = {Benedikt, Michael and Puppis, Gabriele and Riveros, Cristian},
TITLE = {The cost of traveling between languages},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {234-245},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/n92l436179818726/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bertrand-Bouyer-Brihaye-Stainer/11,
AUTHOR = {Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Stainer, Am{\'e}lie},
TITLE = {Emptiness and universality problems in timed automata with positive frequency},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {246-257},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/f23p75665xww7954/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clemente/11,
AUTHOR = {Clemente, Lorenzo},
TITLE = {B{\"u}chi automata can have smaller quotients},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {258-270},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/0w325244246108x8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zhang-Jansen-Nielson-Hermanns/11,
AUTHOR = {Zhang, Lijun and Jansen, David N. and Nielson, Flemming and Hermanns, Holger},
TITLE = {Automata-based CSL model checking},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {271-282},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/q287r3v606470470/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zhang-van_Breugel/11,
AUTHOR = {Zhang, Xin and van Breugel, Franck},
TITLE = {A progress measure for explicit-state probabilistic model-checkers},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {283-294},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/g1245485450127q5/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Crafa-Ranzato/11,
AUTHOR = {Crafa, Silvia and Ranzato, Francesco},
TITLE = {Probabilistic bisimulation and simulation algorithms by abstract interpretation},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {295-306},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/1t37354835752647/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deng-Hennessy/11,
AUTHOR = {Deng, Yuxin and Hennessy, Matthew},
TITLE = {On the semantics of Markov automata},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {307-318},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/tv27238935194756/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Kiefer-Kucera-Varekova/11,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Kiefer, Stefan and Ku{\v{c}}era, Anton{\'{i}}n and Va{\v{r}}ekov{\'a}, Ivana Huta{\v{r}}ov{\'a}},
TITLE = {Runtime analysis of probabilistic programs with unbounded recursion},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {319-331},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/a7034251r8322652/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Brozek-Etessami-Kucera/11,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Bro{\v{z}}ek, V{\'a}clav and Etessami, Kousha and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Approximating the termination value of one-counter MDPs and stochastic games},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {332-343},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/24n78x221l736178/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bova-Chen-Valeriote/11,
AUTHOR = {Bova, Simone and Chen, Hubie and Valeriote, Matthew},
TITLE = {Generic expression hardness results for primitive positive formula comparison},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {344-355},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/ju5t310243988822/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barany-ten_Cate-Segoufin/11,
AUTHOR = {B{\'a}r{\'a}ny, Vince and ten Cate, Balder and Segoufin, Luc},
TITLE = {Guarded negation},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {356-367},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/42390610v21473h8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Anderson-van_Melkebeek-Schweikardt-Segoufin/11,
AUTHOR = {Anderson, Matthew and van Melkebeek, Dieter and Schweikardt, Nicole and Segoufin, Luc},
TITLE = {Locality of queries definable in invariant first-order logic with arbitrary built-in predicates},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {368-379},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/l150l767q2831618/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cardelli-Larsen-Mardare/11,
AUTHOR = {Cardelli, Luca and Larsen, Kim G. and Mardare, Radu},
TITLE = {Modular Markovian logic},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {380-391},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/lk672675p4136463/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Suenaga-Hasuo/11,
AUTHOR = {Suenaga, Kohei and Hasuo, Ichiro},
TITLE = {Programming with infinitesimals: A {\sc While}-language for hybrid system modeling},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {392-403},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/52713762186565q5/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fischer-Kaiser/11,
AUTHOR = {Fischer, Diana and Kaiser, {\L}ukasz},
TITLE = {Model checking the quantitative $\mu$-calculus on linear hybrid systems},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {404-415},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/m775305373735562/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brihaye-Doyen-Geeraerts-Ouaknine-Raskin-Worrell/11,
AUTHOR = {Brihaye, Thomas and Doyen, Laurent and Geeraerts, Gilles and Ouaknine, Jo{\"e}l and Raskin, Jean-Fran{\c{c}}ois and Worrell, James},
TITLE = {On reachability for hybrid automata over bounded time},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {416-427},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/e746j0553g876358/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouajjani-Meyer-Mohlmann/11,
AUTHOR = {Bouajjani, Ahmed and Meyer, Roland and M{\"o}hlmann, Eike},
TITLE = {Deciding robustness against total store ordering},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {428-440},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/v516v44774t47011/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schmitz-Schnoebelen/11,
AUTHOR = {Schmitz, S. and Schnoebelen, Ph.},
TITLE = {Multiply-recursive upper bounds with Higman's lemma},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {441-452},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/59n5200171083738/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gotsman-Yang/11,
AUTHOR = {Gotsman, Alexey and Yang, Hongseok},
TITLE = {Liveness-preserving atomicity abstraction},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {453-465},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/d17047619u07578j/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kiefer-Murawski-Ouaknine-Worrell-Zhang/11,
AUTHOR = {Kiefer, Stefan and Murawski, Andrzej S. and Ouaknine, Jo{\"e}l and Worrell, James and Zhang, Lijun},
TITLE = {On stabilization in Herman's algorithm},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {466-477},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/n620p4h315426841/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Megow-Mehlhorn-Schweitzer/11,
AUTHOR = {Megow, Nicole and Mehlhorn, Kurt and Schweitzer, Pascal},
TITLE = {Online graph exploration: New results on old and new algorithms},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {478-489},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/x69833435566841w/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hermelin-Levy-Weimann-Yuster/11,
AUTHOR = {Hermelin, Danny and Levy, Avivit and Weimann, Oren and Yuster, Raphael},
TITLE = {Distance oracles for vertex-labeled graphs},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {490-501},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/y7656533461817m1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Doerr-Fouz/11a,
AUTHOR = {Doerr, Benjamin and Fouz, Mahmoud},
TITLE = {Asymptotically optimal randomized rumor spreading},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {502-513},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/p066820m675m1172/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Ning/11,
AUTHOR = {Chan, T.-H. Hubert and Ning, Li},
TITLE = {Fast convergence for consensus in dynamic networks},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {514-525},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/97j7mhm0485017pg/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ahn-Guha/11,
AUTHOR = {Ahn, Kook Jin and Guha, Sudipto},
TITLE = {Linear programming in the semi-streaming model with application to the maximum matching problem},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {526-538},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/q381g21201w18252/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kollias-Roughgarden/11,
AUTHOR = {Kollias, Konstantinos and Roughgarden, Tim},
TITLE = {Restoring pure equilibria to weighted congestion games},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {539-551},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/gn385t39422h6173/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cominetti-Correa-Larre/11,
AUTHOR = {Cominetti, Roberto and Correa, Jos{\'e} R. and Larr{\'e}, Omar},
TITLE = {Existence and uniqueness of equilibria for flows over time},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {552-563},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/260620jn50483667/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Huang/11a,
AUTHOR = {Huang, Chien-Chung},
TITLE = {Collusion in atomic splittable routing games},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {564-575},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/a836503112866426/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goodrich-Mitzenmacher/11,
AUTHOR = {Goodrich, Michael T. and Mitzenmacher, Michael},
TITLE = {Privacy-preserving access of outsourced data via oblivious RAM simulation},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {576-587},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/36741714432402h8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Libert-Yung/11,
AUTHOR = {Libert, Beno{\^{i}}t and Yung, Moti},
TITLE = {Adaptively secure non-interactive threshold cryptosystems},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {588-600},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/b25n47jp0h537644/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karbasi-Ioannidis-Massoulie/11,
AUTHOR = {Karbasi, Amin and Ioannidis, Stratis and Massouli{\'e}, Laurent},
TITLE = {Content search through comparisons},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {601-612},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/u612882464v5h7p3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chlebus-Kowalski-Pelc-Rokicki/11,
AUTHOR = {Chlebus, Bogdan S. and Kowalski, Dariusz R. and Pelc, Andrzej and Rokicki, Mariusz A.},
TITLE = {Efficient distributed communication in ad-hoc radio networks},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {613-624},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/l285077n79w31535/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Halldorsson-Mitra/11,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M. and Mitra, Pradipta},
TITLE = {Nearly optimal bounds for distributed wireless scheduling in the SINR model},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {625-636},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/v188v51164428656/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dams-Hoefer-Kesselheim/11,
AUTHOR = {Dams, Johannes and Hoefer, Martin and Kesselheim, Thomas},
TITLE = {Convergence time of power-control dynamics},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {637-649},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/d702636480385u41/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cord-Landwehr-Degener-Fischer-Hullmann-Kempkes-Klaas-Kling-Kurras-Martens-Meyer_auf_der_Heide-Raupach-Swierkot-Warner-Weddemann-Wonisch/11,
AUTHOR = {Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and H{\"u}llmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and M{\"a}rtens, Marcus and Meyer auf der Heide, Friedhelm and Raupach, Christoph and Swierkot, Kamil and Warner, Daniel and Weddemann, Christoph and Wonisch, Daniel},
TITLE = {A new approach for analyzing convergence algorithms for mobile robots},
BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)},
SERIES = {LNCS},
VOLUME = {6756},
PAGES = {650-661},
YEAR = {2011},
EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}},
URL = {http://springerlink.metapress.com/content/6u8w33qw46n65341/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}