| Reduction rules for colored workflow nets J Esparza, P Hoffmann Fundamental Approaches to Software Engineering: 19th International …, 2016 | 30 | 2016 |
| Meaningful availability T Hauer, P Hoffmann, J Lunney, D Ardelean, A Diwan 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 23 | 2020 |
| Solving parity games on the GPU P Hoffmann, M Luttenberger Automated Technology for Verification and Analysis: 11th International …, 2013 | 20 | 2013 |
| Polynomial analysis algorithms for free choice probabilistic workflow nets J Esparza, P Hoffmann, R Saha Performance Evaluation 117, 104-129, 2017 | 18 | 2017 |
| Negotiation as concurrency primitive J Desel, J Esparza, P Hoffmann Acta Informatica 56, 93-159, 2019 | 6 | 2019 |
| Workflow Nets: Reduction Rules and Games PE Hoffmann Universitätsbibliothek der TU München, 2017 | 4 | 2017 |
| Negotiation games P Hoffmann arXiv preprint arXiv:1509.07199, 2015 | 2 | 2015 |
| Negotiation Games P Hoffmann Sixth International Symposium on Games, Automata, Logics and Formal …, 2015 | 2 | 2015 |
| Negotiation games J Esparza, P Hoffmann CoRR, abs/1405.6820, 2014 | 1 | 2014 |
| Meaningful availability A Diwan, J Lunney, D Ardelean, PE Hoffmann, T Hauer | | 2020 |
| Workflow Nets PE Hoffmann Technische Universität München, 2017 | | 2017 |
| Negotiation Games (with abstract) J Esparza, P Hoffmann arXiv preprint arXiv:1405.6820, 2014 | | 2014 |
| Strategy Iteration on the Graphics Card P Hoffmann, M Luttenberger Bachelors thesis, 2012 | | 2012 |
