Published in: LIPIcs, Volume 281, 37th International Symposium on Distributed Computing (DISC 2023)
Avery Miller and Andrzej Pelc. Fast Deterministic Rendezvous in Labeled Lines. In 37th International Symposium on Distributed Computing (DISC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 281, pp. 29:1-29:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{miller_et_al:LIPIcs.DISC.2023.29, author = {Miller, Avery and Pelc, Andrzej}, title = {{Fast Deterministic Rendezvous in Labeled Lines}}, booktitle = {37th International Symposium on Distributed Computing (DISC 2023)}, pages = {29:1--29:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-301-0}, ISSN = {1868-8969}, year = {2023}, volume = {281}, editor = {Oshman, Rotem}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2023.29}, URN = {urn:nbn:de:0030-drops-191550}, doi = {10.4230/LIPIcs.DISC.2023.29}, annote = {Keywords: rendezvous, deterministic algorithm, mobile agent, labeled line, graph colouring} }
Published in: LIPIcs, Volume 246, 36th International Symposium on Distributed Computing (DISC 2022)
Subhash Bhagat and Andrzej Pelc. How to Meet at a Node of Any Connected Graph. In 36th International Symposium on Distributed Computing (DISC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 246, pp. 11:1-11:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{bhagat_et_al:LIPIcs.DISC.2022.11, author = {Bhagat, Subhash and Pelc, Andrzej}, title = {{How to Meet at a Node of Any Connected Graph}}, booktitle = {36th International Symposium on Distributed Computing (DISC 2022)}, pages = {11:1--11:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-255-6}, ISSN = {1868-8969}, year = {2022}, volume = {246}, editor = {Scheideler, Christian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.11}, URN = {urn:nbn:de:0030-drops-172024}, doi = {10.4230/LIPIcs.DISC.2022.11}, annote = {Keywords: Algorithm, graph, rendezvous, mobile agent, terrain} }
Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)
Adam Gańczorz, Tomasz Jurdziński, Mateusz Lewko, and Andrzej Pelc. Deterministic Size Discovery and Topology Recognition in Radio Networks with Short Labels. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 22:1-22:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{ganczorz_et_al:LIPIcs.DISC.2021.22, author = {Ga\'{n}czorz, Adam and Jurdzi\'{n}ski, Tomasz and Lewko, Mateusz and Pelc, Andrzej}, title = {{Deterministic Size Discovery and Topology Recognition in Radio Networks with Short Labels}}, booktitle = {35th International Symposium on Distributed Computing (DISC 2021)}, pages = {22:1--22:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-210-5}, ISSN = {1868-8969}, year = {2021}, volume = {209}, editor = {Gilbert, Seth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.22}, URN = {urn:nbn:de:0030-drops-148242}, doi = {10.4230/LIPIcs.DISC.2021.22}, annote = {Keywords: size discovery, topology recognition, radio network, labeling scheme} }
Published in: LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Sébastien Bouchard, Yoann Dieudonné, Arnaud Labourel, and Andrzej Pelc. Almost-Optimal Deterministic Treasure Hunt in Arbitrary Graphs. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 198, pp. 36:1-36:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{bouchard_et_al:LIPIcs.ICALP.2021.36, author = {Bouchard, S\'{e}bastien and Dieudonn\'{e}, Yoann and Labourel, Arnaud and Pelc, Andrzej}, title = {{Almost-Optimal Deterministic Treasure Hunt in Arbitrary Graphs}}, booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)}, pages = {36:1--36:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-195-5}, ISSN = {1868-8969}, year = {2021}, volume = {198}, editor = {Bansal, Nikhil and Merelli, Emanuela and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.36}, URN = {urn:nbn:de:0030-drops-141051}, doi = {10.4230/LIPIcs.ICALP.2021.36}, annote = {Keywords: treasure hunt, graph, mobile agent} }
Published in: LIPIcs, Volume 144, 27th Annual European Symposium on Algorithms (ESA 2019)
Jurek Czyzowicz, Dariusz Dereniowski, and Andrzej Pelc. Building a Nest by an Automaton. In 27th Annual European Symposium on Algorithms (ESA 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 144, pp. 35:1-35:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
@InProceedings{czyzowicz_et_al:LIPIcs.ESA.2019.35, author = {Czyzowicz, Jurek and Dereniowski, Dariusz and Pelc, Andrzej}, title = {{Building a Nest by an Automaton}}, booktitle = {27th Annual European Symposium on Algorithms (ESA 2019)}, pages = {35:1--35:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-124-5}, ISSN = {1868-8969}, year = {2019}, volume = {144}, editor = {Bender, Michael A. and Svensson, Ola and Herman, Grzegorz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019.35}, URN = {urn:nbn:de:0030-drops-111564}, doi = {10.4230/LIPIcs.ESA.2019.35}, annote = {Keywords: finite automaton, plane, grid, construction task, brick, mobile agent, robot} }
Published in: LIPIcs, Volume 123, 29th International Symposium on Algorithms and Computation (ISAAC 2018)
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, and Franck Petit. Deterministic Treasure Hunt in the Plane with Angular Hints. In 29th International Symposium on Algorithms and Computation (ISAAC 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 123, pp. 48:1-48:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{bouchard_et_al:LIPIcs.ISAAC.2018.48, author = {Bouchard, S\'{e}bastien and Dieudonn\'{e}, Yoann and Pelc, Andrzej and Petit, Franck}, title = {{Deterministic Treasure Hunt in the Plane with Angular Hints}}, booktitle = {29th International Symposium on Algorithms and Computation (ISAAC 2018)}, pages = {48:1--48:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-094-1}, ISSN = {1868-8969}, year = {2018}, volume = {123}, editor = {Hsu, Wen-Lian and Lee, Der-Tsai and Liao, Chung-Shou}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2018.48}, URN = {urn:nbn:de:0030-drops-99964}, doi = {10.4230/LIPIcs.ISAAC.2018.48}, annote = {Keywords: treasure hunt, deterministic algorithm, mobile agent, hint, plane} }
Published in: LIPIcs, Volume 80, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
Barun Gorain and Andrzej Pelc. Deterministic Graph Exploration with Advice. In 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 80, pp. 132:1-132:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@InProceedings{gorain_et_al:LIPIcs.ICALP.2017.132, author = {Gorain, Barun and Pelc, Andrzej}, title = {{Deterministic Graph Exploration with Advice}}, booktitle = {44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)}, pages = {132:1--132:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-041-5}, ISSN = {1868-8969}, year = {2017}, volume = {80}, editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.132}, URN = {urn:nbn:de:0030-drops-73701}, doi = {10.4230/LIPIcs.ICALP.2017.132}, annote = {Keywords: algorithm, graph, exploration, mobile agent, advice} }
Published in: LIPIcs, Volume 45, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)
Till Fluschnik, Stefan Kratsch, Rolf Niedermeier, and Manuel Sorge. The Parameterized Complexity of the Minimum Shared Edges Problem. In 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 45, pp. 448-462, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{fluschnik_et_al:LIPIcs.FSTTCS.2015.448, author = {Fluschnik, Till and Kratsch, Stefan and Niedermeier, Rolf and Sorge, Manuel}, title = {{The Parameterized Complexity of the Minimum Shared Edges Problem}}, booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)}, pages = {448--462}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-97-2}, ISSN = {1868-8969}, year = {2015}, volume = {45}, editor = {Harsha, Prahladh and Ramalingam, G.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2015.448}, URN = {urn:nbn:de:0030-drops-56323}, doi = {10.4230/LIPIcs.FSTTCS.2015.448}, annote = {Keywords: Parameterized complexity, kernelization, treewidth, treewidth reduction} }
Published in: LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015)
Cezara Dragoi, Thomas A. Henzinger, and Damien Zufferey. The Need for Language Support for Fault-Tolerant Distributed Systems. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 90-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{dragoi_et_al:LIPIcs.SNAPL.2015.90, author = {Dragoi, Cezara and Henzinger, Thomas A. and Zufferey, Damien}, title = {{The Need for Language Support for Fault-Tolerant Distributed Systems}}, booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)}, pages = {90--102}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-80-4}, ISSN = {1868-8969}, year = {2015}, volume = {32}, editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.90}, URN = {urn:nbn:de:0030-drops-50192}, doi = {10.4230/LIPIcs.SNAPL.2015.90}, annote = {Keywords: Programming language, Fault-tolerant distributed algorithms, Automated verification} }
Feedback for Dagstuhl Publishing