![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Yuan Feng 0001
Person information
- affiliation: University of Technology Sydney, Center for Quantum Software and Information, NSW, Australia
- affiliation: Chinese Academy of Sciences, State Key Laboratory of Computer Science, Beijing
- affiliation: Tsinghua University, Department of Computer Science and Technology, China
Other persons with the same name
- Yuan Feng — disambiguation page
- Yuan Feng 0002
— Zhejiang University of Technology, Institute of Computer Vision, Hangzhou, China (and 1 more)
- Yuan Feng 0003
— Ocean University of China, College of Information Science and Engineering, Qingdao, China
- Yuan Feng 0004
— Eindhoven University of Technology, Netherlands
- Yuan Feng 0005 — University of Toronto, Department of Electrical and Computer Engineering, Canada (and 1 more)
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j43]Jiawei Ren
, Yulei Sui
, Xiao Cheng
, Yuan Feng
, Jianjun Zhao
:
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. ACM Trans. Softw. Eng. Methodol. 33(5): 119:1-119:29 (2024) - [c30]Ji Guan
, Yuan Feng
, Andrea Turrini
, Mingsheng Ying
:
Measurement-Based Verification of Quantum Markov Chains. CAV (3) 2024: 533-554 - 2023
- [j42]Yuan Feng
, Sanjiang Li
:
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Inf. Comput. 294: 105077 (2023) - [j41]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng
, Lijun Zhang:
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38(5): 1162-1186 (2023) - [j40]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(2): 437-447 (2023) - [c29]Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng:
Two Views of Constrained Differential Privacy: Belief Revision and Update. AAAI 2023: 6450-6457 - [c28]Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li:
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. AAAI 2023: 6770-6778 - [c27]Yuan Feng
, Yingte Xu
:
Verification of Nondeterministic Quantum Programs. ASPLOS (3) 2023: 789-805 - [c26]Sanjiang Li
, Ky Dan Nguyen, Zachary Clare, Yuan Feng:
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. ICCAD 2023: 1-9 - [c25]Xin Hong, Wei-Jia Huang
, Wei-Chen Chien, Yuan Feng
, Min-Hsiu Hsieh, Sanjiang Li
, Chia-Shun Yeh, Mingsheng Ying
:
Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE 2023: 970-977 - [i32]Yuan Feng
, Yingte Xu:
Verification of Nondeterministic Quantum Programs. CoRR abs/2302.07973 (2023) - [i31]Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng:
Two Views of Constrained Differential Privacy: Belief Revision and Update. CoRR abs/2303.00228 (2023) - [i30]Sanjiang Li
, Ky Dan Nguyen, Zachary Clare, Yuan Feng
:
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. CoRR abs/2308.00876 (2023) - [i29]Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan:
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models. CoRR abs/2311.10483 (2023) - [i28]Yuan Feng, Li Zhou, Yingte Xu:
Refinement calculus of quantum programs with projective assertions. CoRR abs/2311.14215 (2023) - 2022
- [j39]Mingsheng Ying
, Li Zhou, Yangjia Li, Yuan Feng
:
A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897: 164-184 (2022) - [j38]Yuxin Deng
, Yuan Feng
:
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913: 73-93 (2022) - [j37]Yuan Feng
, Sanjiang Li
, Mingsheng Ying
:
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23(3): 19:1-19:40 (2022) - [j36]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Design Autom. Electr. Syst. 27(6): 59:1-59:27 (2022) - [j35]Xin Hong
, Xiangzhen Zhou
, Sanjiang Li
, Yuan Feng
, Mingsheng Ying
:
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. 27(6): 60:1-60:30 (2022) - [c24]Xin Hong, Yuan Feng
, Sanjiang Li
, Mingsheng Ying
:
Equivalence Checking of Dynamic Quantum Circuits. ICCAD 2022: 127:1-127:8 - [i27]Yuan Feng, Sanjiang Li:
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. CoRR abs/2206.13772 (2022) - 2021
- [j34]Ming Xu
, Cheng-Chao Huang, Yuan Feng
:
Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58(6): 653-674 (2021) - [j33]Mingsheng Ying
, Yuan Feng
, Shenggang Ying
:
Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. 18(3): 410-421 (2021) - [j32]Wenjun Shi
, Qinxiang Cao, Yuxin Deng
, Hanru Jiang
, Yuan Feng
:
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36(6): 1291-1306 (2021) - [j31]Sanjiang Li
, Xiangzhen Zhou
, Yuan Feng
:
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Trans. Computers 70(11): 1777-1788 (2021) - [c23]Xin Hong, Mingsheng Ying
, Yuan Feng
, Xiangzhen Zhou
, Sanjiang Li
:
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC 2021: 637-642 - [i26]Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li:
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR abs/2103.11595 (2021) - [i25]Yuan Feng, Sanjiang Li, Mingsheng Ying:
Verification of Distributed Quantum Programs. CoRR abs/2104.14796 (2021) - [i24]Yuxin Deng, Yuan Feng:
Formal Semantics of a Classical-Quantum Language. CoRR abs/2107.00804 (2021) - 2020
- [j30]Xiangzhen Zhou
, Sanjiang Li
, Yuan Feng
:
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4683-4694 (2020) - [c22]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation. ICCAD 2020: 138:1-138:7 - [i23]Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng:
Symbolic Reasoning about Quantum Circuits in Coq. CoRR abs/2005.11023 (2020) - [i22]Yuan Feng, Mingsheng Ying:
Quantum Hoare logic with classical variables. CoRR abs/2008.06812 (2020) - [i21]Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying:
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR abs/2009.02618 (2020)
2010 – 2019
- 2019
- [i20]Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying:
Model Checking Applied to Quantum Physics. CoRR abs/1902.03218 (2019) - 2018
- [j29]Ji Guan
, Yuan Feng
, Mingsheng Ying
:
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95: 55-68 (2018) - [j28]Ji Guan, Yuan Feng, Mingsheng Ying
:
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18(13&14): 1115-1124 (2018) - [c21]Chen Fu
, Andrea Turrini
, Xiaowei Huang, Lei Song, Yuan Feng
, Lijun Zhang:
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI 2018: 4757-4763 - [i19]Mingsheng Ying, Yuan Feng:
Model Checking Quantum Systems - A Survey. CoRR abs/1807.09466 (2018) - 2017
- [j27]Yuxin Deng
, Yuan Feng
:
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257: 58-64 (2017) - [j26]Yuan Feng
, Lijun Zhang:
Precisely deciding CSL formulas through approximate model checking for CTMCs. J. Comput. Syst. Sci. 89: 361-371 (2017) - [c20]Yuan Feng
, Ernst Moritz Hahn, Andrea Turrini
, Shenggang Ying:
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR 2017: 35:1-35:16 - [c19]Guoxin Su
, Taolue Chen
, Yuan Feng
, David S. Rosenblum:
ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE 2017: 484-495 - [c18]Yuxin Deng, Yuan Feng
:
Bisimulations for probabilistic linear lambda calculi. TASE 2017: 1-8 - [i18]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Data Analytics. CoRR abs/1702.04420 (2017) - [i17]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Perceptron. CoRR abs/1707.09893 (2017) - [i16]Ji Guan, Yuan Feng, Mingsheng Ying:
Super-activating Quantum Memory with Entanglement. CoRR abs/1708.00700 (2017) - 2016
- [j25]Guoxin Su
, Yuan Feng
, Taolue Chen
, David S. Rosenblum:
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Trans. Software Eng. 42(7): 623-639 (2016) - [c17]Guoxin Su, Taolue Chen
, Yuan Feng
, David S. Rosenblum, P. S. Thiagarajan:
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. FASE 2016: 269-286 - [c16]Yong Li
, Lei Song, Yuan Feng
, Lijun Zhang:
Verify LTL with Fairness Assumptions Efficiently. TIME 2016: 41-50 - [i15]Yong Li, Lei Song, Yuan Feng, Lijun Zhang:
Verify LTL with Fairness Assumptions Efficiently. CoRR abs/1606.08116 (2016) - 2015
- [j24]Yuan Feng
, Lijun Zhang:
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Comput. 28(4): 233-244 (2015) - [j23]Lvzhou Li, Yuan Feng
:
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Inf. Comput. 244: 229-244 (2015) - [j22]Lvzhou Li, Yuan Feng
:
On hybrid models of quantum finite automata. J. Comput. Syst. Sci. 81(7): 1144-1158 (2015) - [c15]Lei Song, Yuan Feng, Lijun Zhang:
Decentralized Bisimulation for Multiagent Systems. AAMAS 2015: 209-217 - [c14]Yuxin Deng
, Yuan Feng
, Ugo Dal Lago
:
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440 - [c13]Yuan Feng
, Mingsheng Ying
:
Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR 2015: 441-455 - [c12]Yuan Feng
, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang:
QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: 265-272 - [c11]Lei Song, Yuan Feng, Lijun Zhang:
Planning for Stochastic Games with Co-Safe Objectives. IJCAI 2015: 1682-1688 - [c10]Chunlai Zhou, Yuan Feng:
Extend Transferable Belief Models with Probabilistic Priors. UAI 2015: 962-971 - [i14]Yuan Feng, Mingsheng Ying:
Toward automatic verification of quantum cryptographic protocols. CoRR abs/1507.05278 (2015) - [i13]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Data Mining. CoRR abs/1512.04009 (2015) - [i12]Yuan Feng, Lei Song, Lijun Zhang:
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata. CoRR abs/1512.05027 (2015) - 2014
- [j21]Yuan Feng
, Yuxin Deng
, Mingsheng Ying
:
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014) - [j20]Mingsheng Ying
, Yangjia Li, Nengkun Yu
, Yuan Feng
:
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15(3): 22:1-22:31 (2014) - [c9]Taolue Chen
, Yuan Feng
, David S. Rosenblum, Guoxin Su
:
Perturbation Analysis in Verification of Discrete-Time Markov Chains. CONCUR 2014: 218-233 - [c8]Yuan Feng
, Lijun Zhang:
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. CONCUR 2014: 342-356 - [c7]Yuan Feng
, Lijun Zhang:
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM 2014: 247-262 - [i11]Mingsheng Ying, Nengkun Yu, Yuan Feng:
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR abs/1402.5172 (2014) - 2013
- [j19]Yuan Feng
, Lijun Zhang:
A tighter bound for the self-stabilization time in Herman's algorithm. Inf. Process. Lett. 113(13): 486-488 (2013) - [j18]Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Model checking quantum Markov chains. J. Comput. Syst. Sci. 79(7): 1181-1198 (2013) - [j17]Mingsheng Ying
, Nengkun Yu
, Yuan Feng
, Runyao Duan:
Verification of quantum programs. Sci. Comput. Program. 78(9): 1679-1700 (2013) - [c6]Yuan Feng
, Wenhui Fan, Yuanhui Qin:
A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process. AsiaSim 2013: 385-390 - [c5]Shenggang Ying, Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Reachability Probabilities of Quantum Markov Chains. CONCUR 2013: 334-348 - [c4]Mingsheng Ying
, Yuan Feng
, Nengkun Yu
:
Quantum Information-Flow Security: Noninterference and Access Control. CSF 2013: 130-144 - [c3]Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Reachability Analysis of Recursive Quantum Markov Chains. MFCS 2013: 385-396 - [i10]Mingsheng Ying, Yuan Feng, Nengkun Yu:
Quantum Information-Flow Security: Noninterference and Access Control. CoRR abs/1301.6804 (2013) - [i9]Yuan Feng, Lijun Zhang:
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. CoRR abs/1311.3396 (2013) - 2012
- [j16]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. 34(4): 17:1-17:43 (2012) - [c2]Yuxin Deng
, Yuan Feng
:
Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133 - [i8]Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. CoRR abs/1201.0416 (2012) - [i7]Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012) - [i6]Yuan Feng, Nengkun Yu, Mingsheng Ying:
Model checking quantum Markov chains. CoRR abs/1205.2187 (2012) - [i5]Mingsheng Ying, Nengkun Yu, Yuan Feng:
Defining Quantum Control Flow. CoRR abs/1209.4379 (2012) - 2011
- [j15]Mingsheng Ying
, Yuan Feng
:
A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37(4): 466-485 (2011) - [c1]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Bisimulation for quantum processes. POPL 2011: 523-534 - [i4]Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
Verification of Quantum Programs. CoRR abs/1106.4063 (2011) - 2010
- [j14]Mingsheng Ying
, Yuan Feng
:
Quantum loop programs. Acta Informatica 47(4): 221-250 (2010) - [i3]Yuan Feng, Runyao Duan, Mingsheng Ying:
Bisimulation for quantum processes. CoRR abs/1007.2584 (2010)
2000 – 2009
- 2009
- [j13]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Inf. Comput. 9(11&12): 997-1012 (2009) - [j12]Mingsheng Ying
, Yuan Feng
:
An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58(6): 728-743 (2009) - [j11]Runyao Duan, Yuan Feng
, Yu Xin, Mingsheng Ying
:
Distinguishability of Quantum States by Separable Operations. IEEE Trans. Inf. Theory 55(3): 1320-1330 (2009) - [j10]Yuan Feng
, Yaoyun Shi:
Characterizing locally indistinguishable orthogonal product states. IEEE Trans. Inf. Theory 55(6): 2799-2806 (2009) - [j9]Mingsheng Ying
, Yuan Feng
, Runyao Duan, Zheng-Feng Ji
:
An algebra of quantum processes. ACM Trans. Comput. Log. 10(3): 19:1-19:36 (2009) - 2008
- [j8]Zheng-Feng Ji
, Guoming Wang, Runyao Duan, Yuan Feng
, Mingsheng Ying
:
Parameter Estimation of Quantum Channels. IEEE Trans. Inf. Theory 54(11): 5172-5185 (2008) - 2007
- [j7]Yuan Feng
, Runyao Duan, Zheng-Feng Ji
, Mingsheng Ying
:
Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007) - [j6]Mingsheng Ying
, Jianxin Chen
, Yuan Feng
, Runyao Duan:
Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007) - [j5]Yuan Feng
, Runyao Duan, Zheng-Feng Ji
, Mingsheng Ying
:
Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386(1-2): 151-166 (2007) - 2006
- [j4]Runyao Duan, Zheng-Feng Ji
, Yuan Feng
, Mingsheng Ying
:
Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006) - [j3]Runyao Duan, Yuan Feng
, Mingsheng Ying
:
Partial Recovery of Quantum Entanglement. IEEE Trans. Inf. Theory 52(7): 3080-3104 (2006) - [i2]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Probabilistic bisimilarities between quantum processes. CoRR abs/cs/0601014 (2006) - 2005
- [j2]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Catalyst-assisted probabilistic entanglement transformation. IEEE Trans. Inf. Theory 51(3): 1090-1101 (2005) - [i1]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Proof rules for purely quantum programs. CoRR abs/cs/0507043 (2005) - 2004
- [j1]Yuan Feng
, Mingsheng Ying
:
Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364-373 (2004)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint