Search for persons
X
?
2024 IEEE 21st Biennial Conference on Electromagnetic Field Computation (CEFC) ,
1
Field Distribution Study for Microwave Processing Plasma Un..:
, In:
?
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
3
Certification of Confluence- and Commutation-Proofs via Par..:
, In:
?
2022 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia) ,
10
Computing-In-Memory Using 1T1C Embedded DRAM Cell with Micr..:
, In:
?
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
11
Comparison of Meta-Heuristic Algorithms for Task Scheduling..:
, In:
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
13
Equational Theorem Proving Modulo:
, In:
?
2020 IEEE International Symposium on High Performance Computer Architecture (HPCA) ,
14