Not finding it? Sign in to also search OpenAlex live.
-
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 -
A Comprehensive Review of Optimization-Driven Design of Attribute-Based Encryption Schemes: Security Models, Optimization Techniques, and Emerging Computing Applications0citations
-
Efficient Utilization of Large Pre-Trained Models for Low Resource ASR2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW) conference-paper Computer Science Speech Recognition and Synthesis
Peter Vieting, Christoph Lüscher, Ralf Schlüter, Hermann Ney
4citations -
Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification
Robin Mroß, Luca Söthe, Darko Divkovic, Aron Schnakenbeck, Marcus Völker, Alexander Fay, +1 more
0citations -
GPT-4o and the quest for machine learning interpretability in ICU risk of death prediction2025 BMC Medical Informatics and Decision Making article Computer Science Machine Learning in Healthcare Open access
Moein E. Samadi, Kateryna Nikulina, Sebastian Johannes Fritsch, Andreas Schuppert
7citations -
Data Standards and Interoperability Challenges for Biodiversity Digital Twin: A novel and transformative approach to biodiversity research and application2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Sharif Islam, Hanna Koivula, Dag Endresen, Erik Kusch, Dmitry Schigel, Wouter Addink
1citations -
Privacy and Confidentiality in Process Mining: Threats and Research Challenges2022 RWTH Publications (RWTH Aachen) article Computer Science Privacy-Preserving Technologies in Data
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Agnes Koschmider, Felix Mannhardt, Saskia Nuñez von Voigt, Majid Rafiei, +1 more
11citations -
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