@incollection{Chatterjee-Doyen-Henzinger/09,
AUTHOR = {Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A.},
TITLE = {A survey of stochastic games with limsup and liminf objectives},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {1-15},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/c069j6288l536343/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gottlob-Greco-Scarcello/09,
AUTHOR = {Gottlob, Georg and Greco, Gianluigi and Scarcello, Francesco},
TITLE = {Tractable optimization problems through hypergraph-based structural restrictions},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {16-30},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/435010x5g3483532/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Acciai-Boreale/09,
AUTHOR = {Acciai, Lucia and Boreale, Michele},
TITLE = {Deciding safety properties in infinite-state pi-calculus via behavioural types},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {31-42},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/0518051204l26263/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baier-Bertrand-Bouyer-Brihaye/09,
AUTHOR = {Baier, Christel and Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas},
TITLE = {When are timed automata determinizable?},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {43-54},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/x1wl123373160715/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beaudry-Lemieux/09,
AUTHOR = {Beaudry, Martin and Lemieux, Fran{\c{c}}ois},
TITLE = {Faithful loops for aperiodic E-ordered monoids},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {55-66},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/p673084h53860853/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Blumensath-Otto-Weyer/09,
AUTHOR = {Blumensath, Achim and Otto, Martin and Weyer, Mark},
TITLE = {Boundedness of monadic second-order formulae over finite words},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {67-78},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/h2747n7202w73181/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodirsky-Jonsson-von_Oertzen/09,
AUTHOR = {Bodirsky, Manuel and Jonsson, Peter and von Oertzen, Timo},
TITLE = {Semilinear program feasibility},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {79-90},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/217g7k5462674vrl/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boldo/09,
AUTHOR = {Boldo, Sylvie},
TITLE = {Floats and ropes: A case study for formal numerical program verification},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {91-102},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/a32458478l441848/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Forejt/09,
AUTHOR = {Bouyer, Patricia and Forejt, Vojt{\v{e}}ch},
TITLE = {Reachability in stochastic timed games},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {103-114},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/b2161808l0130061/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Branco-Pin/09,
AUTHOR = {Branco, M{\'a}rio J.J. and Pin, Jean-{\'E}ric},
TITLE = {Equations defining the polynomial closure of a lattice of regular languages},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {115-126},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/lm84r35657l252p3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chaput-Danos-Panangaden-Plotkin/09,
AUTHOR = {Chaput, Philippe and Danos, Vincent and Panangaden, Prakash and Plotkin, Gordon},
TITLE = {Approximating Markov processes by averaging},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {127-138},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/64u87w335kr0267n/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet/09,
AUTHOR = {Colcombet, Thomas},
TITLE = {The theory of stabilisation monoids and regular cost functions},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {139-150},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/f8560126576614rx/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet-Zdanowski/09,
AUTHOR = {Colcombet, Thomas and Zdanowski, Konrad},
TITLE = {A tight lower bound for determinization of transition labeled B{\"u}chi automata},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {151-162},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/7784vu2607nm8211/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dal_Lago-Martini/09,
AUTHOR = {Dal Lago, Ugo and Martini, Simone},
TITLE = {On constructor rewrite systems and the lambda-calculus},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {163-174},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/p72817360k155450/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dax-Klaedtke-Lange/09,
AUTHOR = {Dax, Christian and Klaedtke, Felix and Lange, Martin},
TITLE = {On regular temporal logics with past},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {175-187},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/v2481m864265jv71/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Finkel-Goubault-Larrecq/09,
AUTHOR = {Finkel, Alain and Goubault-Larrecq, Jean},
TITLE = {Forward analysis for WSTS, Part II: Complete WSTS},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {188-199},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/k68584j052x65137/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gripon-Serre/09,
AUTHOR = {Gripon, Vincent and Serre, Olivier},
TITLE = {Qualitative concurrent stochastic games with imperfect information},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {200-211},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/34177206m5343r07/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jouannaud-van_Oostrom/09,
AUTHOR = {Jouannaud, Jean-Pierre and van Oostrom, Vincent},
TITLE = {Diagrammatic confluence and completion},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {212-222},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/lp5265n1242w2054/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kobayashi-Ong/09,
AUTHOR = {Kobayashi, Naoki and Ong, C.-H. Luke},
TITLE = {Complexity of model checking recursion schemes for fragments of the modal mu-calculus},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {223-234},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/d6762n731028682v/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kuhtz-Finkbeiner/09,
AUTHOR = {Kuhtz, Lars and Finkbeiner, Bernd},
TITLE = {LTL path checking is efficiently parallelizable},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {235-246},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/e220114615570595/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mellies-Tabareau-Tasson/09,
AUTHOR = {Melli{`e}s, Paul-Andr{\'e} and Tabareau, Nicolas and Tasson, Christine},
TITLE = {An explicit formula for the free exponential modality of linear logic},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {247-260},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/vm715v2p5mn31271/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Michaliszyn/09,
AUTHOR = {Michaliszyn, Jakub},
TITLE = {Decidability of the guarded fragment with the transitive closure},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {261-272},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/678847t30637g368/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Parys-Walukiewicz/09,
AUTHOR = {Parys, Pawel and Walukiewicz, Igor},
TITLE = {Weak alternating timed automata},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {273-284},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/n3647p7104763166/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Place-Segoufin/09,
AUTHOR = {Place, Thomas and Segoufin, Luc},
TITLE = {A decidable characterization of locally testable tree languages},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {285-296},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/y38833328546787w/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ummels-Wojtczak/09,
AUTHOR = {Ummels, Michael and Wojtczak, Dominik},
TITLE = {The complexity of Nash equilibria in simple stochastic multiplayer games},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {297-308},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/7t8413417x521821/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nisan-Bayer-Chandra-Franji-Gardner-Matias-Rhodes-Seltzer-Tom-Varian-Zigmond/09,
AUTHOR = {Nisan, Noam and Bayer, Jason and Chandra, Deepak and Franji, Tal and Gardner, Robert and Matias, Yossi and Rhodes, Neil and Seltzer, Misha and Tom, Danny and Varian, Hal and Zigmond, Dan},
TITLE = {Google's auction for TV ads},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {309-327},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/078422t07271l2lu/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ahn-Guha/09,
AUTHOR = {Ahn, Kook Jin and Guha, Sudipto},
TITLE = {Graph sparsification in the semi-streaming model},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {328-338},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/q09291642q677068/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Anagnostopoulos-Kumar-Mahdian-Upfal/09,
AUTHOR = {Anagnostopoulos, Aris and Kumar, Ravi and Mahdian, Mohammad and Upfal, Eli},
TITLE = {Sort me if you can: How to sort dynamic data},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {339-350},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/u108045h78m7671v/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Azar-Madry-Moscibroda-Panigrahi-Srinivasan/09,
AUTHOR = {Azar, Yossi and M{\c{a}}dry, Aleksander and Moscibroda, Thomas and Panigrahi, Debmalya and Srinivasan, Aravind},
TITLE = {Maximum bipartite flow in networks with adaptive channel width},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {351-362},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/l413571544615828/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatzigiannakis-Michail-Spirakis/09,
AUTHOR = {Chatzigiannakis, Ioannis and Michail, Othon and Spirakis, Paul G.},
TITLE = {Mediated population protocols},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {363-374},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/m42qq47137607kr3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chierichetti-Lattanzi-Panconesi/09,
AUTHOR = {Chierichetti, Flavio and Lattanzi, Silvio and Panconesi, Alessandro},
TITLE = {Rumor spreading in social networks},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {375-386},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/w20n017016568r54/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clementi-Pasquale-Silvestri/09,
AUTHOR = {Clementi, Andrea E.F. and Pasquale, Francesco and Silvestri, Riccardo},
TITLE = {MANETS: High mobility can make up for low transmission power},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {387-398},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/e64h142hj6271133/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cooper-Frieze-Radzik/09,
AUTHOR = {Cooper, Colin and Frieze, Alan and Radzik, Tomasz},
TITLE = {Multiple random walks and interacting particle systems},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {399-410},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/p700274230357002/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cooper-Ilcinkas-Klasing-Kosowski/09,
AUTHOR = {Cooper, Colin and Ilcinkas, David and Klasing, Ralf and Kosowski, Adrian},
TITLE = {Derandomizing random walks in undirected graphs using locally fair exploration strategies},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {411-422},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/76h27155wl154378/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Daskalakis-Papadimitriou/09,
AUTHOR = {Daskalakis, Constantinos and Papadimitriou, Christos H.},
TITLE = {On a network generalization of the minmax theorem},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {423-434},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/gp27211055hu7467/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Nicola-Latella-Loreti-Massink/09,
AUTHOR = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke},
TITLE = {Rate-based transition systems for stochastic process calculi},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {435-446},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/h6qh7402h24m7r68/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fanghanel-Kesselheim-Vocking/09,
AUTHOR = {Fangh{\"a}nel, Alexander and Ke{\ss}elheim, Thomas and V{\"o}cking, Berthold},
TITLE = {Improved algorithms for latency minimization in wireless networks},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {447-458},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/x24554094215600r/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fotakis-Kaporis-Spirakis/09,
AUTHOR = {Fotakis, Dimitris and Kaporis, Alexis C. and Spirakis, Paul G.},
TITLE = {Efficient methods for selfish network design},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {459-471},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/rr32411g837hk20n/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Friedrich-Sauerwald-Vilenchik/09,
AUTHOR = {Friedrich, Tobias and Sauerwald, Thomas and Vilenchik, Dan},
TITLE = {Smoothed analysis of balancing networks},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {472-483},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/qk21360661g77824/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Guerraoui-Ruppert/09,
AUTHOR = {Guerraoui, Rachid and Ruppert, Eric},
TITLE = {Names trump malice: Tiny mobile agents can tolerate Byzantine failures},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {484-495},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/a00017l71275wuqn/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Guha-Munagala/09,
AUTHOR = {Guha, Sudipto and Munagala, Kamesh},
TITLE = {Multi-armed bandits with metric switching costs},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {496-507},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/t423223163483083/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Korula-Pal/09,
AUTHOR = {Korula, Nitish and P{\'a}l, Martin},
TITLE = {Algorithms for secretary problems on graphs and hypergraphs},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {508-520},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/b6747626575q2pg6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kowalski-Pelc/09,
AUTHOR = {Kowalski, Dariusz R. and Pelc, Andrzej},
TITLE = {Leader election in ad hoc radio networks: A keen ear helps},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {521-533},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/hp154q226406m177/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ibrahim-Kiayias-Yung-Zhou/09,
AUTHOR = {Ibrahim, Maged H. and Kiayias, Aggelos and Yung, Moti and Zhou, Hong-Sheng},
TITLE = {Secure function collection with sublinear storage},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {534-545},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/a21148l5333887u3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mosk-Aoyama-Roughgarden/09,
AUTHOR = {Mosk-Aoyama, Damon and Roughgarden, Tim},
TITLE = {Worst-case efficiency analysis of queueing disciplines},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {546-557},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/r6r36h7v1r630147/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pugliese-Tiezzi-Yoshida/09,
AUTHOR = {Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko},
TITLE = {On observing dynamic prioritised actions in SOC},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {558-570},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/k65776v56n62681q/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Scheideler-Schmid/09,
AUTHOR = {Scheideler, Christian and Schmid, Stefan},
TITLE = {A distributed and oblivious heap},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {571-582},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/b115404582858h13/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zhang/09a,
AUTHOR = {Zhang, Li},
TITLE = {Proportional response dynamics in the Fisher market},
BOOKTITLE = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP'2009, Part II (Rhodes, Greece, July 5-12, 2009)},
SERIES = {LNCS},
VOLUME = {5556},
PAGES = {583-594},
YEAR = {2009},
EDITOR = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris and Thomas, Wolfgang},
URL = {http://springerlink.metapress.com/content/30145v5485244440/fulltext.pdf" title="Download PDF (211.1 KB)"><span>Download PDF (211.1 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-02929-5/#section=179449"> 		<li><a class="sprite pdf-resource-spritehttp://springerlink.metapress.com/content/978-3-642-02929-5/back-matter.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}