Publications

Conference: Foundations of Software Science and Computational Structures

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 March 2021 - 1 April 2021. See in 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 April 2019 - 11 April 2019. See in 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 April 2018 - 20 April 2018. See in 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 April 2017 - 29 April 2017. See in 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 April 2016 - 8 April 2016. See in PBN