Piotrek Hofman

Cited by

	All	Since 2019
Citations	415	216
h-index	13	9
i10-index	18	9

20092010201120122013201420152016201720182019202020212022202320241 2 6 11 8 33 19 33 34 30 35 34 30 26 46 45

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
Wojciech CzerwinskiUniversity of WarsawVerified email at mimuw.edu.pl
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Narayan KumarProfessor, Chennai Mathematical InstituteVerified email at cmi.ac.in
Michał PilipczukUniversity of WarsawVerified email at mimuw.edu.pl
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Georg ZetzscheMPI-SWS, GermanyVerified email at mpi-sws.org
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Sylvain SchmitzUniversité Paris CitéVerified email at irif.fr
Wim MartensUniversity of BayreuthVerified email at uni-bayreuth.de
Prakash SaivasanInstitute of Mathematical SciencesVerified email at imsc.res.in
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr

Piotrek Hofman

University of Warsaw

Verified email at mimuw.edu.pl - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Relating timed and register automata D Figueira, P Hofman, S Lasota Mathematical Structures in Computer Science 26 (6), 993-1021, 2016	38	2016
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	29	2016
Separability by short subsequences and subwords P Hofman, W Martens 18th International Conference on Database Theory (ICDT 2015), 2015	26	2015
Shortest paths in one-counter systems D Chistikov, W Czerwiński, P Hofman, M Pilipczuk, M Wehar Foundations of Software Science and Computation Structures: 19th …, 2016	24	2016
Infinite-state energy games PA Abdulla, MF Atig, P Hofman, R Mayr, KN Kumar, P Totzke Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	23	2014
Decidability of branching bisimulation on normed commutative context-free processes W Czerwiński, P Hofman, S Lasota International Conference on Concurrency Theory, 528-542, 2011	22	2011
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	17	2013
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	15	2016
Simulation problems over one-counter nets P Hofman, S Lasota, R Mayr, P Totzke Logical Methods in Computer Science 12, 2016	15	2016
Trace inclusion for one-counter nets revisited P Hofman, P Totzke Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	15	2014
Unboundedness problems for languages of vector addition systems W Czerwiński, P Hofman, G Zetzsche arXiv preprint arXiv:1802.06683, 2018	14	2018
Bounding average-energy games P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann Foundations of Software Science and Computation Structures: 20th …, 2017	14	2017
Tightening the complexity of equivalence problems for commutative grammars C Haase, P Hofman arXiv preprint arXiv:1506.07774, 2015	14	2015
A lower bound for the coverability problem in acyclic pushdown VAS M Englert, P Hofman, S Lasota, R Lazić, J Leroux, J Straszyński Information Processing Letters 167, 106079, 2021	12	2021
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	12	2017
Reachability problem for weak multi-pushdown automata W Czerwiński, P Hofman, S Lasota Logical Methods in Computer Science 9, 2013	12	2013
Linear equations with ordered data P Hofman, S Lasota arXiv preprint arXiv:1802.06660, 2018	11	2018
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	10	2015
On büchi one-counter automata S Böhm, S Göller, S Halfon, P Hofman 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017	9	2017
Language inclusion for boundedly-ambiguous vector addition systems is decidable W Czerwiński, P Hofman arXiv preprint arXiv:2202.08033, 2022	8	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors