Xavier Urbain

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
Synchronous gathering without multiplicity detection: a certified algorithm Lecture Notes in Computer Science	2019-11-22	Paper
Synchronous gathering without multiplicity detection: a certified algorithm Theory of Computing Systems	2019-06-21	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
Automated certified proofs with CiME3	2012-04-24	Paper
Proving operational termination of membership equational programs Higher-Order and Symbolic Computation	2009-08-04	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
Usable Rules for Context-Sensitive Rewrite Systems Rewriting Techniques and Applications	2008-08-28	Paper
Modular and incremental proofs of AC-termination Journal of Symbolic Computation	2007-08-24	Paper
Mechanically proving termination using polynomial interpretations Journal of Automated Reasoning	2006-11-17	Paper
Modular and incremental automated termination proofs Journal of Automated Reasoning	2006-01-16	Paper
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML The Journal of Logic and Algebraic Programming	2004-10-14	Paper
scientific article; zbMATH DE number 1765695 (Why is no real title available?)	2002-07-10	Paper

Research outcomes over time

This page was built for person: Xavier Urbain