dblp.uni-trier.dewww.uni-trier.de

Xavier Urbain

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
11EERaúl Gutiérrez, Salvador Lucas, Xavier Urbain: Usable Rules for Context-Sensitive Rewrite Systems. RTA 2008: 126-141
10EEPierre Courtieu, Julien Forest, Xavier Urbain: Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs 2008: 183-198
9EEFrancisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
2007
8EEEvelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162
2005
7EEEvelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain: Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reasoning 34(4): 325-363 (2005)
2004
6EEFrancisco 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)
4EEClaude 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)
3EEClaude Marché, Xavier Urbain: Modular and incremental proofs of AC-termination. J. Symb. Comput. 38(1): 873-897 (2004)
2001
2EEXavier Urbain: Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems. IJCAR 2001: 485-498
1998
1EEClaude Marché, Xavier Urbain: Termination of Associative-Commutative Rewriting by Dependency Pairs. RTA 1998: 241-255

Coauthor Index

1Evelyne Contejean [7] [8]
2Pierre Courtieu [8] [10]
3Francisco Durán [6] [9]
4Julien Forest [8] [10]
5Raúl Gutiérrez [11]
6Salvador Lucas [6] [9] [11]
7Claude Marché [1] [3] [4] [6] [7] [9]
8José Meseguer [6] [9]
9Christine Paulin-Mohring [4]
10Olivier Pons [8]
11Ana Paula Tomás [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)