Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xavier Leroy
Resolution Pharmacology: Opportunities for Therapeutic Innovation in Inflammation
Trends in Pharmacological Sciences
Toxicology
Pharmacology
MUC1-C Nuclear Localization Drives Invasiveness of Renal Cancer Cells Through a Sheddase/Gamma Secretase Dependent Pathway
Oncotarget
Oncology
Quantitative Immunohistochemical Fingerprinting of Adhesion/Growth-Regulatory Galectins in Salivary Gland Tumours: Divergent Profiles With Diagnostic Potential
Histopathology
Medicine
Forensic Medicine
Pathology
Histology
Combined Analysis of HPV DNA, P16, P21 and P53 to Predict Prognosis in Patients With Stage IV Hypopharyngeal Carcinoma
Journal of Cancer Research and Clinical Oncology
Medicine
Cancer Research
Oncology
A Simple, Verified Validator for Software Pipelining
ACM SIGPLAN Notices
Computer Science
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Computer Security From a Programming Language and Static Analysis Perspective
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mixin Modules in a Call-By-Value Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
