Search for persons
X
?
The Minerals, Metals & Materials Series; Magnesium Technology 2019 ,
1
Modeling the 3D Plastic Anisotropy of a Magnesium Alloy Pro..:
, In:
?
Handbook of Materials Behavior Models ,
2
Ductile Rupture Integrating Inhomogeneities in Materials (D..:
, In:
?
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
4
PfComp: A Verified Compiler for Packet Filtering Leveraging..:
, In:
?
Foundations and Practice of Security; Lecture Notes in Computer Science ,
5
URSID: Automatically Refining a Single Attack Scenario into..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
6
Type-directed Program Transformation for Constant-Time Enfo..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
7
Making an eBPF Virtual Machine Faster on Microcontrollers: ..:
, In:
?
2023 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE) ,
8
Evaluation of Photovoltaic Short-term Forecast Benefits for..:
, In:
?
2023 IEEE International Ultrasonics Symposium (IUS) ,
9
Interpolation-Based Regularization for Speed of Sound Estim..:
, In:
?
2023 IEEE International Conference on Big Data (BigData) ,
10
CERBERE: Cybersecurity Exercise for Red and Blue team Enter..:
, In:
?
Consenting to International Law ,
12
From Equal State Consent to Equal Public Participation in I..:
, In:
?
The Palgrave Handbook of Testimony and Culture ,
13
Filming Interviews with Witnesses to Genocide:
, In:
?
Research Handbook on Extraterritoriality in International Law ,
14
Extraterritoriality in international human rights law: back..:
, In:
?
The Routledge Handbook of Fiction and Belief ,
15