| 2007 |
|---|
| 8 | EE | Evelyne Contejean,
Pierre Courtieu,
Julien Forest,
Olivier Pons,
Xavier Urbain:
Certification of Automated Termination Proofs.
FroCos 2007: 148-162 |
| 2005 |
|---|
| 7 | EE | Evelyne Contejean,
Claude Marché,
Ana Paula Tomás,
Xavier Urbain:
Mechanically Proving Termination Using Polynomial Interpretations.
J. Autom. Reasoning 34(4): 325-363 (2005) |
| 2004 |
|---|
| 6 | EE | Francisco Durán,
Salvador Lucas,
José Meseguer,
Claude Marché,
Xavier Urbain:
Proving termination of membership equational programs.
PEPM 2004: 147-158 |
| 5 | | Xavier Urbain:
Modular & Incremental Automated Termination Proofs.
Int. J. Approx. Reasoning 32(4): 315-355 (2004) |
| 4 | EE | Claude Marché,
Christine Paulin-Mohring,
Xavier Urbain:
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
J. Log. Algebr. Program. 58(1-2): 89-106 (2004) |
| 3 | EE | Claude Marché,
Xavier Urbain:
Modular and incremental proofs of AC-termination.
J. Symb. Comput. 38(1): 873-897 (2004) |
| 2001 |
|---|
| 2 | EE | Xavier Urbain:
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems.
IJCAR 2001: 485-498 |
| 1998 |
|---|
| 1 | EE | Claude Marché,
Xavier Urbain:
Termination of Associative-Commutative Rewriting by Dependency Pairs.
RTA 1998: 241-255 |
