Statistics
Publications
10
Citations
532
H-Index
10
Active since
2003
Xavier Urbain is an author at Université Paris-Sud specializing in computer science, computing, and formal methods.
Publications per year
2003–2018
10
10
Proving operational termination of membership equational programs
Francisco Durán, Salvador Lucas, Claude Marché et al. · LISP and Symbolic Computation · 2008 · 69 citations · Full text
Modular and Incremental Automated Termination Proofs
Xavier Urbain · Journal of Automated Reasoning · 2004 · 51 citations
Impossibility of gathering, a certification
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil et al. · Information Processing Letters · 2014 · 46 citations · Full text
1–5 of 10