Travelled to:1 × Austria
1 × Japan
1 × Serbia
1 × Spain
2 × Italy
Collaborated with:C.Marché S.Lucas ∅ E.Contejean P.Courtieu J.Forest O.Pons R.Gutiérrez F.Durán J.Meseguer A.Paskevich
Talks about:termin (4) rewrit (3) proof (3) autom (3) certifi (2) system (2) membership (1) increment (1) hierarch (1) approach (1)
Person: Xavier Urbain
DBLP: Urbain:Xavier
Contributed to:
2011
201020082004
20011998Wrote 6 papers:
- RTA-2011-ContejeanCFPU #automation #proving
- Automated Certified Proofs with CiME3 (EC, PC, JF, OP, XU), pp. 21–30.
- PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination
- A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
- RTA-2008-GutierrezLU #term rewriting
- Usable Rules for Context-Sensitive Rewrite Systems (RG, SL, XU), pp. 126–141.
- PEPM-2004-DuranLMMU #equation #proving #source code #termination
- Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.
- IJCAR-2001-Urbain #automation #incremental #proving #term rewriting #termination
- Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems (XU), pp. 485–498.
- RTA-1998-MarcheU #commutative #dependence #termination
- Termination of Associative-Commutative Rewriting by Dependency Pairs (CM, XU), pp. 241–255.