Jacques Carette

Cecos — France

Computer Science · Physical Sciences

16h-index1.2kcitations162works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(52), Computability, Logic, AI Algorithms(22), Logic, Reasoning, and Knowledge(18), Software Engineering Research(14), Formal Methods in Verification(12)

Publications162 total

The Agda standard library: version 2.0
The Journal of Open Source Software·2025Open Access
The Agda standard library: version 2.0
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
The Agda standard library: version 2.0
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
The Agda standard library: version 2.0
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
The Agda standard library: version 2.0
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
HTA51 Balancing Fit and Accuracy: Evaluating Survival Model Projections With Immature Data in Health Technology Assessments
Value in Health·2025
EE604 Organizational Budget Impact Analysis of the Port-Delivery Platform With SUSVIMO in Age-Related Macular Degeneration (AMD) in France
Value in Health·2025
EPH148 Insights From a French Postmarketing Authorization Early Access (MA EA) Mechanism: Projecting Clinical and Economic Benefits of Neoadjuvant Nivolumab–Platinum-Based Chemotherapy (PDC) in Resectable Non-Small Cell Lung Cancer
Value in Health·2025
EE12 A Cost-Effectiveness Evaluation of Blinatumomab Use in the Measurable Residual Disease-Negative Remission State to Treat Adults With Philadelphia-Chromosome–Negative B-cell Acute Lymphoblastic Leukemia in France
Value in Health·2025
EE196 Cost-Effectiveness Analysis of Dostarlimab Plus Carboplatin-Paclitaxel in Primary Advanced or Recurrent Endometrial Cancer With Deficient Mismatch Repair (dMMR) and High Microsatellite Instability (MSI-H) in France
Value in Health·2025
EE659 Societal and Economic Impact of Long-Acting Injectable Buprenorphine (LAIB) Compared With Standard Opioid Substitution Therapy (OST) in France
Value in Health·2025
EE195 Cost-Effectiveness of Follitropin Delta versus Follitropin Alfa in Controlled Ovarian Stimulation for IVF/ICSI Cycles in China
Value in Health·2025
P-729 Cost-effectiveness of follitropin delta versus follitropin alfa for controlled ovarian stimulation for IVF/ICSI in China
Human Reproduction·2025Open Access
The Many Views of Game-Related Experiences with the Experiential Tetrad
2025Open Access
State of the Practice for Medical Imaging Software Based on Open Source Repositories
Critical Reviews in Biomedical Engineering·2025· 2 cited
EE137 Cost-Effectiveness Analysis of Neoadjuvant Nivolumab Plus Platinum-Based Chemotherapy (PDC) in Resectable Non-Small Cell Lung Cancer (NSCLC) in France: A Situation of Dominance
Value in Health·2024Open Access
EE113 Follitropin Delta Is Cost-Effective Versus Follitropins Alfa and Beta in Controlled Ovarian Stimulation for Assisted Reproductive Technologies (ART) in France
Value in Health·2024Open Access
How to Bake a Quantum Π
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
State of the Practice for Medical Imaging Software
arXiv (Cornell University)·2024· 1 citedOpen Access
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Proceedings of the ACM on Programming Languages·2024· 6 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

William M. Farmer(8), Chung-chieh Shan(6), Oleg Kiselyov(5), Amr Sabry(5), Spencer Smith(5), Russell O’Connor(3), Michael Kucera(3), P. J. Narayanan(2), James H. Davenport(2), Florian Rabe(2), Volker Sorge(2), Margaree Peacocke(2), Robert J. Teather(2), I. Scott MacKenzie(2), Michael Kohlhase(2), Wolfram Kahl(2), Wren Romano(1), Robert Zinkov(1), Anna Maria Bigatti(1), Michael Joswig(1)