Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(469)
Arnauld Villers
39
Laurent G Lemaitre
36
Sebastien Aubert (Sébastien Aubert)
34
Jacques Biserte
30
Bernard H. Gosselin
25
Conferences
(23)
POPL
16
INRIA
7
ESOP
4
TIC
3
Types for Proofs and Programs
2
Journals
(67)
ANN PATHOL
21
J UROL
10
EUR UROL SUPPL
9
Histopathology
7
Urology
7
Keywords
(297)
Embed
Subscribe
Academic
Authors
Xavier Leroy
Edit
Xavier Leroy
The French National Institute for Research in Computer Science and Control
Publications: 257
|
Citations: 3926
|
G-Index: 56
|
H-Index: 36
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Pathology
,
Urology
View FAQ about top research area and research interests
Collaborated with
469 co-authors
from 1990 to 2011
; Cited by
4367 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(257)
BibTeX
|
RIS
|
RefWorks
Download
Myofibrome calcifié solitaire de la jambe : à propos d’un cas
M. Ben Haj Amor
,
E. Nectoux
,
D. Basraoui
,
M. Cagneaux
,
X. Leroy
,
B. Herbaux
,
F. Gabor
,
N. Boutry
Journal:
Socio-economic Planning Sciences
, vol. 92, no. 3, pp. 243-246, 2011
Hématopoïèse extramédullaire rénale
A. Broucqsault
,
A. Ouzzane
,
D. Launay
,
X. Leroy
,
C. Rose
,
A. Villers
,
J.-C. Fantoni
Journal:
World Pumps
, vol. 21, no. 8, pp. 575-579, 2011
Combined analysis of HPV DNA, p16, p21 and p53 to predict prognosis in patients with stage IV hypopharyngeal carcinoma
Perle Ernoux-Neufcoeur
,
Mohammad Arafa
,
Christine Decaestecker
,
Anaëlle Duray
,
Myriam Remmelink
,
Xavier Leroy
,
Michael Herfs
,
Joan Somja
,
Christophe E. Depuydt
,
Philippe Delvenne
,
Sven Saussez
Journal:
Journal of Cancer Research and Clinical Oncology - J CANCER RES CLIN ONCOL
, vol. 137, no. 1, pp. 173-181, 2011
Formal verification of object layout for c++ multiple inheritance
Tahina Ramananandro
,
Gabriel Dos Reis
,
Xavier Leroy
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 67-80, 2011
Thérapie photodynamique et cancer de la prostate
P. Colin
,
J.-P. Estevez
,
N. Betrouni
,
A. Ouzzane
,
P. Puech
,
X. Leroy
,
J. Biserte
,
A. Villers
,
S. Mordon
Journal:
World Pumps
, vol. 21, no. 2, pp. 85-92, 2011
Order by:
Citations
(3926 times by 2680 publications)
The functional role of long non-coding RNA in human carcinomas
(
Citations: 4
)
Ewan A Gibb
,
Carolyn J Brown
,
Wan L Lam
Journal:
Molecular Cancer - MOL CANCER
, vol. 10, no. 1, pp. 1-17, 2011
Relaxed-memory concurrency and verified compilation
(
Citations: 1
)
Jaroslav Ŝevčik
,
Viktor Vafeiadis
,
Francesco Zappa Nardelli
,
Suresh Jagannathan
,
Peter Sewell
Published in 2011.
Beyond Provable Security. Verifiable IND-CCA Security of OAEP
(
Citations: 2
)
Gilles Barthe
,
Benjamin Gr'egoire
,
Yassine Lakhnech
,
Santiago Zanella B'eguelin
Conference:
The Cryptographer's Track at RSA Conference - CT-RSA
, vol. 6558, pp. 180-196, 2011
Recommandations pour la bonne pratique des biopsies prostatiques
(
Citations: 1
)
A. Ouzzane
,
P. Coloby
,
J.-P. Mignard
,
J.-P. Allegre
,
M. Soulie
,
X. Rebillard
,
L. Salomon
,
A. Villers
Journal:
Progres En Urologie - PROG UROL
, vol. 21, no. 1, pp. 18-28, 2011
Effective homology of bicomplexes, formalized in Coq
(
Citations: 1
)
César Domínguez
,
Julio Rubio
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 11, pp. 962-970, 2011
Comments