Dai, Ruochen
84  Ergebnisse:
Personensuche X
?
1

Detecting Hardware Trojans using Model Guided Symbolic Exec..:

, In: Proceedings of the Great Lakes Symposium on VLSI 2024,
Dai, Ruochen ; Yavuz, Tuba - p. 569-573 , 2024
 
?
2

DTjRTL: A Configurable Framework for Automated Hardware Tro..:

, In: Proceedings of the Great Lakes Symposium on VLSI 2024,
Dai, Ruochen ; Liu, Zhaoxiang ; Arias, Orlando.. - p. 465-470 , 2024
 
?
3

Production of Single Crystalline Seeds of Organic Nonlinear..:

Takahashi, Hozumi ; Shiraiwa, Megumi ; Mag-usara, Valynn Katrine...
The Journal of Physical Chemistry C.  127 (2023)  28 - p. 14005-14012 , 2023
 
?
 
?
6

A Symbolic Approach to Detecting Hardware Trojans Triggered..:

Dai, Ruochen ; Yavuz, Tuba
ACM Transactions on Design Automation of Electronic Systems.  28 (2022)  2 - p. 1-31 , 2022
 
?
7

Industrial clusters, networks and resilience to the Covid-1..:

Dai, Ruochen ; Mookherjee, Dilip ; Quan, Yingyue.
Journal of Economic Behavior & Organization.  183 (2021)  - p. 433-455 , 2021
 
?
9

Compositional and morphological design of hierarchical Co2Y..:

He, Li ; Li, Xun ; Dai, Ruochen...
Journal of Alloys and Compounds.  869 (2021)  - p. 159270 , 2021
 
?
10

Study on Detection Method of Foxing on Paper Artifacts Base..:

Dai, Ruochen ; Tang, Bin ; Zhao, Mingfu..
Journal of Physics: Conference Series.  2010 (2021)  1 - p. 012177 , 2021
 
?
13

Regional Inequality in China during its Rise as a Giant Exp..:

Duan, Yuwan ; Dietzenbacher, Erik ; Los, Bart.
https://research.rug.nl/en/publications/f8cdd7ad-d2f9-4329-b87a-8a7b073ce9f9.  , 2023
 
1-15