Patrick Jayet

According to our database, Patrick Jayet authored at least 3 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Field Typing for Improved Recognition on Heterogeneous Handwritten Forms.

Ciprian Tomoiaga, Paul Feng, Mathieu Salzmann, Patrick Jayet

Proceedings of the 2019 International Conference on Document Analysis and Recognition, 2019

2007

Model Checking Software at Compile Time.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Goanna - A Static Model Checker.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the Formal Methods: Applications and Technology, 2006