Nie jesteś zalogowany | Zaloguj się

Wojciech Czerwiński

Liczba publikacji: 47

2023

Dmitry Chistikov, Wojciech Czerwiński , Piotr Hofman , Filip Mazowiecki, Henry Sinclair-Banks, Acyclic Petri and Workflow Nets with Resets, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 grudnia 2023 - 20 grudnia 2023. Zobacz w PBN
Wojciech Czerwiński , Maciej Dębski, Tomasz Gogacz , Gordon Ho, Sanjay Jain, Michał Skrzypczak , Frank Stephan, Christopher Tan, Languages Given by Finite Automata over the Unary Alphabet, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 grudnia 2023 - 20 grudnia 2023. Zobacz w PBN
Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Jérôme Leroux, Łukasz Orlikowski, New Lower Bounds for Reachability in Vector Addition Systems, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 grudnia 2023 - 20 grudnia 2023. Zobacz w PBN

2022

Wojciech Czerwiński , Involved VASS Zoo, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 września 2022 - 16 września 2022. Zobacz w PBN
Wojciech Czerwiński , Piotr Hofman , Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 września 2022 - 16 września 2022. Zobacz w PBN
Wojciech Czerwiński , Łukasz Orlikowski, Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
Wojciech Czerwiński , Łukasz Orlikowski, Reachability in Vector Addition Systems is Ackermann-complete, 62nd IEEE Annual Symposium on Foundations of Computer Science, Denver, the United States of America, 7 lutego 2022 - 10 lutego 2022. Zobacz w PBN
Wojciech Czerwiński , Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus Whiteland, The boundedness and zero isolation problems for weighted automata over nonnegative rationals, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN

2021

Jiehua Chen, Wojciech Czerwiński , Yann Disser, Andreas Emil Feldmann, Danny Hermelin, Wojciech Nadara , Marcin Pilipczuk , Michał Pilipczuk , Manuel Sorge, Bartłomiej Wróblewski, Anna Zych-Pawlewicz , Efficient fully dynamic elimination forests with applications to detecting long paths and cycles, the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2021), Alexandria, Virginia (Virtual Conference), the United States of America, 10 stycznia 2021 - 13 stycznia 2021. Zobacz w PBN
Wojciech Czerwiński , Wojciech Nadara , Marcin Pilipczuk , Improved Bounds for the Excluded-Minor Approximation of Treedepth, SIAM Journal on Discrete Mathematics, 35 (2) 2021, s. 934-947. 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
Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić, JÉrôme Leroux, Filip Mazowiecki, The Reachability Problem for Petri Nets Is Not Elementary, Journal of the ACM, 68 (1) 2021, s. 1-28. Zobacz w PBN

2020

Georg Zetzsche, Wojciech Czerwiński , An Approach to Regular Separability in Vector Addition Systems, 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
Wojciech Czerwiński , Sławomir Lasota , Ranko Lazic, Jerome Leroux, Filip Mazowiecki, Reachability in Fixed Dimension Vector Addition Systems with States, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 września 2020 - 4 września 2020. Zobacz w PBN
Wojciech Czerwiński , Piotr Hofman , Diego Figueira, Universality Problem for Unambiguous VASS, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 września 2020 - 4 września 2020. Zobacz w PBN
Piotr Hofman , Wojciech Czerwiński , Diego Figueira, Universality Problem for Unambiguous VASS, Leibniz International Proceedings in Informatics, LIPIcs, 2020. Zobacz w PBN

2019

Wojciech Czerwiński , Wojciech Nadara , Marcin Pilipczuk , Improved Bounds for the Excluded-Minor Approximation of Treedepth, 27th Annual European Symposium on Algorithms (ESA 2019), Monachium, Germany, 9 września 2019 - 13 września 2019, 144 2019, s. 34:1--34:13. Zobacz w PBN
Wojciech Czerwiński , Sławomir Lasota , Löding, Christof, Radosław Piórkowski, New Pumping Technique for 2-Dimensional VASS, Leibniz International Proceedings in Informatics, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, 26 sierpnia 2019 - 30 sierpnia 2019, 138 2019, s. 62:1--62:14. Zobacz w PBN
Wojciech Czerwiński , Sławomir Lasota , Regular Separability of One Counter Automata, Logical Methods in Computer Science, 15 (2) 2019, s. 20:1–20:27. Zobacz w PBN
Dmitry Chistikov, Wojciech Czerwiński , Piotr Hofman , Michał Pilipczuk , Michael Wehar, Shortest paths in one-counter systems, Logical Methods in Computer Science, 15 (1) 2019, s. 19:1–19:28. Zobacz w PBN
Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, The reachability problem for Petri nets is not elementary, 51st ACM Symposium on Theory of Computing, Phoenix, the United States of America, 23 czerwca 2019 - 26 czerwca 2019. Zobacz w PBN
Wojciech Czerwiński , Laure Daviaud, Nathanaël Fijalkow, Marcin Jurdziński, Ranko Lazić, Paweł Parys , Universal Trees Grow Inside Separating Automata: Quasi-Polynomial Lower Bounds for Parity Games, 30th ACM-SIAM Symposium on Discrete Algorithms, San Diego, the United States of America, 6 stycznia 2019 - 9 stycznia 2019. Zobacz w PBN

