Xavier Leroy
Collège de France(FR)Université de Lille(FR)Centre Hospitalier Universitaire de Lille(FR)Centre Hospitalier de Lens(FR)Campo Arqueologico de Mertola(PT)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Renal cell carcinoma treatment, Prostate Cancer Diagnosis and Treatment, Prostate Cancer Treatment and Research
Most-Cited Works
- → Formal verification of a realistic compiler(2009)1,101 cited
- → Formal certification of a compiler back-end or(2006)648 cited
- → A Formally Verified Compiler Back-end(2009)477 cited
- → Role of magnetic resonance imaging before initial biopsy: comparison of magnetic resonance imaging‐targeted and systematic biopsy for significant prostate cancer detection(2011)382 cited
- → Prostate Cancer Diagnosis: Multiparametric MR-targeted Biopsy with Cognitive and Transrectal US–MR Fusion Guidance versus Systematic Biopsy—Prospective Multicenter Study(2013)380 cited
- → Dynamic Contrast Enhanced, Pelvic Phased Array Magnetic Resonance Imaging of Localized Prostate Cancer for Predicting Tumor Volume: Correlation With Radical Prostatectomy Findings(2006)371 cited