pith. sign in

Yu-Fang Chen

Identifiers

  • name variant Yu-Fang Chen 0.60 · backfill

Papers (21)

  1. SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study quant-ph · 2026 · author #1
  2. A Practical Specification Language for Automatic Quantum Program Verification (Technical Report) cs.LO · 2026 · author #2
  3. Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting cs.SC · 2026 · author #3
  4. A Uniform Framework for Handling Position Constraints in String Solving (Technical Report) cs.LO · 2025 · author #1
  5. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report) cs.LO · 2024 · author #1
  6. Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) cs.LO · 2024 · author #3
  7. Constraint-based Adversarial Example Synthesis cs.CR · 2024 · author #3
  8. Z3-Noodler: An Automata-based String Solver (Technical Report) cs.LO · 2023 · author #1
  9. A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report) cs.LO · 2023 · author #1
  10. An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report) cs.LO · 2023 · author #1
  11. Word Equations in Synergy with Regular Constraints (Technical Report) cs.LO · 2022 · author #2
  12. Weakly Durable High-Performance Transactions cs.DB · 2021 · author #2
  13. Simulations in Rank-Based B\"uchi Automata Complementation (Technical Report) cs.FL · 2019 · author #1
  14. Learning to Prove Safety over Parameterised Concurrent Systems (Full Version) cs.LO · 2017 · author #1
  15. Register automata with linear arithmetic cs.FL · 2017 · author #1
  16. An Executable Sequential Specification for Spark Aggregation cs.DC · 2017 · author #1
  17. A Novel Learning Algorithm for B\"uchi Automata based on Family of DFAs and Classification Trees cs.FL · 2016 · author #2
  18. The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach cs.FL · 2016 · author #1
  19. PAC Learning-Based Verification and Model Synthesis cs.SE · 2015 · author #1
  20. Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation cs.SE · 2015 · author #1
  21. Algorithms for Synthesizing Priorities in Component-based Systems cs.LO · 2011 · author #3

Mentions

  • 2504.07033 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2410.18540 #3 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2406.01219 #3 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2301.07747 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2310.08327 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2303.01142 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2212.02317 #2 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2110.01465 #2 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1905.07139 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1709.07139 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1704.03972 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1702.02439 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1610.07380 #2 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1605.01497 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1511.00754 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1502.04280 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 2606.12445 #1 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1511.00754 #1 · backfill · confidence 0.70 Yu-Fang Chen
  • 1107.1383 #3 · arxiv_oai · confidence 0.70 Yu-Fang Chen
  • 1502.04280 #1 · backfill · confidence 0.70 Yu-Fang Chen
  • 1107.1383 #3 · backfill · confidence 0.70 Yu-Fang Chen
  • 2605.05786 #2 · backfill · confidence 0.70 Yu-Fang Chen

Frequent Coauthors