According to our database1, Jonathan Bogdoll authored at least 5 papers between 2008 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008