Publikacje

Konferencja: Foundations of Software Science and Computational Structures

2023

• Filip Mazowiecki , Henry Sinclair-Banks, Karol Węgrzycki, Coverability in 2-VASS with One Unary Counter is in NP, 26th International Conference on Foundations of Software Science and Computation Structures, Paryż, France, 22 kwietnia 2023 - 27 kwietnia 2023. Zobacz w PBN

2021

• Bartosz Klin , Sławomir Lasota , Szymon Toruńczyk , Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages, 24th International Conference on Foundations of Software Science and Computation Structures, Luksemburg, Luxembourg, 27 marca 2021 - 1 kwietnia 2021. Zobacz w PBN

2019

• Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman , Continuous Reachability for Unordered Data Petri Nets is in PTime, 22nd International Conference on Foundations of Software Science and Computation Structures, Prague, Czechia, 6 kwietnia 2019 - 11 kwietnia 2019. Zobacz w PBN

2018

• Sławomir Lasota , Radosław Piórkowski, WQO Dichotomy for 3-Graphs, 21st International Conference on Foundations of Software Science and Computation Structures, Thessaloniki, Greece, 14 kwietnia 2018 - 20 kwietnia 2018. Zobacz w PBN

2017

• Patricia Bouyer, Piotr Hofman , Nicolas Markey, Mickael Randour, Martin Zimmermann, Bounding Average-Energy Games, 20th International Conference on Foundations of Software Science and Computation Structures, Uppsala, Sweden, 22 kwietnia 2017 - 29 kwietnia 2017. Zobacz w PBN

2016

• 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