Not finding it? Sign in to also search OpenAlex live.
-
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
HIV seroconversion among female sex workers: retrospective cohort study from a large-scale HIV prevention and sexual and reproductive health program in Tanzania2024 Frontiers in Reproductive Health article Social Sciences Sex work and related issues Open access
Gaspar Mbita, Amasha H. Mwanamsangu, Albert Komba, Caterina Casalini, Maneno Luponya, Kelly Curran, +8 more
2citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Advancing patient‐centered care: Recent developments in UEG's patient relations2024 United European Gastroenterology Journal article Health Professions Mental Health and Patient Involvement Open access
Patrizia Burra, Jorge Amil Dias, Joana Torres, Pilar Acedo, Benthe Bertelsen, Michael Bretthauer, +11 more
0citations -
CONVERGING ENVIRONMENTAL NECESSITIES AND ENERGY REQUIREMENTS: PRODUCING RENEWABLE ENERGY AND HYDROGEN FOR ECONOMIC REVITALIZATION AND GROWTH IN THE POST-COVID-19 PANDEMIC0citations
-
Individual and gender inequality in computer science: A career study of cohorts from 1970 to 20002023 London School of Economics and Political Science Research Online (London School of Economics and Political Science) article Decision Sciences scientometrics and bibliometrics research Open access
Haiko Lietz, Mohsen Jadidi, Daniel Kostic, Milena Tsvetkova, Claudia Wagner
0citations
12 results