Jérôme Guitton
Orcid: 0000-0002-6654-708X
According to our database1,
Jérôme Guitton
authored at least 9 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Softw. Impacts, September, 2023
2015
SICP : système d'information collaboratif pour l'environnement et la gestion durable des pêches en Mauritanie.
Ingénierie des Systèmes d Inf., 2015
Des indicateurs et des métadonnées pour les décrire : intégration au sein d'atlas géomatique en ligne.
Proceedings of the Actes de la 11ème conférence internationale annuelle Spatial Analysis and GEOmatics, 2015
2014
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.
Proceedings of the Tests and Proofs - 8th International Conference, 2014
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.
Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014
2013
An Introduction to the EcoTroph R Package: Analyzing Aquatic Ecosystem Trophic Networks.
R J., 2013
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
2011
2005