Piotrek Hofman
Piotrek Hofman
Verified email at mimuw.edu.pl - Homepage
TitleCited byYear
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
292016
Separability by short subsequences and subwords
P Hofman, W Martens
18th International Conference on Database Theory (ICDT 2015), 2015
212015
Decidability of branching bisimulation on normed commutative context-free processes
W Czerwiński, P Hofman, S Lasota
Theory of Computing Systems 55 (1), 136-169, 2014
192014
Coverability trees for Petri nets with unordered data
P Hofman, S Lasota, R Lazić, J Leroux, S Schmitz, P Totzke
International Conference on Foundations of Software Science and Computationá…, 2016
182016
Infinite-state energy games
PA Abdulla, MF Atig, P Hofman, R Mayr, KN Kumar, P Totzke
arXiv preprint arXiv:1405.0628, 2014
152014
Reachability problem for weak multi-pushdown automata
W Czerwiński, P Hofman, S Lasota
International Conference on Concurrency Theory, 53-68, 2012
152012
Decidability of weak simulation on one-counter nets
P Hofman, R Mayr, P Totzke
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 203-212, 2013
132013
Tightening the complexity of equivalence problems for commutative grammars
C Haase, P Hofman
arXiv preprint arXiv:1506.07774, 2015
112015
The complexity of regular abstractions of one-counter languages
MF Atig, D Chistikov, P Hofman, KN Kumar, P Saivasan, G Zetzsche
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computerá…, 2016
92016
Shortest paths in one-counter systems
D Chistikov, W Czerwiński, P Hofman, M Pilipczuk, M Wehar
International Conference on Foundations of Software Science and Computationá…, 2016
92016
Simulation over one-counter nets is PSPACE-complete
P Hofman, S Lasota, R Mayr, P Totzke
arXiv preprint arXiv:1310.6303, 2013
92013
Simulation Problems Over One-Counter Nets
P Totzke, R Mayr, S Lasota, P Hofman
Logical Methods in Computer Science 12, 2016
8*2016
Trace inclusion for one-counter nets revisited
P Hofman, P Totzke
International Workshop on Reachability Problems, 151-162, 2014
82014
Bounding average-energy games
P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann
International Conference on Foundations of Software Science and Computationá…, 2017
62017
Linear combinations of unordered data vectors
P Hofman, J Leroux, P Totzke
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
42017
Synthesizing transformations from XML schema mappings
C David, P Hofman, F Murlak, M Pilipczuk
42014
Linear equations with ordered data
P Hofman, S Lasota
arXiv preprint arXiv:1802.06660, 2018
32018
Active diagnosis with observable quiescence
S B÷hm, S Haar, S Haddad, P Hofman, S Schwoon
2015 54th IEEE Conference on Decision and Control (CDC), 1663-1668, 2015
32015
Approximating weak bisimilarity of basic parallel processes
P Hofman, P Totzke
arXiv preprint arXiv:1208.2751, 2012
32012
A few new facts about the EKG sequence
P Hofman, M Pilipczuk
Journal of Integer Sequences 11 (2), 3, 2008
32008
The system can't perform the operation now. Try again later.
Articles 1–20