Powrót do listy instytutów
Publikacje
Konferencja: International Colloquium on Automata Languages and Programming
Liczba publikacji: 442023
- Pierre Ohlmann, Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk , Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023. Zobacz w PBN
- Jakub Gajarský , Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michał Pilipczuk , Wojciech Przybyszewski , Sebastian Siebertz, Marek Sokołowski , Szymon Toruńczyk , Flipper Games for Monadically Stable Graph Classes, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023. Zobacz w PBN
- Adam Karczmarz , Piotr Sankowski , Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023. Zobacz w PBN
- Szymon Toruńczyk , Jan Dreier, Nikolas Mahlmann, Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023, 261 2023. Zobacz w PBN
- Anders Aamand, Adam Karczmarz , Jakub Łącki, Nikos Parotsidis, Peter Rasmussen, Mikkel Thorup, Optimal Decremental Connectivity in Non-Sparse Graphs, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023, 261 2023, s. 6:1--6:17. Zobacz w PBN
- Hans Bodlaender, Carla Groenland, Michał Pilipczuk , Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023. Zobacz w PBN
- Michał Włodarczyk , Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023, 261 2023, s. 106:1-20. Zobacz w PBN
2022
- Michał Pilipczuk , Nicole Schirrmacher, Sebastian Siebertz, Szymon Toruńczyk , Alexandre Vigny, Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures, 49th International Colloquium on Automata, Languages and Programming, Paris, France, 4 lipca 2022 - 8 lipca 2022. Zobacz w PBN
- Konrad Majewski , Tomáš Masařík , Jana Masaříková , Karolina Okrasa, Marcin Pilipczuk , Paweł Rzążewski , Marek Sokołowski , Max weight independent set in graphs with no long claws: An analog of the Gyárfás' path argument, Leibniz International Proceedings in Informatics, LIPIcs, 49th International Colloquium on Automata, Languages and Programming, Paris, France, 4 lipca 2022 - 8 lipca 2022. Zobacz w PBN
- Jakub Gajarský , Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk , Twin-Width and Types, 49th International Colloquium on Automata, Languages and Programming, Paris, France, 4 lipca 2022 - 8 lipca 2022. Zobacz w PBN
- David Barozzini, Paweł Parys , Jan Wroblewski, Unboundedness for Recursion Schemes: A Simpler Type System, 49th International Colloquium on Automata, Languages and Programming, Paris, France, 4 lipca 2022 - 8 lipca 2022, 229 2022, s. 112:1--112:19. Zobacz w PBN
2021
- Lorenzo Clemente , Michał Skrzypczak , Deterministic and Game Separability for Regular Languages of Infinite Trees, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021, 198 2021, s. 126:1--126:15. Zobacz w PBN
- Adam Karczmarz , Fully Dynamic Algorithms for Minimum Weight Cycle and Related Problems, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021, 198 2021, s. 83:1--83:20. Zobacz w PBN
- Paweł Parys , Higher-Order Model Checking Step by Step, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021, 198 2021, s. 140:1--140:16. Zobacz w PBN
- Wojciech Czerwiński , Sławomir Lasota , Łukasz Orlikowski, Improved Lower Bounds for Reachability in Vector Addition Systems, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021. Zobacz w PBN
- Wojciech Czerwiński , Antoine Mottet, Karin Quaas, New Techniques for Universality in Unambiguous Register Automata, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021. Zobacz w PBN
2020
- Damian Niwiński , Marcin Przybyłko, Michał Skrzypczak , Computing Measures of Weak-MSO Definable Sets of Trees, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020, 168 2020, s. 136:1--136:18. Zobacz w PBN
- David Barozzini, Lorenzo Clemente , Thomas Colcombet, Paweł Parys , Cost Automata, Safe Schemes, and Downward Closures, 47th International Colloquium on Automata, Languages and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020, 168 2020, s. 109:1-109:18. Zobacz w PBN
- Michaël Cadilhac, Charles Paperman, Michał Pilipczuk , Géraud Sénizergues, Filip Mazowiecki, On Polynomial Recursive Sequences, Leibniz International Proceedings in Informatics, LIPIcs, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020, 168 2020, s. 117:1--117:17. Zobacz w PBN
- Michał Włodarczyk , Parameterized Inapproximability for Steiner Orientation by Gap Amplification, 47th International Colloquium on Automata, Languages and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
- Mikołaj Bojańczyk , Rafał Stefański , Single-Use Automata and Transducers for Infinite Alphabets, 47th International Colloquium on Automata, Languages and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
- Alex Brandts, Marcin Wrochna , Stanislav Zivny, The complexity of promise SAT on non-boolean domains, Leibniz International Proceedings in Informatics, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
- Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Timed Games and Deterministic Separability, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
2019
- Mikołaj Bojańczyk , Sandra Kiefer, Nathan Lhote, String-to-String Interpretations With Polynomial-Size Output, 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 8 lipca 2019 - 12 lipca 2019. Zobacz w PBN
2018
- Sławomir Lasota , Lorenzo Clemente , Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018. Zobacz w PBN
- Michał Pilipczuk , Sebastian Siebertz, Stephan Kreutzer, Jaroslav Nešetřil, Patrice Ossona de Mendez, Szymon Toruńczyk , Jakub Gajarský , First-Order Interpretations of Bounded Expansion Classes, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018. Zobacz w PBN
- Paweł Gawrychowski, Adam Karczmarz , Improved bounds for shortest paths in dense distance graphs, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018, s. 61:1-61:15. Zobacz w PBN
- Piotr Sankowski , NC Algorithms for Weighted Planar Perfect Matching and Related Problems, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018, s. 97:1-97:16. Zobacz w PBN
- Jarosław Byrka, Piotr Skowron , Krzysztof Sornat, Proportional approval voting, harmonic k-median, and negative association, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018, s. 26:1-26:14. Zobacz w PBN
- Michał Skrzypczak , Unambiguous Languages Exhaust the Index Hierarchy, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018. Zobacz w PBN
- Wojciech Czerwiński , Piotr Hofman , Georg Zetzsche, Unboundedness Problems for Languages of Vector Addition Systems, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July, 2018, s. 119:1--119:15. Zobacz w PBN
2017
- Marcin Bieńkowski, Jarosław Byrka, Marcin Mucha , Dynamic beats fixed : on phase-based algorithms for file migration, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Hugo Gimbert, Mikołaj Bojańczyk , Edon Kelmendi, Emptiness of Zero Automata Is Decidable, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Florian Barbero, Christophe Paul, Michał Pilipczuk , Exploring the Complexity of Layout Parameters in Tournaments and Semi-Complete Digraphs, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Archontia Giannopoulou, Michał Pilipczuk , Jean-florent Raymond, Dimitrios M. Thilikos, Marcin Wrochna , Linear Kernels for Edge Deletion Problems to Immersion-Closed Graph Classes, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michał Pilipczuk , Roman Rabinovich, Sebastian Siebertz, Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Marek Cygan , Marcin Mucha , Karol Węgrzycki, Michał Włodarczyk , On Problems Equivalent to (min, +)-Convolution, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Charles Paperman, Sławomir Lasota , Wojciech Czerwiński , Lorenzo Clemente , Regular Separability of Parikh Automata, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Marek Adamczyk, Fabrizio Grandoni, Stefano Leonardi, Michał Włodarczyk , When the Optimum is also Blind: a New Perspective on Universal Optimization, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
- Mikołaj Bojańczyk , Laure Daviaud, Bruno Guillon, Vincent Penelle, Which Classes of Origin Graphs Are Generated by Transducers, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 lipca 2017 - 14 lipca 2017. Zobacz w PBN
2015
- Mikołaj Bojańczyk , Filip Murlak , Adam Witkowski, Containment of Monadic Datalog Programs via Bounded Clique-Width, 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN
2012
- Sławomir Lasota , Mikołaj Bojańczyk , A machine-independent characterization of timed languages, Lecture Notes in Computer Science, International Colloquium on Automata, Languages and Programming, 2012. Zobacz w PBN
2006
- Filip Murlak , The Wadge Hierarchy of Deterministic Tree Languages, Lecture Notes in Computer Science, 33rd International Colloquium on Automata, Languages and Programming, Wenecja, Italy, 10 lipca 2006 - 14 lipca 2006. Zobacz w PBN
1996
- Bogdan Chlebus, Anna Gambin , Piotr Indyk, Shared-Memory Simulation on a FaultyMemory DMM, Lecture Notes in Computer Science, International Colloquium on Automata, Languages and Programming, 1996. Zobacz w PBN