Not finding it? Sign in to also search OpenAlex live.
-
An ontology-based approach for sewer infrastructure management2025 RWTH Publications (RWTH Aachen) conference-paper Computer Science Semantic Web and Ontologies Open access
Raquel Valles Gomez, Jose Luis Jamora, Peter Gölzhäuser, Sabine Hartmann, Amirhossein Babaei Ravandi Amirhossein Babaei Ravandi, Hendrik Morgenstern, +1 more
0citations -
Machine Learning as a Service for DiSSCo’s Digital Specimen Architecture2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Jonas Grieb, Claus Weiland, Alex Hardisty, Wouter Addink, Sharif Islam, Sohaib Younis, +1 more
7citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
User Experience, Attitude towards Replay and Play Endings – a semi-Situated Study of an Interactive Play Space2025 Designing Interactive Systems Conference conference-paper Computer Science Innovative Human-Technology Interaction Open access
Danića Mast, Joost Broekens, Sanne I. de Vries, Fons J. Verbeek
0citations -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations