Not finding it? Sign in to also search OpenAlex live.
-
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting2citations
-
Cost-effectiveness of 20-valent versus 15-valent pneumococcal conjugate vaccines for infants in the Netherlands, taking into account indirect effects and adult vaccination
Pieter T. de Boer, Albert Jan van Hoek, Mirjam J. Knol, Elisabeth A. M. Sanders, Hester E. de Melker, Jacco Wallinga, +1 more
0citations -
European Guideline for the Management of Kidney Transplant Patients With HLA Antibodies: By the European Society for Organ Transplantation Working Group2022 Transplant International article Medicine Renal Transplantation Outcomes and Treatments Open access
Nizam Mamode, Oriol Bestard, Frans H.J. Claas, Lucrezia Furian, Siân Griffin, Christophe M. Legendre, +2 more
81citations -
Mapping the regulatory wiring of endothelial cell differentiation reveals a critical role for Hippo mechanosignaling2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Hippo pathway signaling and YAP/TAZ Open access
Tri C. Nguyen, Hunter D. King, Dulguun Amgalan, Olga Pushkarev, Yanyan Alexandra Mo, Chad J. Munger, +20 more
0citations -
Feasibility and preliminary effectiveness of a population health management approach to improve cardiovascular risk management in primary care: a mixed-method implementation study2024 European Journal of Preventive Cardiology article Health Professions Mobile Health and mHealth Applications Open access
Margot M. Rakers, Nicoline E van Hattem, Eric Hiddink, Petra G. van Peet, Rimke Cathelijne Vos, Niels Henrik Chavannes, +3 more
1citations -
Feasibility of improving sLe(a)/CA 19-9 harmonization by recalibration: a simulation study using three EQA programs2026 Clinical Chemistry and Laboratory Medicine (CCLM) article Health Professions Clinical Laboratory Practices and Quality Control Open access
Huub H. van Rossum, Stefan Holdenrieder, Junghan Song, Catharine M. Sturgeon, Katherine Partridge, Melanie Moore, +11 more
4citations -
Neutrino Education, Outreach, and Communications Activities: Captivating Examples from IceCube2022 Repository KITopen (Karlsruhe Institute of Technology) conference-paper Arts and Humanities Museums and Cultural Heritage Open access
Madeleine O'Keefe, Jocelyn Argueta, Ellen Bechtol, Katherine L. Shirey, James Madsen, Markus Ackermann, +86 more
0citations -
Neutrino Education, Outreach, and Communications Activities: Captivating Examples from IceCube2021 International Cosmic Ray Conference conference-paper Arts and Humanities Museums and Cultural Heritage Open access
Madeleine O'Keefe, Jocelyn Argueta, Ellen Bechtol, Katherine L. Shirey, K. Andeen, Carlos A. Argüelles, +8 more
0citations -
HLA‐EMMA : A user‐friendly tool to analyse HLA class I and class II compatibility on the amino acid level2020 HLA article Medicine Renal Transplantation Outcomes and Treatments Open access cited by 3 patents
Cynthia S. M. Kramer, J P De Koster, Geert W. Haasnoot, Dave L. Roelen, Frans H.J. Claas, Sebastiaan Heidt
102citations -
A SPectroscopic Survey of Biased Halos in the Reionization Era (ASPIRE): JWST Discovers an Overdensity around a Metal Absorption-selected Galaxy at z ∼ 5.52023 The Astrophysical Journal Letters article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Yunjing Wu, Feige Wang, Zheng Cai, Xiaohui Fan, Kristian Finlator, Jinyi Yang, +23 more
8citations