Piotr Hofman - RankMe

64 papers A* 8A 4B 11Journal 33Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable. Log. Methods Comput. Sci. Wojciech Czerwinski, Piotr Hofman
2025	J	`jnl`	Orbit-finite Linear Programming. J. ACM Arka Ghosh, Piotr Hofman, Slawomir Lasota
2025	J	`jnl`	Soundness of reset workflow nets. CoRR Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
2024	A*	`conf`	Soundness of reset workflow nets. LICS Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
2023	—	`conf`	Acyclic Petri and Workflow Nets with Resets. FSTTCS Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
2023	J	`jnl`	Acyclic Petri and Workflow Nets with Resets. CoRR Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
2023	—	`conf`	Fast Termination and Workflow Nets. CAV (1) Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
2023	A*	`conf`	Orbit-finite linear programming. LICS Arka Ghosh, Piotr Hofman, Slawomir Lasota
2023	J	`jnl`	Orbit-finite linear programming. CoRR Arka Ghosh, Piotr Hofman, Slawomir Lasota
2022	B	`conf`	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable. CONCUR Wojciech Czerwinski, Piotr Hofman
2022	J	`jnl`	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable. CoRR Wojciech Czerwinski, Piotr Hofman
2022	J	`jnl`	Linear equations for unordered data vectors in $[D]^k\to{}Z^d$. Log. Methods Comput. Sci. Piotr Hofman, Jakub Rózycki
2022	A*	`conf`	Solvability of orbit-finite systems of linear equations. LICS Arka Ghosh, Piotr Hofman, Slawomir Lasota
2022	J	`jnl`	Solvability of orbit-finite systems of linear equations. CoRR Arka Ghosh, Piotr Hofman, Slawomir Lasota
2021	J	`jnl`	A lower bound for the coverability problem in acyclic pushdown VAS. Inf. Process. Lett. Matthias Englert, Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Juliusz Straszynski
2021	J	`jnl`	Linear equations for unordered data vectors. CoRR Piotr Hofman, Jakub Rózycki
2021	A*	`conf`	Parikh's theorem for infinite alphabets. LICS Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
2021	J	`jnl`	Parikh's theorem for infinite alphabets. CoRR Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
2021	J	`jnl`	Preface. Fundam. Informaticae Michal Skrzypczak, Piotr Hofman
2020	B	`conf`	Parametrized Universality Problems for One-Counter Nets. CONCUR Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
2020	J	`jnl`	Parametrized Universality Problems for One-Counter Nets. CoRR Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
2020	B	`conf`	Universality Problem for Unambiguous VASS. CONCUR Wojciech Czerwinski, Diego Figueira, Piotr Hofman
2020	J	`jnl`	Universality Problem for Unambiguous VASS. CoRR Wojciech Czerwinski, Diego Figueira, Piotr Hofman
2019	B	`conf`	Continuous Reachability for Unordered Data Petri Nets is in PTime. FoSSaCS Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
2019	J	`jnl`	Continuous Reachability for Unordered Data Petri nets is in PTime. CoRR Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
2019	J	`jnl`	Shortest paths in one-counter systems. Log. Methods Comput. Sci. Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2019	B	`conf`	Timed Basic Parallel Processes. CONCUR Lorenzo Clemente, Piotr Hofman, Patrick Totzke
2019	J	`jnl`	Timed Basic Parallel Processes. CoRR Lorenzo Clemente, Piotr Hofman, Patrick Totzke
2018	B	`conf`	Linear Equations with Ordered Data. CONCUR Piotr Hofman, Slawomir Lasota
2018	J	`jnl`	Linear Equations with Ordered Data. CoRR Piotr Hofman, Slawomir Lasota
2018	J	`jnl`	Trace inclusion for one-counter nets revisited. Theor. Comput. Sci. Piotr Hofman, Patrick Totzke
2018	A*	`conf`	Unboundedness Problems for Languages of Vector Addition Systems. ICALP Wojciech Czerwinski, Piotr Hofman, Georg Zetzsche
2018	J	`jnl`	Unboundedness problems for languages of vector addition systems. CoRR Wojciech Czerwinski, Piotr Hofman, Georg Zetzsche
2017	B	`conf`	Bounding Average-Energy Games. FoSSaCS Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2017	A*	`conf`	Linear combinations of unordered data vectors. LICS Piotr Hofman, Jérôme Leroux, Patrick Totzke
2017	A	`conf`	On Büchi One-Counter Automata. STACS Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman
2016	J	`jnl`	Bounding Average-energy Games. CoRR Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2016	J	`jnl`	Complexity of regular abstractions of one-counter languages. CoRR Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016	B	`conf`	Coverability Trees for Petri Nets with Unordered Data. FoSSaCS Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
2016	J	`jnl`	Linear Combinations of Unordered Data Vectors. CoRR Piotr Hofman, Jérôme Leroux, Patrick Totzke
2016	J	`jnl`	Relating timed and register automata. Math. Struct. Comput. Sci. Diego Figueira, Piotr Hofman, Slawomir Lasota
2016	B	`conf`	Shortest Paths in One-Counter Systems. FoSSaCS Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2016	J	`jnl`	Simulation Problems Over One-Counter Nets. Log. Methods Comput. Sci. Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
2016	A*	`conf`	The complexity of regular abstractions of one-counter languages. LICS Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016	A	`conf`	Tightening the Complexity of Equivalence Problems for Commutative Grammars. STACS Christoph Haase, Piotr Hofman
2015	—	`conf`	Active diagnosis with observable quiescence. CDC Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
2015	A	`conf`	Separability by Short Subsequences and Subwords. ICDT Piotr Hofman, Wim Martens
2015	J	`jnl`	Shortest paths in one-counter systems. CoRR Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2015	J	`jnl`	Tightening the Complexity of Equivalence Problems for Commutative Grammars. CoRR Christoph Haase, Piotr Hofman
2014	J	`jnl`	Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. Theory Comput. Syst. Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota
2014	J	`jnl`	Infinite-State Energy Games. CoRR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014	—	`conf`	Infinite-state energy games. CSL-LICS Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014	A	`conf`	Synthesizing transformations from XML schema mappings. ICDT Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk
2014	—	`conf`	Trace Inclusion for One-Counter Nets Revisited. RP Piotr Hofman, Patrick Totzke
2014	J	`jnl`	Trace Inclusion for One-Counter Nets Revisited. CoRR Piotr Hofman, Patrick Totzke
2013	A*	`conf`	Decidability of Weak Simulation on One-Counter Nets. LICS Piotr Hofman, Richard Mayr, Patrick Totzke
2013	J	`jnl`	Decidability of Weak Simulation on One-counter Nets CoRR Piotr Hofman, Richard Mayr, Patrick Totzke
2013	J	`jnl`	Reachability Problem for Weak Multi-Pushdown Automata. Log. Methods Comput. Sci. Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota
2013	—	`conf`	Simulation Over One-counter Nets is PSPACE-Complete. FSTTCS Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
2013	J	`jnl`	Simulation Over One-counter Nets is PSPACE-Complete. CoRR Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
2012	—	`conf`	Approximating Weak Bisimilarity of Basic Parallel Processes EXPRESS/SOS Piotr Hofman, Patrick Totzke
2012	B	`conf`	Reachability Problem for Weak Multi-Pushdown Automata. CONCUR Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota
2011	B	`conf`	Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. CONCUR Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota
2010	—	`conf`	Relating timed and register automata EXPRESS Diego Figueira, Piotr Hofman, Slawomir Lasota