Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip Reachability in fixed dimension vector addition systems with states. (English) Zbl 07559504 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020; Zbl 07559504) Full Text: DOI arXiv
Czerwiński, Wojciech; Figueira, Diego; Hofman, Piotr Universality problem for unambiguous VASS. (English) Zbl 07559492 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 36, 15 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 36, 15 p. (2020; Zbl 07559492) Full Text: DOI arXiv
Czerwiński, Wojciech; Lasota, Sławomir; Löding, Christof; Piórkowski, Radosław New pumping technique for 2-dimensional VASS. (English) Zbl 07561706 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 62, 14 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 62, 14 p. (2019; Zbl 07561706) Full Text: DOI arXiv
Czerwiński, Wojciech; Lasota, Sławomir Regular separability of one counter automata. (English) Zbl 1440.68154 Log. Methods Comput. Sci. 15, No. 2, Paper No. 20, 27 p. (2019). MSC: 68Q45 68Q17 68Q85 PDFBibTeX XMLCite \textit{W. Czerwiński} and \textit{S. Lasota}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 20, 27 p. (2019; Zbl 1440.68154) Full Text: arXiv
Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael Shortest paths in one-counter systems. (English) Zbl 1407.68249 Log. Methods Comput. Sci. 15, No. 1, Paper No. 19, 28 p. (2019). MSC: 68Q45 68R05 PDFBibTeX XMLCite \textit{D. Chistikov} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 19, 28 p. (2019; Zbl 1407.68249) Full Text: arXiv
Czerwiński, Wojciech; Lasota, Slawomir; Meyer, Roland; Muskalla, Sebastian; Narayan, Kumar K.; Saivasan, Prakash Regular separability of well-structured transition systems. (English) Zbl 1520.68092 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018; Zbl 1520.68092) Full Text: DOI arXiv
Czerwinski, Wojciech; Hofman, Piotr; Zetzsche, Georg Unboundedness problems for languages of vector addition systems. (English) Zbl 1499.68170 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 119, 15 p. (2018). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{W. Czerwinski} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 119, 15 p. (2018; Zbl 1499.68170) Full Text: DOI arXiv
Czerwiński, Wojciech; David, Claire; Losemann, Katja; Martens, Wim Deciding definability by deterministic regular expressions. (English) Zbl 1371.68146 J. Comput. Syst. Sci. 88, 75-89 (2017). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., J. Comput. Syst. Sci. 88, 75--89 (2017; Zbl 1371.68146) Full Text: DOI Link
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc A note on decidable separability by piecewise testable languages. (English) Zbl 1434.68242 Kosowski, Adrian (ed.) et al., Fundamentals of computation theory. 20th international symposium, FCT 2015, Gdańsk, Poland, August 17–19, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9210, 173-185 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., Lect. Notes Comput. Sci. 9210, 173--185 (2015; Zbl 1434.68242) Full Text: DOI
Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir Decidability of branching bisimulation on normed commutative context-free processes. (English) Zbl 1319.68147 Theory Comput. Syst. 55, No. 1, 136-169 (2014). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., Theory Comput. Syst. 55, No. 1, 136--169 (2014; Zbl 1319.68147) Full Text: DOI