@incollection{Bell-Brzozowski-Moreira-Reis/14,
AUTHOR = {Bell, Jason and Brzozowski, Janusz and Moreira, Nelma and Reis, Rog{\'e}rio},
TITLE = {Symmetric groups and quotient complexity of Boolean operations},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {1-12},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blondin-Finkel-McKenzie/14,
AUTHOR = {Blondin, Michael and Finkel, Alain and McKenzie, Pierre},
TITLE = {Handling infinitely branching WSTS},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {13-25},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bojanczyk/14,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Transducers with origin information},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {26-37},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bojanczyk/14a,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Weak MSO+U with path quantifiers over infinite trees},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {38-49},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bojanczyk-Gogacz-Michalewski-Skrzypczak/14,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Gogacz, Tomasz and Michalewski, Henryk and Skrzypczak, Micha{\l}},
TITLE = {On the decidability of MSO+U on infinite trees},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {50-61},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonsangue-Rot-Ancona-de_Boer-Rutten/14,
AUTHOR = {Bonsangue, Marcello and Rot, Jurriaan and Ancona, Davide and de Boer, Frank and Rutten, Jan},
TITLE = {A coalgebraic foundation for coinductive union types},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {62-73},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borello-Cervelle-Vanier/14,
AUTHOR = {Borello, Alex and Cervelle, Julien and Vanier, Pascal},
TITLE = {Turing degrees of limit sets of cellular automata},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {74-85},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bundala-Ouaknine/14,
AUTHOR = {Bundala, Daniel and Ouaknine, Jo{\"e}l},
TITLE = {On the complexity of temporal-logic path checking},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {86-97},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cerone-Gotsman-Yang/14,
AUTHOR = {Cerone, Andrea and Gotsman, Alexey and Yang, Hongseok},
TITLE = {Parameterised linearisability},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {98-109},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-Doyen/14,
AUTHOR = {Chatterjee, Krishnendu and Doyen, Laurent},
TITLE = {Games with a weak adversary},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {110-121},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-Ibsen-Jensen/14,
AUTHOR = {Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus},
TITLE = {The complexity of ergodic mean-payoff games},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {122-133},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chaturvedi/14,
AUTHOR = {Chaturvedi, Namit},
TITLE = {Toward a structure theory of regular infinitary trace languages},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {134-145},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chistikov-Majumdar/14,
AUTHOR = {Chistikov, Dmitry and Majumdar, Rupak},
TITLE = {Unary pushdown automata and straight-line programs},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {146-157},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Derevenetc-Meyer/14,
AUTHOR = {Derevenetc, Egor and Meyer, Roland},
TITLE = {Robustness against power is PSpace-complete},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {158-170},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Droste-Perevoshchikov/14,
AUTHOR = {Droste, Manfred and Perevoshchikov, Vitaly},
TITLE = {A Nivat theorem for weighted timed automata and weighted relative distance logic},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {171-182},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Emek-Seidel-Wattenhofer/14,
AUTHOR = {Emek, Yuval and Seidel, Jochen and Wattenhofer, Roger},
TITLE = {Computability in anonymous networks: Revocable vs. irrecovable outputs},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {183-195},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goncharov-Pattinson/14,
AUTHOR = {Goncharov, Sergey and Pattinson, Dirk},
TITLE = {Coalgebraic weak bisimulation from recursive equations over monads},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {196-207},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heunen/14,
AUTHOR = {Heunen, Chris},
TITLE = {Piecewise Boolean algebras and their domains},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {208-219},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jagadeesan-Riely/14,
AUTHOR = {Jagadeesan, Radha and Riely, James},
TITLE = {Between linearizability and quiescent consistency: Quantitative quiescent consistency},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {220-231},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jancar/14,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Bisimulation equivalence of first-order grammars},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {232-243},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jez/14a,
AUTHOR = {Je{\.z}, Artur},
TITLE = {Context unification is in PSPACE},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {244-255},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jung-Lutz-Goncharov-Schroder/14,
AUTHOR = {Jung, Jean Christoph and Lutz, Carsten and Goncharov, Sergey and Schr{\"o}der, Lutz},
TITLE = {Monodic fragments of probabilistic first-order logic},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {256-267},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kiefer-Wachter/14,
AUTHOR = {Kiefer, Stefan and Wachter, Bj{\"o}rn},
TITLE = {Stability and complexity of minimising probabilistic automata},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {268-279},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kozen-Mamouras/14,
AUTHOR = {Kozen, Dexter and Mamouras, Konstantinos},
TITLE = {Kleene algebra with equations},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {280-292},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gogacz-Marcinkowski/14,
AUTHOR = {Gogacz, Tomasz and Marcinkowski, Jerzy},
TITLE = {All-instances termination of chase is undecidable},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {293-304},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mazza/14,
AUTHOR = {Mazza, Damiano},
TITLE = {Non-uniform polytime computation in the infinitary affine lambda-calculus},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {305-317},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ouaknine-Worrell/14,
AUTHOR = {Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {On the positivity problem for simple linear recurrence sequences},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {318-329},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ouaknine-Worrell/14a,
AUTHOR = {Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {Ultimate positivity is decidable for simple linear recurrence sequences},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {330-341},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Place-Zeitoun/14,
AUTHOR = {Place, Thomas and Zeitoun, Marc},
TITLE = {Going higher in the first-order quantifier alternation hierarchy on words},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {342-353},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wehar/14,
AUTHOR = {Wehar, Michael},
TITLE = {Hardness results for intersection non-emptiness},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {354-362},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yin-Fu-He-Huang-Tao/14,
AUTHOR = {Yin, Qiang and Fu, Yuxi and He, Chaodong and Huang, Mingzhang and Tao, Xiuting},
TITLE = {Branching bisimilarity checking for PRS},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {363-374},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adjiashvili-Rotbart/14,
AUTHOR = {Adjiashvili, David and Rotbart, Noy},
TITLE = {Labeling schemes for bounded degree graphs},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {375-386},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aschner-Katz/14,
AUTHOR = {Aschner, Rom and Katz, Matthew J.},
TITLE = {Bounded-angle spanning tree: Modeling networks with angular constraints},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {387-398},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Avin-Borokhovich-Lotker-Peleg/14,
AUTHOR = {Avin, Chen and Borokhovich, Michael and Lotker, Zvi and Peleg, David},
TITLE = {Distributed computing on core-periphery networks: Axiom-based design},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {399-410},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalopin-Dieudonne-Labourel-Pelc/14,
AUTHOR = {Chalopin, J{\'e}r{\'e}mie and Dieudonn{\'e}, Yoann and Labourel, Arnaud and Pelc, Andrzej},
TITLE = {Fault-tolerant rendezvous in networks},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {411-422},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalopin-Jacob-Mihalak-Widmayer/14,
AUTHOR = {Chalopin, J{\'e}r{\'e}mie and Jacob, Riko and Mihal{\'a}k, Mat{\'u}{\v{s}} and Widmayer, Peter},
TITLE = {Data delivery by energy-constrained mobile agents on a line},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {423-434},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cooper-Elsasser-Radzik/14,
AUTHOR = {Cooper, Colin and Els{\"a}sser, Robert and Radzik, Tomasz},
TITLE = {The power of two choices in distributed voting},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {435-446},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dams-Hoefer-Kesselheim/14,
AUTHOR = {Dams, Johannes and Hoefer, Martin and Kesselheim, Thomas},
TITLE = {Jamming-resistant learning in wireless networks},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {447-458},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eisenstat-Mathieu-Schabanel/14,
AUTHOR = {Eisenstat, David and Mathieu, Claire and Schabanel, Nicolas},
TITLE = {Facility location in evolving metrics},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {459-470},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Emek-Langner-Uitto-Wattenhofer/14,
AUTHOR = {Emek, Yuval and Langner, Tobias and Uitto, Jara and Wattenhofer, Roger},
TITLE = {Solving the ANTS problem with asynchronous finite state machines},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {471-482},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ghaffari/14,
AUTHOR = {Ghaffari, Mohsen},
TITLE = {Near-optimal distributed approximation of minimum-weight connected dominating set},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {483-494},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Giakkoupis-Sauerwald-Stauffer/14,
AUTHOR = {Giakkoupis, George and Sauerwald, Thomas and Stauffer, Alexandre},
TITLE = {Randomized rumor spreading in dynamic graphs},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {495-507},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gobel-Hoefer-Kesselheim-Schleiden-Vocking/14,
AUTHOR = {G{\"o}bel, Oliver and Hoefer, Martin and Kesselheim, Thomas and Schleiden, Thomas and V{\"o}cking, Berthold},
TITLE = {Online independent set beyond the worst-case: Secretaries, prophets, and periods},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {508-519},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kantor-Kutten/14,
AUTHOR = {Kantor, Erez and Kutten, Shay},
TITLE = {Optimal competitiveness for symmetric rectilinear Steiner arborescence and related problems},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {520-531},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kopelowitz-Krauthgamer-Porat-Solomon/14,
AUTHOR = {Kopelowitz, Tsvi and Krauthgamer, Robert and Porat, Ely and Solomon, Shay},
TITLE = {Orienting fully dynamic graphs with worst-case time bounds},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {532-543},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kosowski-Pajak/14,
AUTHOR = {Kosowski, Adrian and Paj{\c{a}}k, Dominik},
TITLE = {Does adding more agents make a difference? A case study of cover time for the rotor-router},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {544-555},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ohrimenko-Goodrich-Tamassia-Upfal/14,
AUTHOR = {Ohrimenko, Olga and Goodrich, Michael T. and Tamassia, Roberto and Upfal, Eli},
TITLE = {The Melbourne shuffle: Improving oblivious storage in the cloud},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {556-567},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nikzad-Ravi/14,
AUTHOR = {Nikzad, Afshin and Ravi, R.},
TITLE = {Sending secrets swiftly: Approximation algorithms for generalized multicast problems},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {568-607},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Parter/14,
AUTHOR = {Parter, Merav},
TITLE = {Bypassing Erd{\H{o}}s' girth conjecture: Hybrid stretch and sourcewise spanners},
BOOKTITLE = {Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)},
SERIES = {LNCS},
VOLUME = {8573},
PAGES = {608-619},
YEAR = {2014},
EDITOR = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}