default search action
Search dblp for Publications
export results for "toc:db/conf/icalp/icalp2014-2.bht:"
@inproceedings{DBLP:conf/icalp/0002HKSV14, author = {Oliver G{\"{o}}bel and Martin Hoefer and Thomas Kesselheim and Thomas Schleiden and Berthold V{\"{o}}cking}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {508--519}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_43}, doi = {10.1007/978-3-662-43951-7\_43}, timestamp = {Fri, 26 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/0002HKSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AdjiashviliR14, author = {David Adjiashvili and Noy Rotbart}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Labeling Schemes for Bounded Degree Graphs}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {375--386}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_32}, doi = {10.1007/978-3-662-43951-7\_32}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AdjiashviliR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AschnerK14, author = {Rom Aschner and Matthew J. Katz}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {387--398}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_33}, doi = {10.1007/978-3-662-43951-7\_33}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AschnerK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AvinBLP14, author = {Chen Avin and Michael Borokhovich and Zvi Lotker and David Peleg}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Distributed Computing on Core-Periphery Networks: Axiom-Based Design}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {399--410}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_34}, doi = {10.1007/978-3-662-43951-7\_34}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AvinBLP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BellBMR14, author = {Jason P. Bell and Janusz A. Brzozowski and Nelma Moreira and Rog{\'{e}}rio Reis}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Symmetric Groups and Quotient Complexity of Boolean Operations}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {1--12}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_1}, doi = {10.1007/978-3-662-43951-7\_1}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BellBMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlondinFM14, author = {Michael Blondin and Alain Finkel and Pierre McKenzie}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Handling Infinitely Branching {WSTS}}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {13--25}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_2}, doi = {10.1007/978-3-662-43951-7\_2}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BlondinFM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Bojanczyk14, author = {Mikolaj Bojanczyk}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Transducers with Origin Information}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {26--37}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_3}, doi = {10.1007/978-3-662-43951-7\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Bojanczyk14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Bojanczyk14a, author = {Mikolaj Bojanczyk}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Weak {MSO+U} with Path Quantifiers over Infinite Trees}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {38--49}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_4}, doi = {10.1007/978-3-662-43951-7\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Bojanczyk14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BojanczykGMS14, author = {Mikolaj Bojanczyk and Tomasz Gogacz and Henryk Michalewski and Michal Skrzypczak}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {On the Decidability of {MSO+U} on Infinite Trees}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {50--61}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_5}, doi = {10.1007/978-3-662-43951-7\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BojanczykGMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BonsangueRABR14, author = {Marcello M. Bonsangue and Jurriaan Rot and Davide Ancona and Frank S. de Boer and Jan J. M. M. Rutten}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {A Coalgebraic Foundation for Coinductive Union Types}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {62--73}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_6}, doi = {10.1007/978-3-662-43951-7\_6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BonsangueRABR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BorelloCV14, author = {Alex Borello and Julien Cervelle and Pascal Vanier}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Turing Degrees of Limit Sets of Cellular Automata}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {74--85}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_7}, doi = {10.1007/978-3-662-43951-7\_7}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BorelloCV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BundalaO14, author = {Daniel Bundala and Jo{\"{e}}l Ouaknine}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {On the Complexity of Temporal-Logic Path Checking}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {86--97}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_8}, doi = {10.1007/978-3-662-43951-7\_8}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BundalaO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CeroneGY14, author = {Andrea Cerone and Alexey Gotsman and Hongseok Yang}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Parameterised Linearisability}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {98--109}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_9}, doi = {10.1007/978-3-662-43951-7\_9}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/CeroneGY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChalopinDLP14, author = {J{\'{e}}r{\'{e}}mie Chalopin and Yoann Dieudonn{\'{e}} and Arnaud Labourel and Andrzej Pelc}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Fault-Tolerant Rendezvous in Networks}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {411--422}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_35}, doi = {10.1007/978-3-662-43951-7\_35}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChalopinDLP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChalopinJMW14, author = {J{\'{e}}r{\'{e}}mie Chalopin and Riko Jacob and Mat{\'{u}}s Mihal{\'{a}}k and Peter Widmayer}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Data Delivery by Energy-Constrained Mobile Agents on a Line}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {423--434}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_36}, doi = {10.1007/978-3-662-43951-7\_36}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChalopinJMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Chatterjee014, author = {Krishnendu Chatterjee and Laurent Doyen}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Games with a Weak Adversary}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {110--121}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_10}, doi = {10.1007/978-3-662-43951-7\_10}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Chatterjee014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChatterjeeI14, author = {Krishnendu Chatterjee and Rasmus Ibsen{-}Jensen}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {The Complexity of Ergodic Mean-payoff Games}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {122--133}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_11}, doi = {10.1007/978-3-662-43951-7\_11}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/ChatterjeeI14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Chaturvedi14, author = {Namit Chaturvedi}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Toward a Structure Theory of Regular Infinitary Trace Languages}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {134--145}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_12}, doi = {10.1007/978-3-662-43951-7\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Chaturvedi14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChistikovM14, author = {Dmitry Chistikov and Rupak Majumdar}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Unary Pushdown Automata and Straight-Line Programs}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {146--157}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_13}, doi = {10.1007/978-3-662-43951-7\_13}, timestamp = {Sat, 26 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/ChistikovM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CooperER14, author = {Colin Cooper and Robert Els{\"{a}}sser and Tomasz Radzik}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {The Power of Two Choices in Distributed Voting}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {435--446}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_37}, doi = {10.1007/978-3-662-43951-7\_37}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CooperER14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DamsHK14, author = {Johannes Dams and Martin Hoefer and Thomas Kesselheim}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Jamming-Resistant Learning in Wireless Networks}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {447--458}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_38}, doi = {10.1007/978-3-662-43951-7\_38}, timestamp = {Fri, 26 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/DamsHK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DerevenetcM14, author = {Egor Derevenetc and Roland Meyer}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Robustness against Power is PSpace-complete}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {158--170}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_14}, doi = {10.1007/978-3-662-43951-7\_14}, timestamp = {Mon, 02 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DerevenetcM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DrosteP14, author = {Manfred Droste and Vitaly Perevoshchikov}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {171--182}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_15}, doi = {10.1007/978-3-662-43951-7\_15}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DrosteP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EisenstatMS14, author = {David Eisenstat and Claire Mathieu and Nicolas Schabanel}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Facility Location in Evolving Metrics}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {459--470}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_39}, doi = {10.1007/978-3-662-43951-7\_39}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EisenstatMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EmekLUW14, author = {Yuval Emek and Tobias Langner and Jara Uitto and Roger Wattenhofer}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Solving the {ANTS} Problem with Asynchronous Finite State Machines}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {471--482}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_40}, doi = {10.1007/978-3-662-43951-7\_40}, timestamp = {Wed, 28 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EmekLUW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EmekSW14, author = {Yuval Emek and Jochen Seidel and Roger Wattenhofer}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {183--195}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_16}, doi = {10.1007/978-3-662-43951-7\_16}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EmekSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Ghaffari14, author = {Mohsen Ghaffari}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {483--494}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_41}, doi = {10.1007/978-3-662-43951-7\_41}, timestamp = {Mon, 23 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Ghaffari14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GiakkoupisSS14, author = {George Giakkoupis and Thomas Sauerwald and Alexandre Stauffer}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Randomized Rumor Spreading in Dynamic Graphs}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {495--507}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_42}, doi = {10.1007/978-3-662-43951-7\_42}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GiakkoupisSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GogaczM14, author = {Tomasz Gogacz and Jerzy Marcinkowski}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {All-Instances Termination of Chase is Undecidable}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {293--304}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_25}, doi = {10.1007/978-3-662-43951-7\_25}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GogaczM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GoncharovP14, author = {Sergey Goncharov and Dirk Pattinson}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Coalgebraic Weak Bisimulation from Recursive Equations over Monads}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {196--207}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_17}, doi = {10.1007/978-3-662-43951-7\_17}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GoncharovP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Heunen14, author = {Chris Heunen}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Piecewise Boolean Algebras and Their Domains}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {208--219}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_18}, doi = {10.1007/978-3-662-43951-7\_18}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Heunen14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JagadeesanR14, author = {Radha Jagadeesan and James Riely}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {220--231}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_19}, doi = {10.1007/978-3-662-43951-7\_19}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JagadeesanR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Jancar14, author = {Petr Jancar}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Bisimulation Equivalence of First-Order Grammars}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {232--243}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_20}, doi = {10.1007/978-3-662-43951-7\_20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Jancar14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Jez14, author = {Artur Jez}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Context Unification is in {PSPACE}}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {244--255}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_21}, doi = {10.1007/978-3-662-43951-7\_21}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Jez14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JungLGS14, author = {Jean Christoph Jung and Carsten Lutz and Sergey Goncharov and Lutz Schr{\"{o}}der}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Monodic Fragments of Probabilistic First-Order Logic}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {256--267}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_22}, doi = {10.1007/978-3-662-43951-7\_22}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JungLGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KantorK14, author = {Erez Kantor and Shay Kutten}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {520--531}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_44}, doi = {10.1007/978-3-662-43951-7\_44}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KantorK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KieferW14, author = {Stefan Kiefer and Bj{\"{o}}rn Wachter}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Stability and Complexity of Minimising Probabilistic Automata}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {268--279}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_23}, doi = {10.1007/978-3-662-43951-7\_23}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KieferW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KopelowitzKPS14, author = {Tsvi Kopelowitz and Robert Krauthgamer and Ely Porat and Shay Solomon}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Orienting Fully Dynamic Graphs with Worst-Case Time Bounds}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {532--543}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_45}, doi = {10.1007/978-3-662-43951-7\_45}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KopelowitzKPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KosowskiP14, author = {Adrian Kosowski and Dominik Pajak}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Does Adding More Agents Make a Difference? {A} Case Study of Cover Time for the Rotor-Router}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {544--555}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_46}, doi = {10.1007/978-3-662-43951-7\_46}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/KosowskiP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KozenM14, author = {Dexter Kozen and Konstantinos Mamouras}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Kleene Algebra with Equations}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {280--292}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_24}, doi = {10.1007/978-3-662-43951-7\_24}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KozenM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Mazza14, author = {Damiano Mazza}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {305--317}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_26}, doi = {10.1007/978-3-662-43951-7\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Mazza14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/NikzadR14, author = {Afshin Nikzad and R. Ravi}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {568--607}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_48}, doi = {10.1007/978-3-662-43951-7\_48}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/NikzadR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OhrimenkoGTU14, author = {Olga Ohrimenko and Michael T. Goodrich and Roberto Tamassia and Eli Upfal}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {The Melbourne Shuffle: Improving Oblivious Storage in the Cloud}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {556--567}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_47}, doi = {10.1007/978-3-662-43951-7\_47}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OhrimenkoGTU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OuaknineW14, author = {Jo{\"{e}}l Ouaknine and James Worrell}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {On the Positivity Problem for Simple Linear Recurrence Sequences,}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {318--329}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_27}, doi = {10.1007/978-3-662-43951-7\_27}, timestamp = {Thu, 14 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OuaknineW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OuaknineW14a, author = {Jo{\"{e}}l Ouaknine and James Worrell}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {330--341}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_28}, doi = {10.1007/978-3-662-43951-7\_28}, timestamp = {Thu, 14 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OuaknineW14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Parter14, author = {Merav Parter}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Bypassing Erd{\H{o}}s' Girth Conjecture: Hybrid Stretch and Sourcewise Spanners}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {608--619}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_49}, doi = {10.1007/978-3-662-43951-7\_49}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Parter14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/PlaceZ14, author = {Thomas Place and Marc Zeitoun}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Going Higher in the First-Order Quantifier Alternation Hierarchy on Words}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {342--353}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_29}, doi = {10.1007/978-3-662-43951-7\_29}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/PlaceZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Wehar14, author = {Michael Wehar}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Hardness Results for Intersection Non-Emptiness}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {354--362}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_30}, doi = {10.1007/978-3-662-43951-7\_30}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Wehar14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/YinFHHT14, author = {Qiang Yin and Yuxi Fu and Chaodong He and Mingzhang Huang and Xiuting Tao}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Branching Bisimilarity Checking for {PRS}}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {363--374}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_31}, doi = {10.1007/978-3-662-43951-7\_31}, timestamp = {Mon, 23 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/YinFHHT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2014-2, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7}, doi = {10.1007/978-3-662-43951-7}, isbn = {978-3-662-43950-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/2014-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.