2018

Wojciech Czerwiński , Wim Martens, Matthias Niewerth, Paweł Parys , Minimization of Tree Patterns, Journal of the ACM, 65 (4) 2018, s. 26:1-26:46. Zobacz w PBN
Wojciech Czerwiński , Claire David, Filip Murlak , Paweł Parys , Reasoning About Integrity Constraints for Tree-Structured Data, Theory of Computing Systems, 62 (4) 2018, s. 941–976. Zobacz w PBN
Wojciech Czerwiński , K. Narayan Kumar, Sławomir Lasota , Roland Meyer, Sebastian Muskalla, Prakash Saivasan, Regular Separability of Well-Structured Transition Systems, 29th International Conference on Concurrency Theory, Beijing, China, 4 września 2018 - 7 września 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

Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. Zobacz w PBN
Wojciech Czerwiński , Claire David, Katja Losemann, Wim Martens, Deciding definability by deterministic regular expressions, Journal of Computer and System Sciences, 88 2017, s. 75-89. Zobacz w PBN
Wojciech Czerwiński , Wim Martens, Matthias Niewerth, Paweł Parys , Optimizing Tree Patterns for Querying Graph- and Tree-Structured Data, SIGMOD Record, 46 (1) 2017, s. 15–22. Zobacz w PBN
Wojciech Czerwiński , Sławomir Lasota , Regular separability of one counter automata, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 czerwca 2017 - 23 czerwca 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
Sławomir Lasota , Charles Paperman, Wojciech Czerwiński , Lorenzo Clemente , Separability of Reachability Sets of Vector Addition Systems, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 marca 2017 - 11 marca 2017. Zobacz w PBN

2016

Wojciech Czerwiński , Wim Martens, Matthias Niewerth, Paweł Parys , Minimization of Tree Pattern Queries, 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, San Francisco, the United States of America, 26 czerwca 2016 - 1 lipca 2016. Zobacz w PBN
Wojciech Czerwiński , Paweł Parys , Filip Murlak , Claire David, Reasoning About Integrity Constraints for Tree-Structured Data, 19th International Conference on Database Theory, Bordeaux, France, 15 marca 2016 - 18 marca 2016. Zobacz w PBN
Dmitry Chistikov, Wojciech Czerwiński , Piotr Hofman , Michał Pilipczuk , Michael Wehar, Shortest Paths in One-Counter Systems, 19th International Conference on Foundations of Software Science and Computation Structures, Eindhoven, the Netherlands, 2 kwietnia 2016 - 8 kwietnia 2016. Zobacz w PBN

2015

Wojciech Czerwiński , Wim Martens, Lorijn van Rooijen, Marc Zeitoun, A Note on Decidable Separability by Piecewise Testable Languages, 2015. Zobacz w PBN
Wojciech Czerwiński , Petr Jancar, Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME, 2015. Zobacz w PBN
Wojciech Czerwiński , Tomasz Gogacz, Eryk Kopczyński , Non-dominating Sequences of Vectors Using only Resets and Increments, Fundamenta Informaticae, 2015. Zobacz w PBN
Wojciech Czerwiński , Wim Martens, Paweł Parys , Marcin Przybyłko, The (Almost) Complete Guide to Tree Pattern Containment, 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015, Melbourne, Australia, 31 maja 2015 - 4 czerwca 2015. Zobacz w PBN

2014

Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Decidability of branching bisimulation on normed commutative context-free processes, Theory of Computing Systems, 2014. Zobacz w PBN

2013

Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Reachability problem for weak multi-pushdown automata, Logical Methods in Computer Science, 2013. Zobacz w PBN

2012

Wojciech Czerwiński , Sławomir Lasota , Partially-commutative context-free languages, Electronic Proceedings in Theoretical Computer Science, 2012. Zobacz w PBN
Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Reachability Problem for Weak Multi-Pushdown Automata, 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, the United Kingdom of Great Britain and Northern Ireland, 4 września 2012 - 7 września 2012. Zobacz w PBN