The ESA Ravenscar Benchmark. - Romain Berrendonner; Jérôme Guitton (Ada-Europe, 2005)

Hi-Lite - Verification by Contract. - Johannes Kanig; Jérôme Guitton; Yannick Moy (Softwaretechnik-Trends, 2011)

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. - Pierre Courtieu; Maria-Virginia Aponte; Tristan Crolard; Zhi Zhang; Robby; Jason Belt; John Hatcliff; Jérôme Guitton; Trevor Jennings (HILT, 2013)

An Introduction to the EcoTroph R Package: Analyzing Aquatic Ecosystem Trophic Networks. - Mathieu Colléter; Jérôme Guitton; Didier Gascuel (R J., 2013)

Atlas géomatique collaboratif pour l'environnement et la gestion durable des ressources halieutiques, en Afrique de l'ouest, cas de la Mauritanie : Elaboration d'un système d'information collaboratif. - Ely Beibou; Jérôme Guitton; Thérèse Libourel (INFORSID, 2014)

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. - Johannes Kanig; Roderick Chapman; Cyrille Comar; Jérôme Guitton; Yannick Moy; Emyr Rees (TAP@STAF, 2014)

Des indicateurs et des métadonnées pour les décrire : intégration au sein d'atlas géomatique en ligne. - Ely Beibou; Jérôme Guitton; Julien Barde; Thérèse Libourel (SAGEO, 2015)

SICP : système d'information collaboratif pour l'environnement et la gestion durable des pêches en Mauritanie. - Ely Beibou; Jérôme Guitton; Julien Barde (Ingénierie des Systèmes d Inf., 2015)

GPSMonitoring: A R package for small scale fisheries monitoring using GPS logger. - Jérôme Guitton; Soumah Mohamed (Softw. Impacts, 2023)