Yu‐Fang Chen

Hohai University — China

Computer Science · Physical Sciences

26h-index2.1kcitations177works2.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(43), Software Testing and Debugging Techniques(31), semigroups and automata theory(29), Machine Learning and Algorithms(26), Logic, programming, and type systems(22)

Publications177 total

Parameterized Verification of Quantum Circuits (Technical Report)
ArXiv.org·2025Open Access
Research on the Strategic Path of Ecological Development of Shaoguan's Silver Economy: Based on the AHP-SWOT Model
Modern Economics & Management Forum·2025Open Access
On the Verification of Quantum Circuits (Research Challenges and Opportunities)
Lecture notes in computer science·2025
Reshaping the antibiotic resistance genes in plastisphere upon deposition in sediment-water interface: Dynamic evolution and propagation mechanism
Journal of Hazardous Materials·2025· 3 cited
A near-optimal resource allocation strategy for minimizing the worse-case impact of malicious attacks on cloud networks
Journal of Cloud Computing Advances Systems and Applications·2025· 1 citedOpen Access
The Transformation of Teaching Evaluation from the Perspective of Educational Narrative: the Connotation, Possibility and Implementation Strategy of Narrative Evaluation
2025
Frequency-adaptive PI+VPI Current Control under Weak Power Grid Conditions
2025
A Uniform Framework for Handling Position Constraints in String Solving
Proceedings of the ACM on Programming Languages·2025Open Access
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Communications of the ACM·2025· 7 citedOpen Access
Word equations in synergy with regular constraints (extended version)
Constraints·2025Open Access
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
arXiv (Cornell University)·2025Open Access
Remediation strategy of biochar with different addition approaches on antibiotic resistance genes in riparian zones under dry wet alternation
Journal of Hazardous Materials·2025· 5 cited
Empowering the Training of Border Region Normal University Students with New-Quality Productive Forces: Real Challenges and Practical Strategies
2025
Adaptive Traffic Control: OpenFlow-Based Prioritization Strategies for Achieving High Quality of Service in Software-Defined Networking
IEEE Transactions on Network and Service Management·2025· 2 cited
Verifying Quantum Circuits with Level-Synchronized Tree Automata
Proceedings of the ACM on Programming Languages·2025· 7 citedOpen Access
Hyaluronic Acid/Star-Shaped Poly(L-Lysine) Microgels for Targeted Oral Delivery Therapy in Colon Inflammation Caused by Clostridioides Difficile Infection
SSRN Electronic Journal·2025Open Access
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
Lecture notes in computer science·2025· 2 citedOpen Access
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
arXiv (Cornell University)·2024· 1 citedOpen Access
Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization
2024· 6 citedOpen Access
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
arXiv (Cornell University)·2024Open Access
page 1 of 9Next →

Frequent Co-authors

Parosh Aziz Abdulla(12), Lukáš Holík(11), Bow-Yaw Wang(10), Ondřej Lengál(9), Mohamed Faouzi Atig(8), Ahmed Rezine(8), Chih-Duo Hong(7), Philipp Rümmer(6), Ming-Hsien Tsai(6), Yih-Kuen Tsay(5), Boqiang Lin(4), Zhenhua Yan(4), G. R. Lu(4), Yong Li(4), Lijun Zhang(4), Richard Mayr(3), Tomáš Vojnar(3), Azadeh Farzan(3), Edmund M. Clarke(3), Carl Leonardsson(3)