Yuan Feng

Inf. Comput., October, 2023

Model Checking for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., September, 2023

Supervised Learning Enhanced Quantum Circuit Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

Refinement calculus of quantum programs with projective assertions.

[BibT_eX]

[DOI]

Li Zhou

Yingte Xu

CoRR, 2023

Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Decision Diagrams for Symbolic Verification of Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Verification of Nondeterministic Quantum Programs.

[BibT_eX]

[DOI]

Yingte Xu

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Two Views of Constrained Differential Privacy: Belief Revision and Update.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Quantum Circuit Transformation: A Monte Carlo Tree Search Framework.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2022

A Tensor Network based Decision Diagram for Representation of Quantum Circuits.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2022

Verification of Distributed Quantum Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2022

A proof system for disjoint parallel quantum programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Formal semantics of a classical-quantum language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Equivalence Checking of Dynamic Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

Symbolic Reasoning About Quantum Circuits in Coq.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Optimal Policies for Quantum Markov Decision Processes.

[BibT_eX]

[DOI]

Int. J. Autom. Comput., 2021

Measuring the constrained reachability in quantum Markov chains.

[BibT_eX]

[DOI]

Ming Xu

Cheng-Chao Huang

Acta Informatica, 2021

Approximate Equivalence Checking of Noisy Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Quantum Hoare logic with classical variables.

[BibT_eX]

[DOI]

CoRR, 2020

A Monte Carlo Tree Search Framework for Quantum Circuit Transformation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Model Checking Applied to Quantum Physics.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Super-activating quantum memory with entanglement.

[BibT_eX]

[DOI]

Ji Guan

Quantum Inf. Comput., 2018

Decomposition of quantum Markov chains and its applications.

[BibT_eX]

[DOI]

Ji Guan

J. Comput. Syst. Sci., 2018

Model Checking Quantum Systems - A Survey.

[BibT_eX]

[DOI]

CoRR, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Precisely deciding CSL formulas through approximate model checking for CTMCs.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2017

Probabilistic bisimilarity as testing equivalence.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Quantum Privacy-Preserving Perceptron.

[BibT_eX]

[DOI]

CoRR, 2017

Quantum Privacy-Preserving Data Analytics.

[BibT_eX]

[DOI]

CoRR, 2017

Bisimulations for probabilistic linear lambda calculi.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Model Checking Omega-regular Properties for Quantum Markov Chains .

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Verify LTL with Fairness Assumptions Efficiently.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

On hybrid models of quantum finite automata.

[BibT_eX]

[DOI]

Lvzhou Li

J. Comput. Syst. Sci., 2015

Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.

[BibT_eX]

[DOI]

Lvzhou Li

Inf. Comput., 2015

A nearly optimal upper bound for the self-stabilization time in Herman's algorithm.

[BibT_eX]

[DOI]

Distributed Comput., 2015

Quantum Privacy-Preserving Data Mining.

[BibT_eX]

[DOI]

CoRR, 2015

Extend Transferable Belief Models with Probabilistic Priors.

[BibT_eX]

[DOI]

Chunlai Zhou

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

QPMC: A Model Checker for Quantum Programs and Protocols.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Toward Automatic Verification of Quantum Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

On Coinduction and Quantum Lambda Calculi.

[BibT_eX]

[DOI]

Ugo Dal Lago

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Model-Checking Linear-Time Properties of Quantum Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Symbolic Bisimulation for Quantum Processes.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.

[BibT_eX]

[DOI]

CoRR, 2014

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Verification of quantum programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Model checking quantum Markov chains.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

A tighter bound for the self-stabilization time in Herman's algorithm.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2013

Reachability Analysis of Recursive Quantum Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Quantum Information-Flow Security: Noninterference and Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Reachability Probabilities of Quantum Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process.

[BibT_eX]

[DOI]

Wenhui Fan

Yuanhui Qin

Proceedings of the AsiaSim 2013, 2013

2012

Bisimulation for Quantum Processes.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2012

Defining Quantum Control Flow

[BibT_eX]

[DOI]

CoRR, 2012

Open Bisimulation for Quantum Processes.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2012

2011

A Flowchart Language for Quantum Programming.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

2010

Quantum loop programs.

[BibT_eX]

[DOI]

Acta Informatica, 2010

2009

An algebra of quantum processes.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Characterizing locally indistinguishable orthogonal product states.

[BibT_eX]

[DOI]

Yaoyun Shi

IEEE Trans. Inf. Theory, 2009

Distinguishability of Quantum States by Separable Operations.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2009

An Algebraic Language for Distributed Quantum Computing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2009

Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2009

2008

Parameter Estimation of Quantum Channels.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2008

2007

Proof rules for the correctness of quantum programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Commutativity of quantum weakest preconditions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Probabilistic bisimulations for quantum processes.

[BibT_eX]

[DOI]

Inf. Comput., 2007

2006

Partial Recovery of Quantum Entanglement.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2006

Some Issues in Quantum Information Theory.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Probabilistic bisimilarities between quantum processes

[BibT_eX]

[DOI]

CoRR, 2006

2005

Catalyst-assisted probabilistic entanglement transformation.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2005

Proof rules for purely quantum programs

[BibT_eX]

[DOI]

CoRR, 2005

2004

Process Algebra Approach to Reasoning About Concurrent Actions.

[BibT_eX]

[DOI]