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
9EERaúl Gutiérrez, Salvador Lucas, Xavier Urbain: Usable Rules for Context-Sensitive Rewrite Systems. RTA 2008: 126-141
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]
3Francisco Durán [6]
4Julien Forest [8]
5Raúl Gutiérrez [9]
6Salvador Lucas [6] [9]
7Claude Marché [1] [3] [4] [6] [7]
8José Meseguer [6]
9Christine Paulin-Mohring [4]
10Olivier Pons [8]
11Ana Paula Tomás [7]

Copyright © Wed Aug 20 16:51:14 2008 by Michael Ley (ley@uni-trier.de)