According to our database1, Jan-David Quesel authored at least 12 papers between 2006 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2016
Proceedings of the Automated Deduction - CADE-25, 2015
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.
Proceedings of the FM 2014: Formal Methods, 2014
Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems.
PhD thesis, 2013
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
Int. J. Softw. Informatics, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proceedings of the Theoretical Aspects of Computing, 2006