Not finding it? Sign in to also search OpenAlex live.
-
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more
0citations -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 International VLSI Symposium on Technology, Systems and Applications (VLSI-TSA) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
5citations -
Beyond benchmarks: Towards robust artificial intelligence bone segmentation in socio-technical systems2025 Expert Systems with Applications article Computer Science Medical Image Segmentation Techniques Open access
Kunpeng Xie, Lennart Johannes Gruber, Martin Crampen, Yao Li, André Filipe Ferreira, Elias Tappeiner, +44 more
3citations