Not finding it? Sign in to also search OpenAlex live.
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Albuminuria or proteinuria in glomerular disease and CKD—which one to use?2026 Nephrology Dialysis Transplantation article Medicine Chronic Kidney Disease and Diabetes Open access
Vanja Ivković, Andreas Kronbichler, Chee Kay Cheung, Jonathan Barratt, Annette N. Bruchfeld, Jürgen Floege, +1 more
1citations -
TREAT Early Arthralgia to Reverse or Limit Impending Exacerbation to Rheumatoid arthritis (TREAT EARLIER): a randomized, double-blind, placebo-controlled clinical trial protocol
Ellis Niemantsverdriet, Yousra J. Dakkak, Leonie E. Burgers, Femke Bonte‐Mineur, Gerda M. Steup‐Beekman, Sjoerd M. van der Kooij, +4 more
35citations -
Evaluating the landscape of social assessment methods: integrating the social dimension in sustainability assessment of product value chains2025 The International Journal of Life Cycle Assessment article Environmental Science Environmental Impact and Sustainability Open access
Nina van Dulmen, Carlos Felipe Blanco, Susana Toboso Chavero, Reinout Heijungs, Jeroen B. Guinée
16citations