Xavier Urbain

Available identifiers

zbMath Open urbain.xavierMaRDI QIDQ483062

List of research outcomes

Publication	Date of Publication	Type
Synchronous gathering without multiplicity detection: a certified algorithm	2019-11-22	Paper
Synchronous gathering without multiplicity detection: a certified algorithm	2019-06-21	Paper
Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots	2018-08-16	Paper
Impossibility of gathering, a certification	2014-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5389068	2012-04-24	Paper
Proving operational termination of membership equational programs	2009-08-04	Paper
Certifying a Termination Criterion Based on Graphs, without Graphs	2008-12-04	Paper
Certification of Automated Termination Proofs	2008-09-16	Paper
Usable Rules for Context-Sensitive Rewrite Systems	2008-08-28	Paper
Modular and incremental proofs of AC-termination	2007-08-24	Paper
Mechanically proving termination using polynomial interpretations	2006-11-17	Paper
Modular and incremental automated termination proofs	2006-01-16	Paper
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML	2004-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4539636	2002-07-10	Paper

Research outcomes over time

This page was built for person: Xavier Urbain