According to our database1, Philipp Hoffmann authored at least 5 papers between 2013 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Negotiation as concurrency primitive.
Acta Inf., 2019
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Reduction Rules for Colored Workflow Nets.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Solving Parity Games on the GPU.
Proceedings of the Automated Technology for Verification and Analysis, 2013