Skip to content

Patrick Jayet

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2006–2019

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2019ICDARField Typing for Improved Recognition on Heterogeneous Handwritten Forms.Ciprian Tomoiaga, Paul Feng, Mathieu Salzmann, Patrick Jayet
2007TASEModel Checking Software at Compile Time.Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
2006FMICSGoanna - A Static Model Checker.Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch