Publications

Journal: Leibniz International Proceedings in Informatics, LIPIcs

2021

• Alejandro Grez, Gabriele Puppis, Cristian Riveros, Filip Mazowiecki , Michał Pilipczuk , Dynamic Data Structures for Timed Automata Acceptance, Leibniz International Proceedings in Informatics, LIPIcs, 214 2021, p. 20:1--20:18. See in PBN

2020

• Maria Chudnovsky, Jason King, Michał Pilipczuk , Paweł Rzążewski, Sophie Spirkl, Finding Large H-Colorable Subgraphs in Hereditary Graph Classes, Leibniz International Proceedings in Informatics, LIPIcs, 28th Annual European Symposium on Algorithms, Pisa, Italy, 7 September 2020 - 9 September 2020. See in 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 July 2020 - 11 July 2020, 168 2020, p. 117:1--117:17. See in PBN
• Bartłomiej Bosek , Yann Disser, Andreas Emil, Jakub Pawlewicz , Anna Zych-Pawlewicz , Recoloring interval graphs with limited recourse budget, Leibniz International Proceedings in Informatics, LIPIcs, 17th Scandinavian Symposium and Workshops on Algorithm Theory, Torshavn, the Faroe Islands, 22 June 2020 - 24 June 2020. See in PBN
• Piotr Hofman , Wojciech Czerwiński , Diego Figueira, Universality Problem for Unambiguous VASS, Leibniz International Proceedings in Informatics, LIPIcs, 2020. See in PBN
• Adam Paszke, Michał Pilipczuk , VC Density of Set Systems Definable in Tree-Like Graphs, Leibniz International Proceedings in Informatics, LIPIcs, 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechia, 24 August 2020 - 28 August 2020, 170 2020, p. 78:1--78:13. See in PBN

2018

• Michael Blondin, Christoph Haase, Filip Mazowiecki , Affine Extensions of Integer Vector Addition Systems with States, Leibniz International Proceedings in Informatics, LIPIcs, 118 2018, p. 14:1--14:17. See in PBN
• Cristian Riveros, Filip Mazowiecki , Pumping Lemmas for Weighted Automata, Leibniz International Proceedings in Informatics, LIPIcs, 96 2018, p. 50:1--50:14. See in PBN
• Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Guillermo A., James Worrell, Filip Mazowiecki , When is Containment Decidable for Probabilistic Automata?, Leibniz International Proceedings in Informatics, LIPIcs, 107 2018, p. 121:1--121:14. See in PBN

2017

• Michał Aleksander Ciach, Paweł Górecki , Anna Muszewska, Detecting locus acquisition events in gene trees., Leibniz International Proceedings in Informatics, LIPIcs, 17th International Workshop on Algoritms in Bioinformatics WABI , Boston, the United States of America, 20 August 2017 - 22 August 2017, 88 (brak) 2017, p. brak. See in PBN
• Diego Figueira, Ranko Lazic, J{\'{e}}r{\^{o}}me Leroux, Gr{\'{e}}goire Sutre, Filip Mazowiecki , Polynomial-Space Completeness of Reachability for Succinct Branching {VASS} in Dimension One, Leibniz International Proceedings in Informatics, LIPIcs, 80 2017, p. 119:1--119:14. See in PBN