The following pages link to Xavier Urbain (Q483062):
Displayed 15 items.
- Impossibility of gathering, a certification (Q483063) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots (Q1660934) (← links)
- (Q1881669) (redirect page) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Certification of Automated Termination Proofs (Q3525007) (← links)
- Certifying a Termination Criterion Based on Graphs, without Graphs (Q3543658) (← links)
- (Q4539636) (← links)
- (Q5389068) (← links)
- Synchronous gathering without multiplicity detection: a certified algorithm (Q5918186) (← links)
- Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218) (← links)