YC
Yu-Fang Chen
cs.LOcs.FLcs.SEaccess controladmission controlAntibiotic resistance genesBiocharCharcoalComputer Communication Networkscs.CR
On Valency
published · living versionsW_92m85srx·v1 · currentpublished
Automated Verification of Hamiltonian Simulation by Quantum Signal Processing
with Min Lai, Shih-Han Hung
1 version
Preprints & journals
26 papers in the corpus · 2011–2025Parameterized Verification of Quantum Circuits (Technical Report)2511.19897v3 · Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko et al.2025 · 0 citationsarXiv
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)2504.07033v2 · Yu-Fang Chen, Vojtech Havlena, Michal Hecko et al.2025 · 0 citationsarXiv
Remediation strategy of biochar with different addition approaches on antibiotic resistance genes in riparian zones under dry wet alternation.40215939 · Chen, Yufang, Yan, Zhenhua, Su, Pengpeng et al.2025 · 7 citationsJournal of hazardous materials. 2025;492:138207
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)2411.09121v2 · Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh et al.2024 · 1 citationarXiv
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)2410.18540v1 · Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen et al.2024 · 1 citationarXiv
Constraint-based Adversarial Example Synthesis2406.01219v1 · Fang Yu, Ya-Yu Chi, Yu-Fang Chen2024 · 0 citationsarXiv
Z3-Noodler: An Automata-based String Solver (Technical Report)2310.08327v2 · Yu-Fang Chen, David Chocholat'y, Vojtech Havlena et al.2023 · 1 citationarXiv
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)2303.01142v1 · Yu-Fang Chen, Vojtech Havlena, Ondrej Leng'al et al.2023 · 0 citationsarXiv
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)2301.07747v2 · Yu-Fang Chen, Kai-Min Chung, Ondrej Leng'al et al.2023 · 1 citationarXiv
Generation of vector vortex beams by axially symmetric sheared polymer network liquid crystals.36538441 · Lu, Ting-Hua, Wang, Yu-Jen, Chen, Yu-Fang et al.2022 · 3 citationsOptics letters. 2022;47(24):6373-6376
Word Equations in Synergy with Regular Constraints (Technical Report)2212.02317v1 · Frantisek Blahoudek, Yu-Fang Chen, David Chocholat'y et al.2022 · 1 citationarXiv
An Optimization-Based Orchestrator for Resource Access and Operation Management in Sliced 5G Core Networks.35009663 · Hsiao, Chiu-Han, Wen, Yean-Fu, Lin, Frank Yeong-Sung et al.2022 · 1 citationSensors (Basel, Switzerland). 2021;22(1)
Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation Errors.34770428 · Hsiao, Chiu-Han, Lin, Frank Yeong-Sung, Yang, Hao-Jyun et al.2021 · 2 citationsSensors (Basel, Switzerland). 2021;21(21)
Weakly Durable High-Performance Transactions2110.01465v1 · Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko2021 · 1 citationarXiv
Optimization-Based Resource Management Algorithms with Considerations of Client Satisfaction and High Availability in Elastic 5G Network Slices.33800232 · Hsiao, Chiu-Han, Lin, Frank Yeong-Sung, Fang, Evana Szu-Han et al.2021 · 9 citationsSensors (Basel, Switzerland). 2021;21(5)
Simulations in Rank-Based Büchi Automata Complementation (Technical Report)1905.07139v2 · Yu-Fang Chen, Vojtech Havlena, Ondrej Leng'al2019 · 0 citationsarXiv
Structure-based design of free fatty acid receptor 1 agonists bearing non-biphenyl scaffold.29980115 · Li, Zheng, Chen, Yueming, Zhang, Yuhan et al.2019 · 10 citationsBioorganic chemistry. 2018;80:296-302
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)1709.07139v2 · Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin et al.2017 · 0 citationsarXiv
Register automata with linear arithmetic1704.03972v2 · Yu-Fang Chen, Ondrej Lengal, Tony Tan et al.2017 · 15 citationsarXiv
An Executable Sequential Specification for Spark Aggregation1702.02439v1 · Yu-Fang Chen, Chih-Duo Hong, Ondrej Leng'al et al.2017 · 17 citationsarXiv
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees1610.07380v2 · Yong Li, Yu-Fang Chen, Lijun Zhang et al.2016 · 1 citationarXiv
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach1605.01497v3 · Yu-Fang Chen, Lei Song, Zhilin Wu2016 · 16 citationsarXiv
PAC Learning-Based Verification and Model Synthesis1511.00754v1 · Yu-Fang Chen, Chiao Hsieh, Ondrej Leng'al et al.2015 · 23 citationsarXiv
RELATIONSHIPS BETWEEN THE CONGRUENCE OF REQUIRED AND PERCEIVED LEADERSHIP BEHAVIOR AND SATISFACTION IN ATHLETES.26340048 · Kao, San-Fu, Watson Ii, Jack C, Chen, Yu-Fang et al.2015 · 14 citationsPsychological reports. 2015;117(2):391-405
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation1502.04280v2 · Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang et al.2015 · 31 citationsarXiv
Algorithms for Synthesizing Priorities in Component-based Systems1107.1383v2 · Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen et al.2011 · 14 citationsarXiv
Career total: 143 works. 26 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.