default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuangyu Hu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
2020 – today
- 2026
[j7]Yingpei Wu, Xiangrun Meng
, Jialin Wang, Yanchun Zhang, Minjia Guan, Guangyu Hu, Zhanming Wan:
MRHormer: A multi-scale heterogeneous graph transformer for inductive herb-target interaction prediction. Knowl. Based Syst. 336: 115262 (2026)- [c20]Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang:
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning. AAAI 2026: 863-872 - [c19]Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng:
Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization. ACL (Findings) 2026: 23189-23203 - [c18]Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang:
A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. CAV (1) 2026: 357-379 - [c17]Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, Tsung-Yi Ho:
eLogic: An E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs. DATE 2026: 1-6 - [c16]Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, Hongce Zhang:
FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. DATE 2026: 1-7 - [c15]Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Wei Zhang:
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs. FCCM 2026: 257 - [c14]Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan:
SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. ISCAS 2026: 4844-4848 - [c13]Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang:
EvolveGen : Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning. TACAS (2) 2026: 334-352 - [i13]Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan:
SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. CoRR abs/2602.20471 (2026) - [i12]Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang:
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning. CoRR abs/2602.22609 (2026) - [i11]Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang:
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking. CoRR abs/2602.24010 (2026) - [i10]Guangyu Hu, Chen Chen, Xiaofeng Zhou, Jiaxi Zhang, Wei Zhang, Hongce Zhang:
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking. CoRR abs/2603.25048 (2026) - [i9]Mingkai Miao, Guangyu Hu, Ziyi Yang, Hongce Zhang:
IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking. CoRR abs/2604.03232 (2026) - [i8]Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng:
Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization. CoRR abs/2604.17188 (2026) - [i7]Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang:
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. CoRR abs/2604.21688 (2026) - [i6]Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Wei Zhang:
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs. CoRR abs/2604.22285 (2026) - [i5]Jingren Wang, Guangyu Hu, Shiju Lin, Hongce Zhang:
Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation. CoRR abs/2605.08743 (2026) - 2025
- [c12]Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang:
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. DAC 2025: 1-7 - [c11]Guangyu Hu, Yang Cao, Yihang Dai:
Interactive Design of Plant Cultivation Based on an App Platform: Application Research of Virtual IP Characters and Affective Computing. HCI (85) 2025: 226-235 - [c10]Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu:
Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. ICCD 2025: 298-305 - [i4]Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang:
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. CoRR abs/2504.11574 (2025) - [i3]Ziyi Yang, Guangyu Hu, Mingkai Miao, Changyuan Yu, Hongce Zhang:
SMT-Sweep: Word-Level Representation Unification for Hardware Verification. CoRR abs/2507.02008 (2025) - [i2]Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang:
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning. CoRR abs/2511.08315 (2025) - 2024
- [j6]Chao Guo, Guangyu Hu, Chenglei Pan, Fenghua Li, Haitao Xu, Zhu Han:
Authentication for Satellite Internet Resource Slicing Access Based on Trust Measurement. IEEE Internet Things J. 11(12): 21788-21806 (2024) - [c9]Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang:
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction. ASPDAC 2024: 262-268 - [c8]Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang:
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. DAC 2024: 124:1-124:6 - [i1]Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang:
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. CoRR abs/2403.14242 (2024) - 2023
- [j5]Wenji Fang, Guangyu Hu, Hongce Zhang:
r-map: Relating Implementation and Specification in Hardware Refinement Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(12): 5113-5126 (2023) - [c7]Guangyu Hu, Wei Zhang, Hongce Zhang:
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking. MLCAD 2023: 1-6 - 2022
- [j4]Wenhao Wang, Guangyu Hu, Xiaolin Xu, Jiliang Zhang:
CRAlert: Hardware-Assisted Code Reuse Attack Detection. IEEE Trans. Circuits Syst. II Express Briefs 69(3): 1607-1611 (2022) - [c6]Hengxin Yin, Guangyu Hu, Fei Wang, Pengfei Ren:
Hybrid CTC Language Identification Structure for Mandarin-English Code-Switching ASR. ISCSLP 2022: 537-541
2010 – 2019
- 2018
- [j3]Guangyu Hu, Qing Gao, Huibin Cao, Hongqing Pan, Feng Shuang:
Decoupling Analysis of a Six-Dimensional Force Sensor Bridge Fault. IEEE Access 6: 7029-7036 (2018) - [j2]Yuyun Xu, Xuekun Zhuang, Guangyu Hu, Hongqing Pan, Feng Shuang:
A Tactile Sensor Decoupling Process. Sensors 18(10): 3515 (2018) - 2015
- [c5]Guangyu Hu, Xuan Wei, Hongqing Pan, Yubing Wang, YunJian Ge, Feng Shuang:
Design in data acquisition system of Fluke PM6306 based on LabVIEW. ICIA 2015: 2859-2862 - [c4]Hongqing Pan, Guangyu Hu, Pingguo Cao, Yubing Wang, Yunjian Ge, Feng Shuang:
A thin film pressure sensor with double sensitive units. ICIA 2015: 2947-2948 - 2014
- [c3]Xiang Zhao, Guangyu Hu, Zhigong Wu:
The Smart grid scheduling based on contract net protocol with trust model. ICIS 2014: 419-424 - [c2]Xiang Zhao, Guangyu Hu, Zhigong Wu:
Masquerade Detection Using Support Vector Machines in the Smart Grid. CSO 2014: 30-34 - 2013
- [j1]Ke Rong, Guangyu Hu, Jie Hou, Rufei Ma, Yongjiang Shi:
Business ecosystem extension: facilitating the technology substitution. Int. J. Technol. Manag. 63(3/4): 268-294 (2013) - 2011
- [c1]Hairui Zhou, Jian Li, Fei Hu, Guangyu Hu, Yeqiong Song, Lina He:
A novel traffic shaping algorithm with delay jitter constraints for real-time multimedia networks. ETFA 2011: 1-4
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-08-04 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
