Yu-Fang Chen

99 papers A* 11A 13B 15C 1Journal 38Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
An optimization-based resource orchestration algorithm for enhanced admission control and QoS assurance in network slicing of software-defined networks.
Comput. Networks
Yu-Fang Chen, Frank Yeong-Sung Lin, Wei-Cheng Shih, Tzu-Lung Sun, Ming-Chi Tsai, Yennun Huang, Chiu-Han Hsiao
2026 — conf
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting.
TACAS (2)
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei
2026 J jnl
Parameterized Verification of Quantum Circuits.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2026 B ed.
Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
VMCAI
Yu-Fang Chen, Thomas P. Jensen, Ondrej Lengál
2025 J jnl
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report).
CoRR
Yu-Fang Chen, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál
2025 J jnl
A Uniform Framework for Handling Position Constraints in String Solving.
Proc. ACM Program. Lang.
Yu-Fang Chen, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál
2025 J jnl
A near-optimal resource allocation strategy for minimizing the worse-case impact of malicious attacks on cloud networks.
J. Cloud Comput.
Yu-Fang Chen, Frank Yeong-Sung Lin, Kuang-Yen Tai, Chiu-Han Hsiao, Wei-Hsin Wang, Ming-Chi Tsai, Tzu-Lung Sun
2025 J jnl
Adaptive Traffic Control: OpenFlow-Based Prioritization Strategies for Achieving High Quality of Service in Software-Defined Networking.
IEEE Trans. Netw. Serv. Manag.
Yu-Fang Chen, Frank Yeong-Sung Lin, Sheng-Yung Hsu, Tzu-Lung Sun, Yennun Huang, Chiu-Han Hsiao
2025 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Commun. ACM
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2025 — conf
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
TACAS (3)
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2025 — conf
On the Verification of Quantum Circuits (Research Challenges and Opportunities).
Principles of Formal Quantitative Analysis
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Parameterized Verification of Quantum Circuits (Technical Report).
CoRR
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2025 — conf
Quantum Circuit Verification - A Potential Roadmap (Invited Talk).
FSTTCS
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan Thinniyam Srinivasan
2025 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Word equations in synergy with regular constraints (extended version).
Constraints An Int. J.
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2024 J jnl
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
Acta Informatica
Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
2024 A conf
Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization.
ICCAD
Tian-Fu Chen, Yu-Fang Chen, Jie-Hong Roland Jiang, Sára Jobranová, Ondrej Lengál
2024 J jnl
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
CoRR
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2024 J jnl
Constraint-based Adversarial Example Synthesis.
CoRR
Fang Yu, Ya-Yu Chi, Yu-Fang Chen
2024 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).
CoRR
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2024 — conf
Z3-Noodler: An Automata-based String Solver.
TACAS (1)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 J jnl
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report).
CoRR
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
2023 A conf
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
CADE
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
2023 J jnl
A symbolic algorithm for the case-split rule in solving word constraints with extensions.
J. Syst. Softw.
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
2023 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang.
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 J jnl
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 — conf
AutoQ: An Automata-Based Quantum Circuit Verifier.
CAV (3)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2023 — conf
FSD: File-related Secure Deletion to Prolong the Lifetime of Solid-State Drives.
NVMSA
Shih-Chun Chou, Yi-Shen Chen, Ping-Xiang Chen, Yuan-Hao Chang, Ming-Chang Yang, Tei-Wei Kuo, Yu-Fang Chen, Yu-Ming Chang
2023 J jnl
Solving String Constraints with Lengths by Stabilization.
Proc. ACM Program. Lang.
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 B conf
Word Equations in Synergy with Regular Constraints.
FM
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 J jnl
Z3-Noodler: An Automata-based String Solver (Technical Report).
CoRR
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2022 J jnl
An Optimization-Based Orchestrator for Resource Access and Operation Management in Sliced 5G Core Networks.
Sensors
Chiu-Han Hsiao, Yean-Fu Wen, Frank Yeong-Sung Lin, Yu-Fang Chen, Yennun Huang, Yang-Che Su, Ya-Syuan Wu
2022 J jnl
Word Equations in Synergy with Regular Constraints (Technical Report).
CoRR
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2021 J jnl
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.
Inf. Comput.
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2021 J jnl
Optimization-Based Approaches for Minimizing Deployment Costs for Wireless Sensor Networks with Bounded Estimation Errors.
Sensors
Chiu-Han Hsiao, Frank Yeong-Sung Lin, Hao-Jyun Yang, Yennun Huang, Yu-Fang Chen, Ching-Wen Tu, Si-Yao Zhang
2021 J jnl
Optimization-Based Resource Management Algorithms with Considerations of Client Satisfaction and High Availability in Elastic 5G Network Slices.
Sensors
Chiu-Han Hsiao, Frank Yeong-Sung Lin, Evana Szu-Han Fang, Yu-Fang Chen, Yean-Fu Wen, Yennun Huang, Yang-Che Su, Ya-Syuan Wu, Hsin-Yi Kuo
2021 B conf
PyCT: A Python Concolic Tester.
APLAS
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
2021 B conf
Solving Not-Substring Constraint withFlat Abstraction.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
2021 J jnl
Weakly Durable High-Performance Transactions.
CoRR
Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko
2020 B conf
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.
APLAS
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
2020 A* conf
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer.
OSDI
Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen
2020 A* conf
Efficient handling of string-number conversion.
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-hung Lin, Lukás Holík, Wei-Cheng Wu
2020 J jnl
Performance enhancement for iterative data computing with in-memory concurrent processing.
Concurr. Comput. Pract. Exp.
Yean-Fu Wen, Yu-Fang Chen, Tse Kai Chiu, Yen-Chou Chen
2020 C ed.
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
VECoS
Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu
2019 B ed.
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
ATVA
Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
2019 B conf
J-ReCoVer: Java Reducer Commutativity Verifier.
APLAS
Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu
2019 — conf
ROLL 1.0: \omega -Regular Language Learning Library.
TACAS (1)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
2019 B conf
Simulations in Rank-Based Büchi Automata Complementation.
APLAS
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
2019 J jnl
Simulations in Rank-Based Büchi Automata Complementation.
CoRR
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
2019 — conf
Synthesize Models for Quantitative Analysis Using Automata Learning.
NETYS
Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2018 A* conf
Advanced automata-based algorithms for program termination checking.
PLDI
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
2018 — conf
Learning Büchi Automata and Its Applications.
SETSS
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
2018 B conf
Trau: SMT solver for string constraints.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2018 — conf
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
2017 — conf
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
TACAS (1)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2017 — conf
An Executable Sequential Specification for Spark Aggregation.
NETYS
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 J jnl
An Executable Sequential Specification for Spark Aggregation.
CoRR
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 A* conf
Flatten and conquer: a framework for efficient analysis of string constraints.
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2017 J jnl
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2017 B conf
Learning to prove safety over parameterised concurrent systems.
FMCAD
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2017 A* conf
Register automata with linear arithmetic.
LICS
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
2017 J jnl
Register automata with linear arithmetic.
CoRR
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
2016 J jnl
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees.
CoRR
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2016 A conf
Optimal sanitization synthesis for web application vulnerability repair.
ISSTA
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
2016 A* conf
PAC learning-based verification and model synthesis.
ICSE
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2016 — conf
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach.
CAV (2)
Yu-Fang Chen, Lei Song, Zhilin Wu
2016 J jnl
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach.
CoRR
Yu-Fang Chen, Lei Song, Zhilin Wu
2015 A conf
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
TACAS
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015 A conf
Commutativity of Reducers.
TACAS
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
2015 — conf
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CAV (1)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2015 J jnl
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CoRR
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2015 — conf
Norn: An SMT Solver for String Constraints.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2015 J jnl
PAC Learning-Based Verification and Model Synthesis.
CoRR
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2014 — conf
Learning Summaries of Recursive Functions.
APSEC (1)
Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang
2014 J jnl
Mediating for reduction (on minimizing alternating Büchi automata).
Theor. Comput. Sci.
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2014 A* conf
String Constraints for Verification.
CAV
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2014 A* conf
Verifying Curve25519 Software.
CCS
Yu-Fang Chen, Chang-Hong Hsu, Hsin-hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
2014 B conf
Verifying Recursive Programs Using Intraprocedural Analyzers.
SAS
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2013 — conf
A Finite Exact Representation of Register Automata Configurations.
INFINITY
Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen
2013 A conf
BULL: A Library for Learning Algorithms of Boolean Functions.
TACAS
Yu-Fang Chen, Bow-Yaw Wang
2013 A conf
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 B conf
Automatic Fence Insertion in Integer Programs via Predicate Abstraction.
SAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A conf
Counter-Example Guided Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A* conf
Learning Boolean Functions Incrementally.
CAV
Yu-Fang Chen, Bow-Yaw Wang
2011 B conf
Advanced Ramsey-Based Büchi Automata Inclusion Testing.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2011 B conf
Algorithms for Synthesizing Priorities in Component-Based Systems.
ATVA
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 J jnl
Algorithms for Synthesizing Priorities in Component-based Systems
CoRR
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2010 A* conf
Automated Assume-Guarantee Reasoning through Implicit Learning.
CAV
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
2010 — conf
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
ISoLA (1)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu
2010 B conf
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
2010 — ed.
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010.
INFINITY
Yu-Fang Chen, Ahmed Rezine
2010 A* conf
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
CAV
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2010 A conf
When Simulation Meets Antichains.
TACAS
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
2009 A conf
Learning Minimal Separating DFA's for Compositional Verification.
TACAS
Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2009 — conf
Mediating for Reduction (on Minimizing Alternating Büchi Automata).
FSTTCS
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2009 J jnl
Tool support for learning Büchi automata and linear temporal logic.
Formal Aspects Comput.
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang
2008 A conf
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.
TACAS
Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2008 A conf
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.
TACAS
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo
2007 A conf
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.
TACAS
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan