Up a level |
Bouyer, Patricia, Hofman, Piotr, Markey, Nicolas, Randour, Mickael and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2017)
Bounding Average-Energy Games.
.
Hofman, Piotr, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2013)
Decidability of Weak Simulation on One-counter Nets.
In: 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 2013-6-25 - 2013-6-28, New Orleans, LA, USA.
Leroux, Jerome, Hofman, Piotr and Totzke, patrick ORCID: 0000-0001-5274-8190
(2017)
Linear combinations of unordered data vectors.
In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, 2017-6-20 - 2017-6-23, Reykjavik, Iceland.
Almagor, Shaull, Boker, Udi, Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2020)
Parametrized Universality Problems for One-Counter Nets.
.
Hofman, Piotr, Lasota, Slawomir, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016)
Simulation Problems Over One-Counter Nets.
Logical Methods in Computer Science, 12 (1).
p. 1.
Clemente, Lorenzo, Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019)
Timed Basic Parallel Processes.
In: CONCUR, 2019-8-26 - 2019-8-31, Amsterdam.
Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2018)
Trace inclusion for one-counter nets revisited.
Theoretical Computer Science, 735.
pp. 50-63.