Search for persons
X
?
2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO) ,
1
Qubit Mapping and Routing via MaxSAT:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
2
Unbounded Procedure Summaries from Bounded Environments:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
3
Automating Modular Verification of Secure Information Flow:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4