2025
A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2025
Borrowing Dirty Qubits in Quantum Programs.
CoRR, August, 2025
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps.
CoRR, July, 2025
Quantum State Preparation Based on LimTDD.
CoRR, July, 2025
Access Control Threatened by Quantum Entanglement.
CoRR, July, 2025
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations.
CoRR, April, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, April, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, April, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, March, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, March, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, March, 2025
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.
Dataset, March, 2025
Differential Privacy of Quantum and Quantum-Inspired-Classical Recommendation Algorithms.
CoRR, February, 2025
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs.
Proc. ACM Program. Lang., 2025
Efficient Formal Verification of Quantum Error Correcting Programs.
Proc. ACM Program. Lang., 2025
Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks.
Proceedings of the IEEE INFOCOM 2025, 2025
Quantum Speedup for Hypergraph Sparsification.
Proceedings of the Forty-second International Conference on Machine Learning, 2025
Image Computation for Quantum Transition Systems.
Proceedings of the Design, Automation & Test in Europe Conference, 2025
2024
New Quantum Algorithms for Computing Quantum Entropies and Distances.
IEEE Trans. Inf. Theory, August, 2024
Artifact for VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models.
Dataset, June, 2024
Artifact: Symbolic Execution for Quantum Error Correction Programs.
Dataset, March, 2024
Quantum Algorithm for Lexicographically Minimal String Rotation.
Theory Comput. Syst., February, 2024
Differentiable Quantum Programming with Unbounded Loops.
ACM Trans. Softw. Eng. Methodol., January, 2024
Parallel Quantum Algorithm for Hamiltonian Simulation.
Quantum, January, 2024
Automatic Test Pattern Generation for Robust Quantum Circuit Testing.
ACM Trans. Design Autom. Electr. Syst., 2024
Theor. Comput. Sci., 2024
Symbolic Execution for Quantum Error Correction Programs.
Proc. ACM Program. Lang., 2024
Laws of Quantum Programming.
CoRR, 2024
A Practical Quantum Hoare Logic with Classical Variables, I.
CoRR, 2024
Atomicity in Distributed Quantum Computing.
CoRR, 2024
Verification of Recursively Defined Quantum Circuits.
CoRR, 2024
VeriQR: A Robustness Verification Tool for quantum Machine Learning Models.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Approximation Algorithm for Noisy Quantum Circuit Simulation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Measurement-Based Verification of Quantum Markov Chains.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
QReach: A Reachability Analysis Tool for Quantum Markov Chains.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Unitarity Estimation for Quantum Channels.
IEEE Trans. Inf. Theory, August, 2023
Software Pipelining for Quantum Loop Programs.
IEEE Trans. Software Eng., April, 2023
CoqQ: Foundational Verification of Quantum Programs.
Proc. ACM Program. Lang., January, 2023
Quantum Algorithm for Fidelity Estimation.
IEEE Trans. Inf. Theory, 2023
Quantum random access stored-program machines.
J. Comput. Syst. Sci., 2023
Quantum Recursive Programming with Quantum Case Statements.
CoRR, 2023
Decision Diagrams for Symbolic Verification of Quantum Circuits.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Detecting Violations of Differential Privacy for Quantum Algorithms.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
A Tensor Network based Decision Diagram for Representation of Quantum Circuits.
ACM Trans. Design Autom. Electr. Syst., 2022
Verification of Distributed Quantum Programs.
ACM Trans. Comput. Log., 2022
A proof system for disjoint parallel quantum programs.
Theor. Comput. Sci., 2022
Equivalence Checking of Sequential Quantum Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Fault Models in Superconducting quantum circuits.
CoRR, 2022
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.
CoRR, 2022
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Equivalence Checking of Dynamic Quantum Circuits.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
Verifying Fairness in Quantum Machine Learning.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Quantum Inf. Comput., 2021
Equivalence checking of quantum finite-state machines.
J. Comput. Syst. Sci., 2021
Optimal Policies for Quantum Markov Decision Processes.
Int. J. Autom. Comput., 2021
Reasoning about Recursive Quantum Programs.
CoRR, 2021
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Model Checking for Verification of Quantum Circuits.
Proceedings of the Formal Methods - 24th International Symposium, 2021
Approximate Equivalence Checking of Noisy Quantum Circuits.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Robustness Verification of Quantum Classifiers.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Quantum Supremacy Circuit Simulation on Sunway TaihuLight.
IEEE Trans. Parallel Distributed Syst., 2020
Strassen's theorem for quantum couplings.
Theor. Comput. Sci., 2020
Projection-based runtime assertions for testing and debugging Quantum programs.
Proc. ACM Program. Lang., 2020
Relational proofs for quantum programs.
Proc. ACM Program. Lang., 2020
Symbolic Verification of Quantum Circuits.
CoRR, 2020
Robustness Verification of Quantum Machine Learning.
CoRR, 2020
Quantum Hoare logic with classical variables.
CoRR, 2020
2019
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang., 2019
Toward automatic verification of quantum programs.
Formal Aspects Comput., 2019
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.
CoRR, 2019
Expected Runtime of Quantum Programs.
CoRR, 2019
Model Checking Applied to Quantum Physics.
CoRR, 2019
Coupling Techniques for Reasoning about Quantum Programs.
CoRR, 2019
Arch. Formal Proofs, 2019
An applied quantum Hoare logic.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Super-activating quantum memory with entanglement.
Quantum Inf. Comput., 2018
Algorithmic analysis of termination problems for quantum programs.
Proc. ACM Program. Lang., 2018
Decomposition of quantum Markov chains and its applications.
J. Comput. Syst. Sci., 2018
Reachability analysis of quantum Markov decision processes.
Inf. Comput., 2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR, 2018
Reasoning about Parallel Quantum Programs.
CoRR, 2018
Model Checking Quantum Systems - A Survey.
CoRR, 2018
Quantum Coupling and Strassen Theorem.
CoRR, 2018
Q|SI⟩ : A Quantum Programming Environment.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
Q|SI〉: A Quantum Programming Environment.
CoRR, 2017
Quantum Privacy-Preserving Perceptron.
CoRR, 2017
Quantum Privacy-Preserving Data Analytics.
CoRR, 2017
Invariants of quantum programs: characterisations and generation.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Differential Privacy in Quantum Computation.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
2016
A Theorem Prover for Quantum Hoare Logic and Its Applications.
CoRR, 2016
2015
Quantum Privacy-Preserving Data Mining.
CoRR, 2015
Toward Automatic Verification of Quantum Cryptographic Protocols.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log., 2014
Symbolic Bisimulation for Quantum Processes.
ACM Trans. Comput. Log., 2014
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose.
IEEE Trans. Inf. Theory, 2014
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.
CoRR, 2014
Quantum Recursion and Second Quantisation: Basic Ideas and Examples.
CoRR, 2014
Debugging Quantum Processes Using Monitoring Measurements.
CoRR, 2014
Termination of nondeterministic quantum programs.
Acta Informatica, 2014
(Un)decidable Problems about Reachability of Quantum Systems.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
2013
Verification of quantum programs.
Sci. Comput. Program., 2013
Model checking quantum Markov chains.
J. Comput. Syst. Sci., 2013
Probabilistic automata for computing with words.
J. Comput. Syst. Sci., 2013
Reachability Analysis of Recursive Quantum Markov Chains.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Quantum Information-Flow Security: Noninterference and Access Control.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013
Reachability Probabilities of Quantum Markov Chains.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Approximating Markov processes through filtration.
Theor. Comput. Sci., 2012
Session Communication and Integration
CoRR, 2012
Defining Quantum Control Flow
CoRR, 2012
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Reachability and Termination Analysis of Concurrent Quantum Programs.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
A Flowchart Language for Quantum Programming.
IEEE Trans. Software Eng., 2011
Floyd-hoare logic for quantum programs.
ACM Trans. Program. Lang. Syst., 2011
Bisimulation for quantum processes.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Translating First-Order Theories into Logic Programs.
Proceedings of the IJCAI 2011, 2011
2010
The LU-LC conjecture is false.
Quantum Inf. Comput., 2010
Ancilla-assisted discrimination of quantum gates.
Quantum Inf. Comput., 2010
Quantum computation, quantum theory and AI.
Artif. Intell., 2010
Reasoning about cardinal directions between extended objects.
Artif. Intell., 2010
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection.
Proceedings of the Software Architecture, 4th European Conference, 2010
Foundations of Quantum Programming (Extended Abstract).
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
An algebra of quantum processes.
ACM Trans. Comput. Log., 2009
Distinguishability of Quantum States by Separable Operations.
IEEE Trans. Inf. Theory, 2009
An Algebraic Language for Distributed Quantum Computing.
IEEE Trans. Computers, 2009
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.
Quantum Inf. Comput., 2009
Dealing with uncertainty and fuzziness in intelligent systems.
Int. J. Intell. Syst., 2009
2008
Parameter Estimation of Quantum Channels.
IEEE Trans. Inf. Theory, 2008
Soft constraint abstraction based on semiring homomorphism.
Theor. Comput. Sci., 2008
Reasoning with Cardinal Directions: An Efficient Algorithm.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
State-Based Control of Fuzzy Discrete-Event Systems.
IEEE Trans. Syst. Man Cybern. Part B, 2007
Retraction and Generalized Extension of Computing With Words.
IEEE Trans. Fuzzy Syst., 2007
Proof rules for the correctness of quantum programs.
Theor. Comput. Sci., 2007
Commutativity of quantum weakest preconditions.
Inf. Process. Lett., 2007
Probabilistic bisimulations for quantum processes.
Inf. Comput., 2007
On fundamentals of fuzzy logic and soft computing and some applications.
Fuzzy Sets Syst., 2007
Sequential voting rules and multiple elections paradoxes.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Strongly Decomposable Voting Rules on Multiattribute Domains.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Partial Recovery of Quantum Entanglement.
IEEE Trans. Inf. Theory, 2006
Observability and Decentralized Control of Fuzzy Discrete-Event Systems.
IEEE Trans. Fuzzy Syst., 2006
Similarity-based supervisory control of discrete-event systems.
IEEE Trans. Autom. Control., 2006
Some Issues in Quantum Information Theory.
J. Comput. Sci. Technol., 2006
Probabilistic bisimilarities between quantum processes
CoRR, 2006
Linguistic quantifiers modeled by Sugeno integrals.
Artif. Intell., 2006
2005
Supervisory control of fuzzy discrete event systems.
IEEE Trans. Syst. Man Cybern. Part B, 2005
The existence of quantum entanglement catalysts.
IEEE Trans. Inf. Theory, 2005
Catalyst-assisted probabilistic entanglement transformation.
IEEE Trans. Inf. Theory, 2005
Fundam. Informaticae, 2005
Proof rules for purely quantum programs
CoRR, 2005
Relational reasoning in the region connection calculus
CoRR, 2005
Knowledge transformation and fusion in diagnostic systems.
Artif. Intell., 2005
pi-calculus with noisy channels.
Acta Informatica, 2005
A theory of computation based on quantum logic (I).
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005
2004
Characterizations of quantum automata.
Theor. Comput. Sci., 2004
Process Algebra Approach to Reasoning About Concurrent Actions.
J. Comput. Sci. Technol., 2004
Generalized Region Connection Calculus.
Artif. Intell., 2004
2003
Extensionality of the RCC8 Composition Table.
Fundam. Informaticae, 2003
Region Connection Calculus: Its models and composition table.
Artif. Intell., 2003
Reasoning about probabilistic sequential programs in a probabilistic logic.
Acta Informatica, 2003
2002
A formal model of computing with words.
IEEE Trans. Fuzzy Syst., 2002
Implication operators in fuzzy logic.
IEEE Trans. Fuzzy Syst., 2002
Additive models of probabilistic processes.
Theor. Comput. Sci., 2002
Bisimulation indexes and their applications.
Theor. Comput. Sci., 2002
Lattice-theoretic models of conjectures, hypotheses and consequences.
Artif. Intell., 2002
2001
Recursive equations in higher-order process calculi.
Theor. Comput. Sci., 2001
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs.
Springer, ISBN: 978-0-387-95092-1, 2001
2000
Weak confluence and tau-inertness.
Theor. Comput. Sci., 2000
Approximate Reasoning Based on Similarity.
Math. Log. Q., 2000
Approximate Bisimilarity.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Perturbation of fuzzy reasoning.
IEEE Trans. Fuzzy Syst., 1999
A Shorter Proof to Uniqueness of Solutions of Equations.
Theor. Comput. Sci., 1999
Topology in process calculus (I): Limit behaviour of agents.
J. Comput. Sci. Technol., 1999
Phase semantics for a pure noncommutative linear propositional logic.
J. Comput. Sci. Technol., 1999
1998
Approximate reasoning with linguistic modifiers.
Int. J. Intell. Syst., 1998
1997
Quantifiers, modifiers and qualifiers in fuzzy logic.
J. Appl. Non Class. Logics, 1997
1996
When is the Ideal Completion of Abstract Basis Algebraic.
Theor. Comput. Sci., 1996
1995
Institutions of variable truth values: An approach in the ordered style.
J. Comput. Sci. Technol., 1995
Putting consistent theories together in institutions.
J. Comput. Sci. Technol., 1995
1994
A Logic for Approximate Reasoning.
J. Symb. Log., 1994
1992
Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values.
Math. Log. Q., 1992
The Fundamental Theorem of Ultraproduct in Pavelka's Logic.
Math. Log. Q., 1992
1991
Deduction Theorem for Many-Valued Inference.
Math. Log. Q., 1991
1987
