Not finding it? Sign in to also search OpenAlex live.
-
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
USE CASES FOR DIGITAL METHODS IN PROACTIVE MAINTENANCE OF SEWER INFRASTRUCTURE2025 Creative Construction Conference (CCC) conference-paper Engineering BIM and Construction Integration Open access
Raquel Valles, Sabine Hartmann, Peter Gölzhäuser, Hannah Neubaur, Hendrik Morgenstern, Katharina Klemt‐Albert
0citations -
The Open mulTiwavelength Transient Event Repository (OTTER): Infrastructure Release and Tidal Disruption Event Catalog2026 The Astrophysical Journal article Physics and Astronomy Gamma-ray bursts and supernovae Open access
Noah Franz, K. D. Alexander, Sebastián Gómez, Collin T. Christy, T. Laskar, Sjoert van Velzen, +7 more
18citations -
Observational Data for Integrated Maternity Care: Experiences with a Data-Infrastructure for Parents and Children in the Netherlands2023 International Journal of Integrated Care article Health Professions Medical Coding and Health Information Open access
Zoë T. M. Scheefhals, Eline Frouke de Vries, Joyce M. Molenaar, Mattijs Everard Numans, Jeroen Nathan Struijs
18citations -
High-Precision Digital Traffic Recording with Multi-LiDAR Infrastructure Sensor Setups2020 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Engineering Autonomous Vehicle Technology and Safety Open access cited by 1 patent
Laurent Kloeker, Christian Geller, Amarin Kloeker, Lutz Eckstein
15citations -
The PRO-RCC study: a long-term PROspective Renal Cell Carcinoma cohort in the Netherlands, providing an infrastructure for ‘Trial within Cohorts’ study designs
Hilin Yildirim, Christiaan Widdershoven, Maureen J.B. Aarts, Axel Bex, Haiko J. Bloemendal, Deirdre M. Bochove-Overgaauw, +14 more
9citations -
Generic Approach to Optimized Placement of Smart Roadside Infrastructure Sensors Using 3D Digital Maps2022 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Engineering Autonomous Vehicle Technology and Safety
Laurent Kloeker, Julian Quakernack, Bastian Lampe, Lutz Eckstein
9citations