Xavier Leroy - Concepedia

Author

Xavier Leroy

Also Known As

Gladell Paner, Leroy, X., Leroy, X. (Xavier), Leroy, Xavier, Letouzey, Pierre, M. Albert Cohen, X Leroy, X. J. Leroy, X. Leroy, XAVIER LEROY

652

Publications

16.4K

Citations

H-Index

240

Concepts

All Affiliations

Université de Lille Centre Hospitalier Universitaire de Lille Institut national de recherche en sciences et technologies du numérique Hôpital Claude Huriez Inserm

About

Xavier Leroy is an author at Université de Lille specializing in engineering, medicine, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	34	53	6K
2	Medicine	32	68	3.6K
3	Health Sciences	9	9	771
4	Natural Sciences	6	6	204
5	Language Studies	3	3	319

Xavier Leroy

207

Publications

14.2K

Citations

H-Index

Page 1

	Year	Citations
Formal verification of a realistic compiler Xavier Leroy Communications of the ACM EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2009	1.1K
Formal certification of a compiler back-end or Xavier Leroy EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2006	648
A Formally Verified Compiler Back-end Xavier Leroy Journal of Automated Reasoning EngineeringProgram AnalysisCompiler TechnologySoftware TestingVerification	2009	475
Role of magnetic resonance imaging before initial biopsy: comparison of magnetic resonance imaging‐targeted and systematic biopsy for significant prostate cancer detection Jérémie Haffner, L. Lemaître, Philippe Puech, British Journal of Urology	2011	382
Prostate Cancer Diagnosis: Multiparametric MR-targeted Biopsy with Cognitive and Transrectal US–MR Fusion Guidance versus Systematic Biopsy—Prospective Multicenter Study Philippe Puech, Olivier Rouvière, Raphaële Renard‐Penna, Radiology	2013	380
Dynamic Contrast Enhanced, Pelvic Phased Array Magnetic Resonance Imaging of Localized Prostate Cancer for Predicting Tumor Volume: Correlation With Radical Prostatectomy Findings Arnauld Villers, Philippe Puech, Damien Mouton, The Journal of Urology	2006	371
Weiss System Revisited Sébastien Aubert, Agnès Wacrenier, Xavier Leroy, The American Journal of Surgical Pathology Weiss CriteriaDistant MetastasisMedicineSurgical PathologyHistopathology	2002	370
Tuberous Sclerosis–associated Renal Cell Carcinoma Juan Guo, Maria Tretiakova, Megan L. Troxell, The American Journal of Surgical Pathology Tuberous Sclerosis ComplexUrologyGenitourinary CancerRenal PathologySurgical Pathology	2014	289
Manifest types, modules, and separate compilation Xavier Leroy EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationModule System	1994	260
A concurrent, generational garbage collector for a multithreaded implementation of ML Damien Doligez, Xavier Leroy	1993	243

Page 1