BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Urbain:Xavier

Contributed to:

RTA 20112011
PEPM 20102010
RTA 20082008
PEPM 20042004
IJCAR 20012001
RTA 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.