Personensuche
X
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
3
Finding the Goal: Insect-Inspired Spiking Neural Network fo..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
5
Lifting On-Demand Analysis to Higher-Order Languages:
, In:
?
Foundations and Practice of Security; Lecture Notes in Computer Science ,
7
Automatic Annotation of Confidential Data in Java Code:
, In:
?
Denkmalpflege / Niedersachsen
9
Das Wendland-Archiv:
, In:Exemplar:
Zentrale:Magazinturm-E02 z bre 525.2 nied/138
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
10
VERONICA: Expressive and Precise Concurrent Information Flo..:
, In:
?
2020 IEEE International Symposium on Circuits and Systems (ISCAS) ,
12
Live Demonstration: Neuromorphic Sensory Integration for Co..:
, In:
?
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security ,
14
An Empirical Study of Information Flows in Real-World JavaS..:
, In:
?
2019 IEEE Biomedical Circuits and Systems Conference (BioCAS) ,
15