Edit Profile Hofman, Piotr Compute Distance To: Compute Author ID: hofman.piotr Published as: Hofman, Piotr External Links: ORCID Documents Indexed: 21 Publications since 2008 all top 5 Co-Authors 0 single-authored 8 Lasota, Sławomir 7 Totzke, Patrick 6 Czerwiński, Wojciech 4 Mayr, Richard M. 3 Chistikov, Dmitry V. 2 Atig, Mohamed Faouzi 2 Kumar, K. Narayan 2 Pilipczuk, Michał 2 Wehar, Michael 1 Abdulla, Parosh Aziz 1 Akshay, S. 1 Böhm, Stanislav 1 Bouyer, Patricia 1 Figueira, Diego 1 Göller, Stefan 1 Gupta, Utkarsh 1 Haase, Christoph 1 Halfon, Simon 1 Lazić, Ranko 1 Leroux, Jérôme 1 Markey, Nicolas 1 Martens, Wim 1 Pilipczuk, Marcin 1 Randour, Mickael 1 Saivasan, Prakash 1 Schmitz, Sylvain 1 Shah, Preey 1 Zetzsche, Georg 1 Zimmermann, Martín G. Serials 3 Logical Methods in Computer Science 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Journal of Integer Sequences Fields 20 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 16 Publications have been cited 44 times in 38 Documents Cited by ▼ Year ▼ Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154Haase, Christoph; Hofman, Piotr 6 2016 Coverability trees for Petri nets with unordered data. Zbl 06591835Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick 5 2016 Relating timed and register automata. Zbl 1362.68138Figueira, Diego; Hofman, Piotr; Lasota, Sławomir 4 2016 Simulation problems over one-counter nets. Zbl 1448.68342Hofman, Piotr; Lasota, Slawomir; Mayr, Richard; Totzke, Patrick 4 2016 Separability by short subsequences and subwords. Zbl 1365.68206Hofman, Piotr; Martens, Wim 4 2015 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Decidability of weak simulation on one-counter nets. Zbl 1366.68206Hofman, Piotr; Mayr, Richard; Totzke, Patrick 3 2013 The complexity of regular abstractions of one-counter languages. Zbl 1401.68142Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg 2 2016 Shortest paths in one-counter systems. Zbl 06591836Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael 2 2016 Trace inclusion for one-counter nets revisited. Zbl 1393.68117Hofman, Piotr; Totzke, Patrick 2 2014 Simulation over one-counter nets is PSPACE-complete. Zbl 1359.68223Hofman, Piotr; Lasota, Slawomir; Mayr, Richard; Totzke, Patrick 2 2013 Reachability problem for weak multi-pushdown automata. Zbl 1364.68247Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 2 2012 Decidability of branching bisimulation on normed commutative context-free processes. Zbl 1343.68164Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 2 2011 Infinite-state energy games. Zbl 1401.68139Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick 1 2014 Decidability of branching bisimulation on normed commutative context-free processes. Zbl 1319.68147Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 1 2014 Reachability problem for weak multi-pushdown automata. Zbl 1274.68156Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 1 2013 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154Haase, Christoph; Hofman, Piotr 6 2016 Coverability trees for Petri nets with unordered data. Zbl 06591835Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick 5 2016 Relating timed and register automata. Zbl 1362.68138Figueira, Diego; Hofman, Piotr; Lasota, Sławomir 4 2016 Simulation problems over one-counter nets. Zbl 1448.68342Hofman, Piotr; Lasota, Slawomir; Mayr, Richard; Totzke, Patrick 4 2016 The complexity of regular abstractions of one-counter languages. Zbl 1401.68142Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg 2 2016 Shortest paths in one-counter systems. Zbl 06591836Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael 2 2016 Separability by short subsequences and subwords. Zbl 1365.68206Hofman, Piotr; Martens, Wim 4 2015 Trace inclusion for one-counter nets revisited. Zbl 1393.68117Hofman, Piotr; Totzke, Patrick 2 2014 Infinite-state energy games. Zbl 1401.68139Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick 1 2014 Decidability of branching bisimulation on normed commutative context-free processes. Zbl 1319.68147Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 1 2014 Decidability of weak simulation on one-counter nets. Zbl 1366.68206Hofman, Piotr; Mayr, Richard; Totzke, Patrick 3 2013 Simulation over one-counter nets is PSPACE-complete. Zbl 1359.68223Hofman, Piotr; Lasota, Slawomir; Mayr, Richard; Totzke, Patrick 2 2013 Reachability problem for weak multi-pushdown automata. Zbl 1274.68156Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 1 2013 Reachability problem for weak multi-pushdown automata. Zbl 1364.68247Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 2 2012 Decidability of branching bisimulation on normed commutative context-free processes. Zbl 1343.68164Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 2 2011 all cited Publications top 5 cited Publications all top 5 Cited by 71 Authors 5 Hofman, Piotr 4 Czerwiński, Wojciech 4 Lasota, Sławomir 3 Chistikov, Dmitry V. 3 Masopust, Tomáš 2 Babari, Parvaneh 2 Blondin, Michael 2 Bollig, Benedikt 2 Droste, Manfred 2 Fernau, Henning 2 Finkel, Alain 2 Krebs, Andreas 2 Krishna, Shankara Narayanan 2 Perevoshchikov, Vitaly 2 Pilipczuk, Michał 2 Quaas, Karin 2 Sangnier, Arnaud 2 Schmitz, Sylvain 2 Thomazo, Michaël 2 Wehar, Michael 1 Akshay, S. 1 Atig, Mohamed Faouzi 1 Bhave, Devendra 1 Böhm, Stanislav 1 Bouyer, Patricia 1 Brunet, Paul 1 Dave, Vrunda 1 Dimitrova, Rayna 1 Dongol, Brijesh 1 Esmaeil Zadeh Soudjani, Sadegh 1 Fu, Yuxi 1 Gastin, Paul 1 Gavran, Ivan 1 Göller, Stefan 1 Goubault-Larrecq, Jean 1 Haase, Christoph 1 Hague, Matthew 1 Halfon, Simon 1 Hierons, Robert Mark 1 Huang, Mingzhang 1 Jančar, Petr 1 Jurdziński, Marcin 1 Karandikar, Prateek 1 Krötzsch, Markus 1 Kucera, Antonin 1 Lazić, Ranko 1 Lin, Anthony Widjaja 1 Majumdar, Rupak 1 Markey, Nicolas 1 Mayr, Richard M. 1 McKenzie, Pierre 1 Meyer, Roland 1 Muskalla, Sebastian 1 Niskanen, Reino 1 Padovani, Luca 1 Phawade, Ramchandra 1 Piórkowski, Radosław 1 Potapov, Igor 1 Pous, Damien 1 Prabhu, Vinayak S. 1 Randour, Mickael 1 Reichert, Julien 1 Rosa-Velardo, Fernando 1 Saivasan, Prakash 1 Schnoebelen, Philippe 1 Struth, Georg 1 Tan, Tony 1 Totzke, Patrick 1 Trivedi, Ashutosh 1 Yin, Qiang 1 Zimmermann, Martín G. all top 5 Cited in 9 Serials 7 Theoretical Computer Science 5 Information and Computation 5 Logical Methods in Computer Science 3 Journal of Computer and System Sciences 1 Theory of Computing Systems 1 ACM Transactions on Computational Logic 1 Algorithms 1 ACM Transactions on Computation Theory 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 37 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) Citations by Year