Concepedia

Piotr Hofman

PH

5

Publications

88

Citations

5

H-Index

2013

Active since

Affiliations

University of Edinburgh(Current)

University of Warsaw

University of Bayreuth

University of Warwick

Piotr Hofman is an author at University of Edinburgh specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsBusinessSimulationGraph TheoryAutomated ReasoningFormal VerificationDiscrete MathematicsComputational Complexity

Publications per year

2013–2017

5

Publications

5

Separability by Short Subsequences and Subwords

Piotr Hofman, Wim Martens · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 24 citations · Full text

Computational Complexity Theory, Engineering, Computational Complexity +20

Simulation Problems Over One-Counter Nets

Piotr Hofman, Sławomir Lasota, Richard Mayr et al. · Logical Methods in Computer Science · 2016 · 21 citations · Full text

Mathematical Programming, Engineering, One-counter Nets +19

Decidability of Weak Simulation on One-Counter Nets

Piotr Hofman, Richard Mayr, Patrick Totzke · 2013 · 18 citations · Full text

Theory Of Computing, Petri Net, Trace Inclusion +14

Infinite-state energy games

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman et al. · 2014 · 15 citations

Combinatorial Game, Game Theory, Computational Game Theory +18

Linear combinations of unordered data vectors

Piotr Hofman, Jérôme Leroux, Patrick Totzke · 2017 · 10 citations · Full text

Mathematical Programming, Combinatorics On Word, Engineering +12

Rows per page

1–5 of 5