Yuan Feng

117 papers A* 10A 6B 10C 1Misc 2Journal 83Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Expressive Assertion Language for Quantum Programs.
Proc. ACM Program. Lang.
Bonan Su, Yuan Feng, Mingsheng Ying, Li Zhou
2026 — conf
Borrowing Dirty Qubits in Quantum Programs.
ASPLOS (2)
Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying
2026 J jnl
Milestones over Outcome: Unlocking Geometric Reasoning with Sub-Goal Verifiable Reward.
CoRR
Jianlong Chen, Daocheng Fu, Shengze Xu, Jiawei Chen, Yuan Feng, Yue Yang, Junchi Yan, Hongyuan Zha, Renqiu Xia
2025 J jnl
Borrowing Dirty Qubits in Quantum Programs.
CoRR
Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying
2025 J jnl
GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation.
CoRR
Yuan Feng, Yue Yang, Xiaohan He, Jiatong Zhao, Jianlong Chen, Zijun Chen, Daocheng Fu, Qi Liu, Renqiu Xia, Bo Zhang, Junchi Yan
2025 A* conf
On the Trainability and Classical Simulability of Learning Matrix Product States Variationally.
AAAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li, Hakop Pashayan
2025 J jnl
TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving.
CoRR
Daocheng Fu, Zijun Chen, Renqiu Xia, Qi Liu, Yuan Feng, Hongbin Zhou, Renrui Zhang, Shiyang Feng, Peng Gao, Junchi Yan, Botian Shi, Bo Zhang, Yu Qiao
2024 A* conf
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows.
IJCAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
2024 J jnl
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search.
ACM Trans. Softw. Eng. Methodol.
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
2024 — conf
Measurement-Based Verification of Quantum Markov Chains.
CAV (3)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2024 A* conf
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation.
NeurIPS
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
2023 J jnl
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.
Inf. Comput.
Yuan Feng, Sanjiang Li
2023 A* conf
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows.
AAAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
2023 Misc conf
Decision Diagrams for Symbolic Verification of Quantum Circuits.
QCE
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
2023 J jnl
Model Checking for Probabilistic Multiagent Systems.
J. Comput. Sci. Technol.
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
2023 J jnl
Refinement calculus of quantum programs with projective assertions.
CoRR
Yuan Feng, Li Zhou, Yingte Xu
2023 A conf
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.
ICCAD
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
2023 J jnl
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.
CoRR
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
2023 J jnl
Supervised Learning Enhanced Quantum Circuit Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2023 J jnl
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.
CoRR
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
2023 A* conf
Two Views of Constrained Differential Privacy: Belief Revision and Update.
AAAI
Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng
2023 J jnl
Two Views of Constrained Differential Privacy: Belief Revision and Update.
CoRR
Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng
2023 — conf
Verification of Nondeterministic Quantum Programs.
ASPLOS (3)
Yuan Feng, Yingte Xu
2023 J jnl
Verification of Nondeterministic Quantum Programs.
CoRR
Yuan Feng, Yingte Xu
2022 J jnl
A Tensor Network based Decision Diagram for Representation of Quantum Circuits.
ACM Trans. Design Autom. Electr. Syst.
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2022 J jnl
A proof system for disjoint parallel quantum programs.
Theor. Comput. Sci.
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
2022 J jnl
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.
CoRR
Yuan Feng, Sanjiang Li
2022 A conf
Equivalence Checking of Dynamic Quantum Circuits.
ICCAD
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
2022 J jnl
Formal semantics of a classical-quantum language.
Theor. Comput. Sci.
Yuxin Deng, Yuan Feng
2022 J jnl
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework.
ACM Trans. Design Autom. Electr. Syst.
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2022 J jnl
Verification of Distributed Quantum Programs.
ACM Trans. Comput. Log.
Yuan Feng, Sanjiang Li, Mingsheng Ying
2021 A* conf
Approximate Equivalence Checking of Noisy Quantum Circuits.
DAC
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021 J jnl
Approximate Equivalence Checking of Noisy Quantum Circuits.
CoRR
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021 J jnl
Formal Semantics of a Classical-Quantum Language.
CoRR
Yuxin Deng, Yuan Feng
2021 J jnl
Measuring the constrained reachability in quantum Markov chains.
Acta Informatica
Ming Xu, Cheng-Chao Huang, Yuan Feng
2021 J jnl
Optimal Policies for Quantum Markov Decision Processes.
Int. J. Autom. Comput.
Mingsheng Ying, Yuan Feng, Shenggang Ying
2021 J jnl
Quantum Hoare Logic with Classical Variables.
ACM Trans. Quantum Comput.
Yuan Feng, Mingsheng Ying
2021 J jnl
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search.
IEEE Trans. Computers
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
2021 J jnl
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.
ACM Trans. Quantum Comput.
Xiang Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng
2021 J jnl
Symbolic Reasoning About Quantum Circuits in Coq.
J. Comput. Sci. Technol.
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
2021 J jnl
Verification of Distributed Quantum Programs.
CoRR
Yuan Feng, Sanjiang Li, Mingsheng Ying
2020 A conf
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation.
ICCAD
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2020 J jnl
A Tensor Network based Decision Diagram for Representation of Quantum Circuits.
CoRR
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2020 J jnl
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
2020 J jnl
Quantum Hoare logic with classical variables.
CoRR
Yuan Feng, Mingsheng Ying
2020 J jnl
Symbolic Reasoning about Quantum Circuits in Coq.
CoRR
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
2019 J jnl
Model Checking Applied to Quantum Physics.
CoRR
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2018 J jnl
Decomposition of quantum Markov chains and its applications.
J. Comput. Syst. Sci.
Ji Guan, Yuan Feng, Mingsheng Ying
2018 A* conf
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
IJCAI
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
2018 J jnl
Model Checking Quantum Systems - A Survey.
CoRR
Mingsheng Ying, Yuan Feng
2018 J jnl
Super-activating quantum memory with entanglement.
Quantum Inf. Comput.
Ji Guan, Yuan Feng, Mingsheng Ying
2017 Misc conf
Bisimulations for probabilistic linear lambda calculi.
TASE
Yuxin Deng, Yuan Feng
2017 B conf
Model Checking Omega-regular Properties for Quantum Markov Chains .
CONCUR
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
2017 J jnl
Precisely deciding CSL formulas through approximate model checking for CTMCs.
J. Comput. Syst. Sci.
Yuan Feng, Lijun Zhang
2017 A* conf
ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
ICSE
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum
2017 J jnl
Probabilistic bisimilarity as testing equivalence.
Inf. Comput.
Yuxin Deng, Yuan Feng
2017 J jnl
Quantum Privacy-Preserving Data Analytics.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2017 J jnl
Quantum Privacy-Preserving Perceptron.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2017 J jnl
Super-activating Quantum Memory with Entanglement.
CoRR
Ji Guan, Yuan Feng, Mingsheng Ying
2016 B conf
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
FASE
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
2016 J jnl
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng.
Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
2016 C conf
Verify LTL with Fairness Assumptions Efficiently.
TIME
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
2016 J jnl
Verify LTL with Fairness Assumptions Efficiently.
CoRR
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
2015 J jnl
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm.
Distributed Comput.
Yuan Feng, Lijun Zhang
2015 A conf
Decentralized Bisimulation for Multiagent Systems.
AAMAS
Lei Song, Yuan Feng, Lijun Zhang
2015 J jnl
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.
CoRR
Yuan Feng, Lei Song, Lijun Zhang
2015 A conf
Extend Transferable Belief Models with Probabilistic Priors.
UAI
Chunlai Zhou, Yuan Feng
2015 B conf
On Coinduction and Quantum Lambda Calculi.
CONCUR
Yuxin Deng, Yuan Feng, Ugo Dal Lago
2015 J jnl
On hybrid models of quantum finite automata.
J. Comput. Syst. Sci.
Lvzhou Li, Yuan Feng
2015 A* conf
Planning for Stochastic Games with Co-Safe Objectives.
IJCAI
Lei Song, Yuan Feng, Lijun Zhang
2015 B conf
QPMC: A Model Checker for Quantum Programs and Protocols.
FM
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
2015 J jnl
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.
Inf. Comput.
Lvzhou Li, Yuan Feng
2015 J jnl
Quantum Privacy-Preserving Data Mining.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2015 B conf
Toward Automatic Verification of Quantum Cryptographic Protocols.
CONCUR
Yuan Feng, Mingsheng Ying
2015 J jnl
Toward automatic verification of quantum cryptographic protocols.
CoRR
Yuan Feng, Mingsheng Ying
2014 B conf
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm.
CONCUR
Yuan Feng, Lijun Zhang
2014 J jnl
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.
CoRR
Mingsheng Ying, Nengkun Yu, Yuan Feng
2014 J jnl
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log.
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
2014 B conf
Perturbation Analysis in Verification of Discrete-Time Markov Chains.
CONCUR
Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su
2014 J jnl
Symbolic Bisimulation for Quantum Processes.
ACM Trans. Comput. Log.
Yuan Feng, Yuxin Deng, Mingsheng Ying
2014 B conf
When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
FM
Yuan Feng, Lijun Zhang
2013 — conf
A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process.
AsiaSim
Yuan Feng, Wenhui Fan, Yuanhui Qin
2013 J jnl
A tighter bound for the self-stabilization time in Herman's algorithm.
Inf. Process. Lett.
Yuan Feng, Lijun Zhang
2013 J jnl
Model checking quantum Markov chains.
J. Comput. Syst. Sci.
Yuan Feng, Nengkun Yu, Mingsheng Ying
2013 J jnl
Quantum Information-Flow Security: Noninterference and Access Control
CoRR
Mingsheng Ying, Yuan Feng, Nengkun Yu
2013 A conf
Quantum Information-Flow Security: Noninterference and Access Control.
CSF
Mingsheng Ying, Yuan Feng, Nengkun Yu
2013 B conf
Reachability Analysis of Recursive Quantum Markov Chains.
MFCS
Yuan Feng, Nengkun Yu, Mingsheng Ying
2013 B conf
Reachability Probabilities of Quantum Markov Chains.
CONCUR
Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
2013 J jnl
Verification of quantum programs.
Sci. Comput. Program.
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
2013 J jnl
When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
CoRR
Yuan Feng, Lijun Zhang
2012 J jnl
Bisimulation for Quantum Processes.
ACM Trans. Program. Lang. Syst.
Yuan Feng, Runyao Duan, Mingsheng Ying
2012 J jnl
Defining Quantum Control Flow
CoRR
Mingsheng Ying, Nengkun Yu, Yuan Feng
2012 J jnl
Model checking quantum Markov chains
CoRR
Yuan Feng, Nengkun Yu, Mingsheng Ying
2012 J jnl
On hybrid models of quantum finite automata
CoRR
Lvzhou Li, Yuan Feng
2012 J jnl
Open Bisimulation for Quantum Processes
CoRR
Yuxin Deng, Yuan Feng
2012 — conf
Open Bisimulation for Quantum Processes.
IFIP TCS
Yuxin Deng, Yuan Feng
2012 J jnl
Symbolic bisimulation for quantum processes
CoRR
Yuan Feng, Yuxin Deng, Mingsheng Ying
2011 J jnl
A Flowchart Language for Quantum Programming.
IEEE Trans. Software Eng.
Mingsheng Ying, Yuan Feng
2011 A* conf
Bisimulation for quantum processes.
POPL
Yuan Feng, Runyao Duan, Mingsheng Ying
2011 J jnl
Verification of Quantum Programs
CoRR
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
2010 J jnl
Bisimulation for quantum processes
CoRR
Yuan Feng, Runyao Duan, Mingsheng Ying
2010 J jnl
Quantum loop programs.
Acta Informatica
Mingsheng Ying, Yuan Feng
2009 J jnl
An Algebraic Language for Distributed Quantum Computing.
IEEE Trans. Computers
Mingsheng Ying, Yuan Feng
2009 J jnl
An algebra of quantum processes.
ACM Trans. Comput. Log.
Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji
2009 J jnl
Characterizing locally indistinguishable orthogonal product states.
IEEE Trans. Inf. Theory
Yuan Feng, Yaoyun Shi
2009 J jnl
Distinguishability of Quantum States by Separable Operations.
IEEE Trans. Inf. Theory
Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying
2009 J jnl
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.
Quantum Inf. Comput.
Yuan Feng, Runyao Duan, Mingsheng Ying
2008 J jnl
Parameter Estimation of Quantum Channels.
IEEE Trans. Inf. Theory
Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying
2007 J jnl
Commutativity of quantum weakest preconditions.
Inf. Process. Lett.
Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
2007 J jnl
Probabilistic bisimulations for quantum processes.
Inf. Comput.
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2007 J jnl
Proof rules for the correctness of quantum programs.
Theor. Comput. Sci.
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2006 J jnl
Partial Recovery of Quantum Entanglement.
IEEE Trans. Inf. Theory
Runyao Duan, Yuan Feng, Mingsheng Ying
2006 J jnl
Probabilistic bisimilarities between quantum processes
CoRR
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2006 J jnl
Some Issues in Quantum Information Theory.
J. Comput. Sci. Technol.
Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying
2005 J jnl
Catalyst-assisted probabilistic entanglement transformation.
IEEE Trans. Inf. Theory
Yuan Feng, Runyao Duan, Mingsheng Ying
2005 J jnl
Proof rules for purely quantum programs
CoRR
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2004 J jnl
Process Algebra Approach to Reasoning About Concurrent Actions.
J. Comput. Sci. Technol.
Yuan Feng, Mingsheng Ying