Search for persons
X
?
2010 11th International Conference on Electronic Packaging Technology & High Density Packaging ,
3
Investigation on fabricating high SiC volume fraction of el..:
, In:
?
2010 4th International Conference on Bioinformatics and Biomedical Engineering ,
4
Numerical Simulation of Blood Flow in Internal Carotid Arte..:
, In:
?
Advances in Mechanical Design; Mechanisms and Machine Science ,
5
Reliability Analysis of Wind Turbine Blades Based on Numeri..:
, In:
?
2023 International Electron Devices Meeting (IEDM) ,
6
High-Endurance MoS2 FeFET with Operating Voltage Fess Than ..:
, In:
?
2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) ,
7
First Stacked Nanosheet FeFET Featuring Memory Window of 1...:
, In:
?
2023 International Electron Devices Meeting (IEDM) ,
8
Status and Performance of Integration Modules Toward Scaled..:
, In:
?
2023 IEEE 6th Eurasian Conference on Educational Innovation (ECEI) ,
9
Design of Optical System of Augmented Reality Near Eye Devi..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10
CoqCryptoLine: A Verified Model Checker with Certified Resu..:
, In:
?
2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) ,
11
Implementation of a Quality Evaluation System for Chest Com..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Correction to: CoqCryptoLine: A Verified Model Checker with..:
, In:
?
2023 IEEE 6th Eurasian Conference on Educational Innovation (ECEI) ,
13
Compact Refractive Error Measuring Device:
, In:
?
2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) ,
14
Towards Epitaxial Ferroelectric HZO on n+-Si/Ge Substrates ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
15