Pierre Courtieu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deterministic color-optimal self-stabilizing semi-synchronous gathering: two certified algorithms Theoretical Computer Science	2026-06-26	Paper
Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots (available as arXiv preprint)	2018-08-16	Paper
Impossibility of gathering, a certification Information Processing Letters	2014-12-15	Paper
Maximal and compositional pattern-based loop invariants FM 2012: Formal Methods	2012-11-08	Paper
Towards provably robust watermarking Interactive Theorem Proving	2012-09-20	Paper
Automated certified proofs with CiME3	2012-04-24	Paper
Structural analysis of narratives with the Coq proof assistant Interactive Theorem Proving	2011-08-17	Paper
Improved matrix interpretation SOFSEM 2010: Theory and Practice of Computer Science	2010-01-28	Paper
Certifying a Termination Criterion Based on Graphs, without Graphs Lecture Notes in Computer Science	2008-12-04	Paper
Certification of Automated Termination Proofs Frontiers of Combining Systems	2008-09-16	Paper
Tool-assisted specification and verification of typed low-level languages Journal of Automated Reasoning	2007-01-30	Paper
scientific article; zbMATH DE number 1927413 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1841843 (Why is no real title available?)	2002-12-04	Paper

Research outcomes over time

This page was built for person: Pierre Courtieu