Concepedia

William Delobel

WD

Statistics

Publications

2

Citations

50

H-Index

2

Active since

2006

Affiliations

Prevention of Organ Failure(Current)

William Delobel is an author at Prevention of Organ Failure specializing in computer science, formal methods, and deductive verification.

Publications per year

2006–2006

2

Publications

2

CoLoR : a Coq library on rewriting and termination

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel et al. · TU/e Research Portal (Eindhoven University of Technology) · 2006 · 38 citations · Full text

, , +13

An effective proof of the well-foundedness of the multiset path ordering

Solange Coupet-Grimal, William Delobel · Applicable Algebra in Engineering Communication and Computing · 2006 · 12 citations

, , +6

1–2 of 2