Goanna - A Static Model Checker. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (FMICS/PDMC, 2006)

Model Checking Software at Compile Time. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (TASE, 2007)

Field Typing for Improved Recognition on Heterogeneous Handwritten Forms. - Ciprian Tomoiaga; Paul Feng; Mathieu Salzmann; Patrick Jayet (ICDAR, 2019)