Search for persons
X
?
2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) ,
1
Automatic Sleep Stage Detection: A Study on the Influence o..:
, In:
?
2019 E-Health and Bioengineering Conference (EHB) ,
2
Automatic Sleep Stage Detection using a Single Channel Fron..:
, In:
?
2009 IEEE Nanotechnology Materials and Devices Conference ,
3
Microwave performance of surface channel diamond MESFETs:
, In:
?
2009 10th International Conference on Ultimate Integration of Silicon ,
4
Modeling of Metal-Semiconductor Field-Effect-Transistor on ..:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
8
Towards Verifiable Multi-Agent Interaction Pattern Specific..:
, In:
?
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) ,
9
A Conceptual Framework for Explainability Requirements in S..:
, In:
?
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing ,
10
Interoperability of Heterogeneous Systems of Systems: Revie..:
, In:
?
2023 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE) ,
11
Merging Contour-and Region-Aware Branches in the UNet Decod..:
, In:
?
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
12
Explainable Human-Machine Teaming using Model Checking and ..:
, In:
?
2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) ,
13
Rigorous Automated Verification of Protection Systems in LV..:
, In:
?
Computational Science and Its Applications – ICCSA 2023 Workshops; Lecture Notes in Computer Science ,
14
(Pseudo-)3D Inversion of Geophysical Electromagnetic Induct..:
, In:
?
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) ,
15