Not finding it? Sign in to also search OpenAlex live.
-
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
Virtual Reality Self-help Treatment for Aviophobia: Protocol for a Randomized Controlled Trial2021 JMIR Research Protocols article Computer Science Virtual Reality Applications and Impacts Open access
Jamie Rhiannon Fehribach, Marieke B.J. Toffolo, Ilja Cornelisz, Chris van Klaveren, Annemieke van Straten, Jean‐Louis van Gelder, +1 more
13citations -
Two-stage automated diagnosis framework for urogenital schistosomiasis in microscopy images from low-resource settings2023 Journal of medical imaging article Computer Science Digital Imaging for Blood Diseases Open access
Prosper Oyibo, Brice Meulah, Michel Bengtson, Lisette van Lieshout, Wellington Aghoghovwia Oyibo, Jan Carel Diehl, +2 more
12citations -
From Prose to Prototype: Synthesising Executable UML Models from Natural Language2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Guus J. Ramackers, Pepijn Griffioen, Martijn B. J. Schouten, Michel R. V. Chaudron
8citations -
Side-channel countermeasures utilizing dynamic logic reconfiguration: Protecting AES/Rijndael and Serpent encryption in hardware2020 Microprocessors and Microsystems article Computer Science Cryptographic Implementations and Security Open access cited by 3 patents
Petr Socha, Jan Brejník, Josep Balasch, Martin Novotný, Nele Mentens
8citations -
A Framework for Staging Personal Health Trains in the Cloud2021 International Conference on Web Information Systems and Technologies conference-paper Computer Science Privacy-Preserving Technologies in Data Open access
Virginia Graciano Martinez, Luís Ferreira Pires, Luiz Olavo Bonino da Silva Santos, João Moreira, Renata Figueiredo Ramalho Costa de Souza
1citations -
Code and Data for "Multiresolution-based grid adaptation for the compression of ERA5 meteorological reanalysis data in MPTRACv2.7"2025 JuSER (Forschungszentrum Jülich) dataset Computer Science Advanced Data Compression Techniques Open access
Farahnaz Khosrawi, Adrian Kolb, Lars Hoffmann, Siegfried Müller
0citations -
Visual Cues in Exergame-like Feedback for Fitting Passive Upper Limbs Exoskeleton: Systematic Review, Usability and Users’ Preferences2025 Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics review Computer Science Augmented Reality Applications
Max Middendorf, Christine Saeedi-Givi, Lea Marleen Daling, Anas Abdelrazeq, Robert Schmitt, Thomas Bohné, +1 more
0citations -
An Examination of Offline-Trained Encoders in Vision-Based Deep Reinforcement Learning for Autonomous Driving2024 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) conference-paper Computer Science Reinforcement Learning in Robotics
Shawan Taha Mohammed, Alp Argun, Nicolas Bonnotte, Gerd Ascheid
0citations -
Code and Data for "Multiresolution-based grid adaptation for the compression of ERA5 meteorological reanalysis data in MPTRACv2.7"2025 JuSER (Forschungszentrum Jülich) dataset Computer Science Advanced Data Compression Techniques Open access
Farahnaz Khosrawi, Adrian Kolb, Lars Hoffmann, Siegfried Müller
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations