@incollection{Fraigniaud/10,
AUTHOR = {Fraigniaud, Pierre},
TITLE = {Informative labeling schemes},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {1-1},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/pg272916014q1734/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {abstract},
}
@incollection{Goubault-Larrecq/10,
AUTHOR = {Goubault-Larrecq, Jean},
TITLE = {Noetherian spaces in verification},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {2-21},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/1544177041413k24/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ouaknine-Worrell/10,
AUTHOR = {Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {Towards a theory of time-bounded verification},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {22-37},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/g1048x8308022382/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wattenhofer/10,
AUTHOR = {Wattenhofer, Roger},
TITLE = {Physical algorithms},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {38-51},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/q64813861x220914/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Genest-Gimbert-Muscholl-Walukiewicz/10,
AUTHOR = {Genest, Blaise and Gimbert, Hugo and Muscholl, Anca and Walukiewicz, Igor},
TITLE = {Optimal Zielonka-type construction of deterministic asynchronous automata},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {52-63},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/n072pw88p8q29045/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chambart-Schnoebelen/10,
AUTHOR = {Chambart, Pierre and Schnoebelen, Philippe},
TITLE = {Pumping and counting on the regular post embedding problem},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {64-75},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/7nv80748g63m663g/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boker-Kupferman-Rosenberg/10,
AUTHOR = {Boker, Udi and Kupferman, Orna and Rosenberg, Adin},
TITLE = {Alternation removal in B{\"u}chi automata},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {76-87},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/p7r48m8n38h7u0m3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Braud-Carayol/10,
AUTHOR = {Braud, Laurent and Carayol, Arnaud},
TITLE = {Linear orders in the pushdown hierarchy},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {88-99},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/09163qr831091113/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blasiak-Kleinberg/10,
AUTHOR = {Blasiak, Anna and Kleinberg, Robert},
TITLE = {The serializability of network codes},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {100-114},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/h5px655528327733/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alistarh-Gilbert-Guerraoui-Zadimoghaddam/10,
AUTHOR = {Alistarh, Dan and Gilbert, Seth and Guerraoui, Rachid and Zadimoghaddam, Morteza},
TITLE = {How efficient can gossip be? (On the cost of resilient information exchange)},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {115-126},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/8262838j2605p017/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berenbrink-Czyzowicz-Elsasser-Gasieniec/10,
AUTHOR = {Berenbrink, Petra and Czyzowicz, Jurek and Els{\"a}sser, Robert and G{\c{a}}sieniec, Leszek},
TITLE = {Efficient information exchange in the random phone-call model},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {127-138},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/1m7j85717t84666l/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Even-Medina/10,
AUTHOR = {Even, Guy and Medina, Moti},
TITLE = {An $O(\log n)$-competitive online centralized randomized packet-routing algorithm for lines},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {139-150},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/9675507783316305/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gehrke-Grigorieff-Pin/10,
AUTHOR = {Gehrke, Mai and Grigorieff, Serge and Pin, Jean-{\'E}ric},
TITLE = {A topological approach to recognition},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {151-162},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/j64u0q3944363666/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blum/10a,
AUTHOR = {Blum, Norbert},
TITLE = {On $LR(k)$-parsers of polynomial size},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {163-174},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/326tr23487812j16/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Zetzsche/10,
AUTHOR = {Zetzsche, Georg},
TITLE = {On erasing productions in random context grammars},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {175-186},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/b601k243r1408231/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Laird/10,
AUTHOR = {Laird, James},
TITLE = {Game semantics for call-by-value polymorphism},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {187-198},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/4u24471361164t77/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hofmann-Karbyshev-Seidl/10,
AUTHOR = {Hofmann, Martin and Karbyshev, Aleksandr and Seidl, Helmut},
TITLE = {What is a pure functional?},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {199-210},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/l8747421r4026rgg/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Giacobazzi-Ranzato/10,
AUTHOR = {Giacobazzi, Roberto and Ranzato, Francesco},
TITLE = {Example-guided abstraction simplification},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {211-222},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/c2mh8304u8067702/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{McIver-Meinicke-Morgan/10,
AUTHOR = {McIver, Annabelle and Meinicke, Larissa and Morgan, Carroll},
TITLE = {Compositional closure for Bayes risk in probabilistic noninterference},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {223-235},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/d171uu7700vk1124/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bunn-Ostrovsky/10,
AUTHOR = {Bunn, Paul and Ostrovsky, Rafail},
TITLE = {Asynchronous throughput-optimal routing in malicious networks},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {236-248},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/66x772g86261x2g6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chandran-Garay-Ostrovsky/10,
AUTHOR = {Chandran, Nishanth and Garay, Juan and Ostrovsky, Rafail},
TITLE = {Improved fault tolerance and secure computation on sparse networks},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {249-260},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/nj5123t219l35636/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chechik-Emek-Patt-Shamir-Peleg/10,
AUTHOR = {Chechik, Shiri and Emek, Yuval and Patt-Shamir, Boaz and Peleg, David},
TITLE = {Sparse reliable graph backbones},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {261-272},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/7728m5331pnv54p2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bansal-Jain-Kazeykina-Naor/10,
AUTHOR = {Bansal, Nikhil and Jain, Kamal and Kazeykina, Anna and Naor, Joseph (Seffi)},
TITLE = {Approximation algorithms for diversified search ranking},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {273-284},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/f55k621gjx03hl8p/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Duncan-Perdrix/10,
AUTHOR = {Duncan, Ross and Perdrix, Simon},
TITLE = {Rewriting measurement-based quantum computations with generalised flow},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {285-296},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/06g573327343gq75/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Coecke-Kissinger/10,
AUTHOR = {Coecke, Bob and Kissinger, Aleks},
TITLE = {The compositional structure of multipartite quantum entanglement},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {297-308},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/82002j7432402x23/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rensink/10,
AUTHOR = {Rensink, Arend},
TITLE = {Compositionality in graph transformation},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {309-320},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/q14p136j575kj3u6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Flum/10,
AUTHOR = {Chen, Yijia and Flum, J{\"o}rg},
TITLE = {On $p$-optimal proof systems and logics for PTIME},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {321-332},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/97p4h3316j086050/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mertzios-Sau-Shalom-Zaks/10,
AUTHOR = {Mertzios, George B. and Sau, Ignasi and Shalom, Mordechai and Zaks, Shmuel},
TITLE = {Placing regenerators in optical networks to satisfy multiple sets of requests},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {333-344},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/9w1jr25073764751/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Montanari-Puppis-Sala/10,
AUTHOR = {Montanari, Angelo and Puppis, Gabriele and Sala, Pietro},
TITLE = {Maximal decidable fragments of Halpern and Shoham's modal logic of intervals},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {345-356},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/j5031753m44qp6u3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Marcinkowski-Michaliszyn-Kieronski/10,
AUTHOR = {Marcinkowski, Jerzy and Michaliszyn, Jakub and Kiero{\'n}ski, Emanuel},
TITLE = {B and D are enough to make the Halpern-Shoham logic undecidable},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {357-368},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/3r773jq077816147/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Achilleos-Lampis-Mitsou/10,
AUTHOR = {Achilleos, Antonis and Lampis, Michael and Mitsou, Valia},
TITLE = {Parameterized modal satisfiability},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {369-380},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/kx12733361lu1871/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fontaine-Leal-Venema/10,
AUTHOR = {Fontaine, Ga{\"e}lle and Leal, Raul and Venema, Yde},
TITLE = {Automata for coalgebras: An approach using predicate liftings},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {381-392},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/4240765777714194/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blocki-Williams/10,
AUTHOR = {Blocki, Jeremiah and Williams, Ryan},
TITLE = {Resolving the complexity of some data privacy problems},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {393-404},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/v44812u7urq05214/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Shi-Song/10,
AUTHOR = {Chan, T.-H. Hubert and Shi, Elaine and Song, Dawn},
TITLE = {Private and continual release of statistics},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {405-417},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/dmx8g177p23n7v13/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Deng/10,
AUTHOR = {Chen, Ning and Deng, Xiaotie},
TITLE = {Envy-free pricing in multi-item markets},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {418-429},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/l23230053p61626g/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Christodoulou-Ligett-Pyrga/10,
AUTHOR = {Christodoulou, George and Ligett, Katrina and Pyrga, Evangelia},
TITLE = {Contention resolution under selfishness},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {430-441},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/c463111p10w53588/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lanese-Perez-Sangiorgi-Schmitt/10,
AUTHOR = {Lanese, Ivan and P{\'e}rez, Jorge A. and Sangiorgi, Davide and Schmitt, Alan},
TITLE = {On the expressiveness of polyadic and synchronous communication in higher-order process calculi},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {442-453},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/h3330xgp7h46j456/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hirschkoff-Pous/10,
AUTHOR = {Hirschkoff, Daniel and Pous, Damien},
TITLE = {On bisimilarity and substitution in presence of replication},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {454-465},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/230206n33137302k/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Habermehl-Meyer-Wimmel/10,
AUTHOR = {Habermehl, Peter and Meyer, Roland and Wimmel, Harro},
TITLE = {The downward-closure of Petri net languages},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {466-477},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/q73k6412821420mq/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Jancar-Kucera/10,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Jan{\v{c}}ar, Petr and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Reachability games on extended vector addition systems with states},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {478-489},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/h34028510483v422/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clementi-Monti-Silvestri/10,
AUTHOR = {Clementi, Andrea E.F. and Monti, Angelo and Silvestri, Riccardo},
TITLE = {Modelling mobility: A {\sl Discrete} revolution},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {490-501},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/366h4w75x2w79h41/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Collins-Czyzowicz-Gasieniec-Labourel/10,
AUTHOR = {Collins, Andrew and Czyzowicz, Jurek and G{\c{a}}sieniec, Leszek and Labourel, Arnaud},
TITLE = {Tell me where I am so I can meet you sooner --- (Asynchronous rendezvous with location information)},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {502-514},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/b6018877597w6749/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalopin-Das/10,
AUTHOR = {Chalopin, J{\'e}r{\'e}mie and Das, Shantanu},
TITLE = {Rendezvous of mobile agents without agreement on local orientation},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {515-526},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/u682731335314138/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gimbert-Oualhadj/10,
AUTHOR = {Gimbert, Hugo and Oualhadj, Youssouf},
TITLE = {Probabilistic automata on finite words: Decidable and undecidable problems},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {527-538},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/v04827v85070540q/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Esparza-Kiefer-Luttenberger/10,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael},
TITLE = {Space-efficient scheduling of stochastically generated tasks},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {539-550},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/l4038986q51jv786/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fearnley/10,
AUTHOR = {Fearnley, John},
TITLE = {Exponential lower bounds for policy iteration},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {551-562},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/5243771210246r68/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet-Kuperberg-Lombardy/10,
AUTHOR = {Colcombet, Thomas and Kuperberg, Denis and Lombardy, Sylvain},
TITLE = {Regular temporal cost functions},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {563-574},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/606683102p1153l8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goller-Haase-Ouaknine-Worrell/10,
AUTHOR = {G{\"o}ller, Stefan and Haase, Christoph and Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {Model checking succinct and parametric one-counter automata},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {575-586},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/n424160416323368/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bollig-Gastin-Monmege-Zeitoun/10,
AUTHOR = {Bollig, Benedikt and Gastin, Paul and Monmege, Benjamin and Zeitoun, Marc},
TITLE = {Pebble weighted automata and transitive closure logics},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {587-598},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/xwq61875451n5412/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-Doyen/10,
AUTHOR = {Chatterjee, Krishnendu and Doyen, Laurent},
TITLE = {Energy parity games},
BOOKTITLE = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP'2010, Part II (Bordeaux, France, July 6-10, 2010)},
SERIES = {LNCS},
VOLUME = {6199},
PAGES = {599-610},
YEAR = {2010},
EDITOR = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G.},
URL = {http://springerlink.metapress.com/content/y86172k3qum661x6/fulltext.pdf" title="Download PDF (229.8 KB)"><span>Download PDF (229.8 KB)</span></a></li> 	</ul></li><li class="primitive primitiveResource Backmatter"><p class="title">Back matter</p><ul class="resources fulltextResources" data-ftxUrl="/content/978-3-642-14161-4/#section=727733"> 		<li><a class="sprite pdf-resource-spritehttp://springerlink.metapress.com/content/978-3-642-14161-4/back-matter.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}