Personensuche
X
?
2024 IEEE Radar Conference (RadarConf24) ,
1
A Novel Concept for Vehicle 2D Pose Estimation Using Automo..:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
2
Verifying Opacity of Discrete-Timed Automata:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
3
Correction to: Learning Mealy Machines with Local Timers:
, In:
?
(Re-) Konstruktion von lokaler Urbanität ,
4
Die immer andere Stadt – Teilhabe am demokratischen Möglich..:
, In:
?
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) ,
6
Multimodal Integration of Human-Like Attention in Visual Qu..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
7
Set-Based Anomaly Detector and Stealthy Attack Impact Using..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
8
Learning Mealy Machines with Local Timers:
, In:
?
2023 IEEE/MTT-S International Microwave Symposium - IMS 2023 ,
9
An Active Self-Interference Cancellation Coupler with 60 dB..:
, In:
?
NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium ,
10
VITALflow: Visual Interactive Traffic Analysis with NetFlow:
, In:
?
Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice ,
11
Automatic anti-pattern detection in microservice architectu..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
13
Analysing Capacity Bottlenecks in Rail Infrastructure by Ep..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
14