Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
A Formal CHERI-C Semantics for Verification:
, In:
?
Advances in the Characterisation and Remediation of Sites Contaminated with Petroleum Hydrocarbons; Environmental Contamination Remediation and Management ,
2
Incorporating Natural Source Zone Depletion (NSZD) into the..:
, In:
?
2023 International Electron Devices Meeting (IEDM) ,
3
A 2.2μm 2-Layer Stacked HDR Voltage Domain Global Shutter C..:
, In:
?
Proceedings of Mensch und Computer 2022 ,
4
Life-Death Interfaces: Tangible Ways of Legacy-Making, Grie..:
, In:
?
Proceedings of the 35th Annual ACM Symposium on Applied Computing ,
6
Enhancing business processes with trustworthiness using blo..:
, In:
?
2017 28th Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC) ,
10