Search for persons
X
?
Springer Proceedings in Earth and Environmental Sciences; Trends in Environmental Sustainability and Green Energy ,
8
Evaluation of Bio-Oils Produced from Rapid Heating Pyrolysi..:
, In:
?
2022 IEEE Symposium on Security and Privacy (SP) ,
12
SHADEWATCHER: Recommendation-guided Cyber Threat Analysis u..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
13
Scalable quantitative verification for deep neural networks:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering ,
14
Scalable Quantitative Verification For Deep Neural Networks:
, In:
?
Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security ,
15