Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
PhysAI: An architecture for situated physical judgement2026 Publication Server of FIR e. V. an der RWTH Aachen preprint Computer Science AI-based Problem Solving and Planning Open access
Ioannis Agrafiotis, Kosmas Alexopoulos, Annalisa Andaloro, Fabio Arnéz, Saurav Baidya, Jessa Bekker, +67 more
0citations -
Thematic Digital Competence Centre for Life Sciences and Health (TDCC-LSH) Self-evaluation report - public version, September 2022- August 20252025 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access
Celia W. G. van Gelder, Kimberley C. Zwiers, Fieke Schoots, Ruben G. Kok
0citations -
Creating RDF-compliant metadata templates with the AIMS Metadata Profile Service2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Research Data Management Practices Open access
Jürgen Windeck, Kseniia Dukkart, Marc Fuhrmans, Moritz Kern, Sebastian Schick, Max Schröder
0citations -
Enhanced Seismicity Monitoring in the Rapid Scientific Response to the 2025 Santorini Crisis - Earthquake Catalogues2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Seismology and Earthquake Studies Open access
Margarita Segou, Foteini D. Dervisi, Xing Guo Tan, Rajat Choudhary, Patricia Martínez‐Garzón, Francesco Scotto di Uccio, +17 more
0citations