Piotr Hofman

Identifiers

• name variant Piotr Hofman 0.60 · backfill

Papers (12)

1. Timed Basic Parallel Processes cs.FL · 2019 · author #2
2. Continuous Reachability for Unordered Data Petri nets is in PTime cs.FL · 2019 · author #4
3. Unboundedness problems for languages of vector addition systems cs.FL · 2018 · author #2
4. Linear Equations with Ordered Data cs.LO · 2018 · author #1
5. Bounding Average-energy Games cs.LO · 2016 · author #2
6. Linear Combinations of Unordered Data Vectors cs.LO · 2016 · author #1
7. Complexity of regular abstractions of one-counter languages cs.FL · 2016 · author #3
8. Tightening the Complexity of Equivalence Problems for Commutative Grammars cs.FL · 2015 · author #2
9. Infinite-State Energy Games cs.GT · 2014 · author #3
10. Trace Inclusion for One-Counter Nets Revisited cs.LO · 2014 · author #1
11. Simulation Over One-counter Nets is PSPACE-Complete cs.FL · 2013 · author #1
12. Decidability of Weak Simulation on One-counter Nets cs.FL · 2013 · author #1

Mentions

• 1310.6303 #1 · backfill · confidence 0.70 Piotr Hofman
• 1304.4104 #1 · backfill · confidence 0.70 Piotr Hofman

Frequent Coauthors

• Patrick Totzke 6 shared papers
• Richard Mayr 3 shared papers
• Georg Zetzsche 2 shared papers
• Mohamed Faouzi Atig 2 shared papers
• Christoph Haase 1 shared papers
• Dmitry Chistikov 1 shared papers
• J\'er\^ome Leroux 1 shared papers
• K Narayan Kumar 1 shared papers
• K. Narayan Kumar 1 shared papers
• Lorenzo Clemente 1 shared papers
• Martin Zimmermann 1 shared papers
• Mickael Randour 1 shared papers
• Nicolas Markey 1 shared papers
• Parosh Aziz Abdulla 1 shared papers
• Patricia Bouyer 1 shared papers
• Prakash Saivasan 1 shared papers
• Preey Shah 1 shared papers
• S. Akshay 1 shared papers
• S{\l}awomir Lasota 1 shared papers
• Slawomir Lasota 1 shared papers