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 -
Chapter 7 Approach for the Identification of Requirements on the Design of AI-supported Work Systems (in Problem-based Projects2024 De Gruyter eBooks book-chapter Computer Science Artificial Intelligence Applications Open access
Markus Harlacher, Andrea Altepost, Alexander Ferrein, Adjan Hansen-Ampah, Sina Niehues, Stefan Schiffer, +1 more
4citations -
mobilityDCAT-AP: A Metadata Specification for Enhanced Cross-Border Mobility Data Sharing2025 Lecture notes in computer science conference-paper Computer Science Semantic Web and Ontologies Open access
Mario Scrocca, Lina Molinas Comet, Benjamin Witsch, Daham Mohammed Mustafa, Christoph Lange, Marco Comerio, +1 more
1citations -
One-press control: a tactile input method for pressure-sensitive computer keyboards2021 arXiv (Cornell University) preprint Computer Science Interactive and Immersive Displays Open access
Staas de Jong, Jeroen Jillissen, Dünya Kirkali, Alwin de Rooij, Hanna Schraffenberger, Arnout Terpstra
0citations -
A Comprehensive Review of Optimization-Driven Design of Attribute-Based Encryption Schemes: Security Models, Optimization Techniques, and Emerging Computing Applications0citations
-
EARTHQUAKE EARLY WARNING AND RAPID RESPONSE SYSTEM BASED ON SMART SEISMIC AND MONITORING SENSORS EMBEDDED IN A COMMUNICATION PLATFORM AND COUPLED WITH BIM MODELS2021 COMPDYN Proceedings conference-paper Computer Science Seismology and Earthquake Studies Open access
Georgios Balaskas, Benno Hoffmeister, Christoph Butenweg, Marco Pilz, Anna Bauer
6citations -
Applying the FAIR Data Principles to the Registry of Vascular Anomalies (VASCA)2020 Studies in health technology and informatics book-chapter Computer Science Research Data Management Practices Open access
Bruna dos Santos Vieira, Karlijn H.J. Groenen, Peter A.C. ’t Hoen, Annika Jacobsen, Marco Roos, Rajaram Kaliyaperumal, +2 more
4citations -
Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities2021 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Dominik Šišejković, Lennart M. Reimann, Elmira Moussavi, Farhad Merchant, Rainer Leupers
29citations -
A compositional framework for systematic modeling language reuse2020 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques
Arvid Butting, Jérôme Pfeiffer, Bernhard Rumpe⋆, Andreas Wortmann
22citations