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 -
COOD: Combined out-of-distribution detection using multiple measures for anomaly & novel class detection in large-scale hierarchical classification2024 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access
Laurens Hogeweg, Rajesh Gangireddy, Django Brunink, Vincent J. Kalkman, L. J. Cornelissen, Jacob W. Kamminga
2citations -
FAIR Data Assessment Using LLMs: The Fair-Way2025 ACM International Conference on Information and Knowledge Management (CIKM) conference-paper Computer Science Research Data Management Practices Open access
Sulayman K. Sowe, Soo-Yon Kim, Sayed Hoseini, Fidan Limani, Zeyd Boukhers, Christoph Lange, +1 more
0citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
Advancing MRI, together: open science in MR research2025 Magnetic Resonance Materials in Physics Biology and Medicine article Computer Science Research Data Management Practices Open access
Andreia S. Gaspar, Martijn A. Nagtegaal, Francesco Santini, Sophie Schauman, Mo Shahdloo, Petra J. van Houdt, +2 more
0citations