Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
The Axiom Profiler: Understanding and Debugging SMT Quantif..:
, In:
?
Proceedings of the 19th International Conference on Availability, Reliability and Security ,
4
SOVEREIGN - Towards a Holistic Approach to Critical Infrast..:
, In:
?
Proceedings of the 2023 Workshop on Attacks and Solutions in Hardware Security ,
6
Towards Unsupervised SEM Image Segmentation for IC Layout E..:
, In:
?
2023 Integrated Communication, Navigation and Surveillance Conference (ICNS) ,
7
LDACS Flight Trials: Demonstration of ATS-B2, IPS, and Seam..:
, In:
?
2022 IEEE International Conference on Cloud Engineering (IC2E) ,
8
Network Emulation in Large-Scale Virtual Edge Testbeds: A N..:
, In:
?
Eye-Tracking in der Mathematik- und Naturwissenschaftsdidaktik ,
9
Blickverhalten beim Lernen und Problemlösen mit Graphen – E..:
, In:
?
The Globalization of Regional Clusters ,
11
Introduction: regional clusters and internationalization - ..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
13
Strengthening Deterministic Policies for POMDPs:
, In:
?
Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays ,
14
Performance Portable FPGA Design:
, In:
?
Smart Card Research and Advanced Applications; Lecture Notes in Computer Science ,
15