Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles2025 IEEE International Automated Vehicle Validation Conference (IAVVC) conference-paper Computer Science Real-Time Systems Scheduling Open access
Lóránt Meszlényi, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann
1citations -
Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium2023 Journal of NeuroEngineering and Rehabilitation article Computer Science Context-Aware Activity Recognition Systems Open access
M. Encarna Micó-Amigo, Tecla Bonci, Anisoara Paraschiv-Ionescu, Martin Ullrich, Cameron Kirk, Abolfazl Soltani, +43 more
157citations -
Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium2022 Research Square preprint Computer Science Context-Aware Activity Recognition Systems Open access
M. Encarna Micó-Amigo, Tecla Bonci, Anisoara Paraschiv-Ionescu, Martin Ullrich, Cameron Kirk, Abolfazl Soltani, +43 more
19citations -
Correction: Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium2024 Journal of NeuroEngineering and Rehabilitation erratum Computer Science Context-Aware Activity Recognition Systems Open access
M. Encarna Micó-Amigo, Tecla Bonci, Anisoara Paraschiv-Ionescu, Martin Ullrich, Cameron Kirk, Abolfazl Soltani, +43 more
3citations -
In-Memory Indexed Caching for Distributed Data Processing2022 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Advanced Database Systems and Queries Open access cited by 1 patent
Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz
2citations -
Toward ubiquitous surgical assistance services via private 5G infrastructure2026 International Journal of Computer Assisted Radiology and Surgery article Computer Science IoT and Edge/Fog Computing Open access
Philipp Schollmaier, Benjamin Hohlmann, Noah Wickel, Ha Uyen Nguyen, Okan Yılmaz, Alisa Kovler, +4 more
0citations -
MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms2020 Lecture notes in computational science and engineering book-chapter Computer Science Parallel Computing and Optimization Techniques Open access
Joachim Protze, Miwako Tsuji, Christian Terboven, Thomas Dufaud, Hitoshi Murai, Serge G. Petiton, +3 more
1citations