Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software 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 -
Design for Calibrated Trust in AI: Exploring Opportunities to Support Appropriate Mental Models When Interacting With Conversational AI2026 Nordic Conference on Human-Computer Interaction conference-paper Computer Science Innovative Human-Technology Interaction Open access
Sarah Diefenbach, Daniel Ullrich, Paul Miles Preuschoff, Lara Christoforakos
0citations -
Ontology-based communication service for multi-stage production processes2022 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD) conference-paper Computer Science Semantic Web and Ontologies
Aleksandra Müller, Vincent Hutsch, Simon Storms, Werner Herfs
0citations