Pierre Courtieu

Available identifiers

zbMath Open courtieu.pierreMaRDI QIDQ483060

List of research outcomes

Publication	Date of Publication	Type
Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots	2018-08-16	Paper
Impossibility of gathering, a certification	2014-12-15	Paper
Maximal and Compositional Pattern-Based Loop Invariants	2012-11-08	Paper
Towards Provably Robust Watermarking	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q5389068	2012-04-24	Paper
Structural Analysis of Narratives with the Coq Proof Assistant	2011-08-17	Paper
Improved Matrix Interpretation	2010-01-28	Paper
Certifying a Termination Criterion Based on Graphs, without Graphs	2008-12-04	Paper
Certification of Automated Termination Proofs	2008-09-16	Paper
Tool-assisted specification and verification of typed low-level languages	2007-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4484330	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4783331	2002-12-04	Paper

Research outcomes over time

This page was built for person: Pierre Courtieu