Philipp Hoffmann

According to our database1, Philipp Hoffmann authored at least 5 papers between 2013 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Negotiation as concurrency primitive.
Acta Inf., 2019

2016
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

2015
Negotiation Games.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2013
Solving Parity Games on the GPU.
Proceedings of the Automated Technology for Verification and Analysis, 2013


  Loading...