‪Guangyu Hu‬ - ‪Google 学术搜索‬

创建我的个人资料

引用次数

	总计	2019 年至今
引用	3	3
h 指数	1	1
i10 指数	0	0

0

2

1

2022202320241 1 1

开放获取的出版物数量

0 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Hongce ZhangHong Kong University of Science and Technology在 ust.hk 的电子邮件经过验证
Cunxi YuAssistant Professor, University of Maryland, College Park在 umd.edu 的电子邮件经过验证
Yuzhe MaHong Kong University of Science and Technology (Guangzhou)在 hkust-gz.edu.cn 的电子邮件经过验证
Wei ZhangHong Kong University of Science and Technology在 ust.hk 的电子邮件经过验证

Guangyu Hu

Guangyu Hu

Ph.D. student, Hong Kong University of Science and Technology

在 connect.ust.hk 的电子邮件经过验证 - 首页

Formal Verification Model Checking Electronic Design Automation


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
CRAlert: Hardware-Assisted Code Reuse Attack Detection W Wang, G Hu, X Xu, J Zhang IEEE Transactions on Circuits and Systems II: Express Briefs 69 (3), 1607-1611, 2021	2	2021
r-map: Relating Implementation and Specification in Hardware Refinement Checking W Fang, G Hu, H Zhang IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023	1	2023
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis C Chen, G Hu, D Zuo, C Yu, Y Ma, H Zhang arXiv preprint arXiv:2403.14242, 2024		2024
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction G Hu, J Tang, C Yu, W Zhang, H Zhang The 29th Asia and South Pacific Design Automation Conference, 2024		2024
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking G Hu, W Zhang, H Zhang 2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD), 1-6, 2023		2023

系统目前无法执行此操作，请稍后再试。

文章 1–5