| Publication | Date of Publication | Type |
|---|
Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
| 2024-12-06 | Paper |
Quantum Büchi automata
Theoretical Computer Science | 2024-08-27 | Paper |
New quantum algorithms for computing quantum entropies and distances
IEEE Transactions on Information Theory | 2024-07-23 | Paper |
Unitarity estimation for quantum channels
IEEE Transactions on Information Theory | 2024-07-18 | Paper |
Foundations of quantum programming
| 2024-04-10 | Paper |
Quantum Algorithm for Fidelity Estimation
IEEE Transactions on Information Theory | 2024-03-14 | Paper |
Formal verification of quantum algorithms using quantum Hoare logic
Computer Aided Verification | 2024-02-16 | Paper |
Quantum algorithm for lexicographically minimal string rotation
Theory of Computing Systems | 2024-02-09 | Paper |
\(Q|SI\rangle \): a quantum programming environment
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Model Checking for Verification of Quantum Circuits
| 2023-04-21 | Paper |
Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem
Journal of Mathematical Physics | 2023-03-17 | Paper |
Verifying Fairness in Quantum Machine Learning
| 2022-12-07 | Paper |
Quantum random access stored-program machines
Journal of Computer and System Sciences | 2022-10-13 | Paper |
Lattice-theoretic models of conjectures, hypotheses and consequences
Artificial Intelligence | 2022-09-27 | Paper |
Verification of distributed quantum programs
ACM Transactions on Computational Logic | 2022-04-29 | Paper |
Robustness verification of quantum classifiers
| 2022-03-25 | Paper |
A proof system for disjoint parallel quantum programs
Theoretical Computer Science | 2021-12-01 | Paper |
Equivalence checking of quantum finite-state machines
Journal of Computer and System Sciences | 2021-01-22 | Paper |
Model checking quantum systems. Principles and algorithms
| 2020-12-02 | Paper |
Strassen's theorem for quantum couplings
Theoretical Computer Science | 2019-11-22 | Paper |
Toward automatic verification of quantum programs
Formal Aspects of Computing | 2019-03-13 | Paper |
Reachability analysis of quantum Markov decision processes
Information and Computation | 2018-12-03 | Paper |
Verification of quantum programs
| 2018-10-22 | Paper |
Decomposition of quantum Markov chains and its applications
Journal of Computer and System Sciences | 2018-05-08 | Paper |
Invariants of quantum programs: characterisations and generation
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Toward automatic verification of quantum cryptographic protocols
| 2017-09-12 | Paper |
Distinguishability of Quantum States by Separable Operations
IEEE Transactions on Information Theory | 2017-08-08 | Paper |
An Algebraic Language for Distributed Quantum Computing
IEEE Transactions on Computers | 2017-08-08 | Paper |
Similarity-Based Supervisory Control of Discrete-Event Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose
IEEE Transactions on Information Theory | 2017-05-16 | Paper |
An algebra of quantum processes
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Model-checking linear-time properties of quantum systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
(Un)decidable Problems about Reachability of Quantum Systems
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Symbolic bisimulation for quantum processes
ACM Transactions on Computational Logic | 2014-07-17 | Paper |
Termination of nondeterministic quantum programs
Acta Informatica | 2014-06-12 | Paper |
Bisimulation for quantum processes
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Model checking quantum Markov chains
Journal of Computer and System Sciences | 2014-01-27 | Paper |
Reachability analysis of recursive quantum Markov chains
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Reachability Probabilities of Quantum Markov Chains
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Probabilistic automata for computing with words
Journal of Computer and System Sciences | 2013-02-21 | Paper |
Reachability and termination analysis of concurrent quantum programs
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Approximating Markov processes through filtration
Theoretical Computer Science | 2012-08-10 | Paper |
Entanglement is not necessary for perfect discrimination between unitary operations
Physical Review Letters | 2011-12-26 | Paper |
Reasoning about cardinal directions between extended objects
Artificial Intelligence | 2010-09-02 | Paper |
Quantum loop programs
Acta Informatica | 2010-06-21 | Paper |
scientific article; zbMATH DE number 5708042 (Why is no real title available?)
| 2010-05-14 | Paper |
Commutativity of quantum weakest preconditions
Information Processing Letters | 2010-03-24 | Paper |
A modified quantum adiabatic evolution for the Deutsch-Jozsa problem
Physics Letters. A | 2010-03-01 | Paper |
Ancilla-assisted discrimination of quantum gates
| 2010-02-05 | Paper |
scientific article; zbMATH DE number 5666695 (Why is no real title available?)
| 2010-02-05 | Paper |
scientific article; zbMATH DE number 5666686 (Why is no real title available?)
| 2010-02-05 | Paper |
A relation between fidelity and quantum adiabatic evolution
Physics Letters. A | 2009-05-18 | Paper |
Parameter Estimation of Quantum Channels
IEEE Transactions on Information Theory | 2009-02-24 | Paper |
Partial recovery of quantum entanglement
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Catalyst-Assisted Probabilistic Entanglement Transformation
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
The existence of quantum entanglement catalysts
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Existence of universal entangler
Journal of Mathematical Physics | 2008-12-08 | Paper |
Soft constraint abstraction based on semiring homomorphism
Theoretical Computer Science | 2008-09-16 | Paper |
Comparability of multipartite entanglement
Physics Letters. A | 2008-05-07 | Paper |
Local discrimination of maximally entangled states in canonical form
Physics Letters. A | 2007-12-05 | Paper |
Probabilistic bisimulations for quantum processes
Information and Computation | 2007-11-21 | Paper |
Proof rules for the correctness of quantum programs
Theoretical Computer Science | 2007-10-25 | Paper |
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence | 2007-10-23 | Paper |
Linguistic quantifiers modeled by Sugeno integrals
Artificial Intelligence | 2007-10-23 | Paper |
Quantum operation, quantum Fourier transform and semi-definite programming
Physics Letters. A | 2007-10-08 | Paper |
Declarative semantics of programming in residuated lattice-valued logic
Science in China. Series E | 2007-02-20 | Paper |
scientific article; zbMATH DE number 5033824 (Why is no real title available?)
| 2006-06-19 | Paper |
Region connection calculus: Its models and composition table
Artificial Intelligence | 2006-02-07 | Paper |
Generalized region connection calculus
Artificial Intelligence | 2006-02-07 | Paper |
A theory of computation based on quantum logic. I
Theoretical Computer Science | 2005-12-05 | Paper |
\(\pi\)-calculus with noisy channels
Acta Informatica | 2005-10-31 | Paper |
Characterizations of quantum automata
Theoretical Computer Science | 2004-10-27 | Paper |
Reasoning about probabilistic sequential programs in a probabilistic logic
Acta Informatica | 2004-03-11 | Paper |
scientific article; zbMATH DE number 1998332 (Why is no real title available?)
| 2003-10-29 | Paper |
Fuzzy topology based on residuated lattice-valued logic
Acta Mathematica Sinica, English Series | 2002-12-02 | Paper |
Universal quantum-copying machines: A sufficient and necessary condition
Physics Letters. A | 2002-09-10 | Paper |
Bisimulation indexes and their applications
Theoretical Computer Science | 2002-07-31 | Paper |
Additive models of probabilistic processes
Theoretical Computer Science | 2002-07-31 | Paper |
Wootters-Zurek quantum-copying machine: the higher-dimensional case
Physics Letters. A | 2002-07-03 | Paper |
Universal and original-preserving quantum copying is impossible
Physics Letters. A | 2002-05-14 | Paper |
Recursive equations in higher-order process calculi
Theoretical Computer Science | 2002-03-03 | Paper |
Compactness in fuzzy logic
Chinese Science Bulletin | 2002-02-18 | Paper |
scientific article; zbMATH DE number 1696897 (Why is no real title available?)
| 2002-01-28 | Paper |
Automata theory based on quantum logic. II.
International Journal of Theoretical Physics | 2001-09-04 | Paper |
Approximate Reasoning Based on Similarity
| 2001-03-25 | Paper |
Automata theory based on quantum logic. I
International Journal of Theoretical Physics | 2001-02-25 | Paper |
scientific article; zbMATH DE number 1566482 (Why is no real title available?)
| 2001-02-19 | Paper |
Topology in process calculus. I: Limit behaviour of agents
Journal of Computer Science and Technology | 2000-05-28 | Paper |
A model of reasoning about knowledge
Science in China. Series E | 1999-11-23 | Paper |
Phase semantics for a pure noncommutative linear propositional logic
Journal of Computer Science and Technology | 1999-08-23 | Paper |
A shorter proof to uniqueness of solutions of equations
Theoretical Computer Science | 1999-04-28 | Paper |
scientific article; zbMATH DE number 1146145 (Why is no real title available?)
| 1998-08-24 | Paper |
scientific article; zbMATH DE number 1004238 (Why is no real title available?)
| 1997-10-08 | Paper |
scientific article; zbMATH DE number 966842 (Why is no real title available?)
| 1997-10-05 | Paper |
Quantifiers, modifiers and qualifiers in fuzzy logic
Journal of Applied Non-Classical Logics | 1997-09-17 | Paper |
scientific article; zbMATH DE number 991617 (Why is no real title available?)
| 1997-03-13 | Paper |
scientific article; zbMATH DE number 991670 (Why is no real title available?)
| 1997-03-13 | Paper |
An open logic system admitting modification of inference rules
Chinese Science Bulletin | 1997-03-11 | Paper |
When is the ideal completion of abstract basis algebraic
Theoretical Computer Science | 1997-02-27 | Paper |
On the method of neighborhood systems in fuzzy topology
Fuzzy Sets and Systems | 1996-08-21 | Paper |
Institutions of variable truth values: An approach in the ordered style
Journal of Computer Science and Technology | 1996-04-16 | Paper |
scientific article; zbMATH DE number 733871 (Why is no real title available?)
| 1995-10-31 | Paper |
Putting consistent theories together in institutions
Journal of Computer Science and Technology | 1995-07-24 | Paper |
A logic for approximate reasoning
Journal of Symbolic Logic | 1995-03-29 | Paper |
THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
Mathematical Logic Quarterly | 1994-11-07 | Paper |
COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
Mathematical Logic Quarterly | 1994-06-08 | Paper |
Fuzzifying topology based on complete residuated lattice-valued logic. I
Fuzzy Sets and Systems | 1994-05-24 | Paper |
A new approach for fuzzy topology. III
Fuzzy Sets and Systems | 1994-04-20 | Paper |
Fuzzyfying uniform spaces
Fuzzy Sets and Systems | 1994-04-20 | Paper |
scientific article; zbMATH DE number 537367 (Why is no real title available?)
| 1994-03-23 | Paper |
Compactness in fuzzifying topology
Fuzzy Sets and Systems | 1994-01-27 | Paper |
scientific article; zbMATH DE number 221397 (Why is no real title available?)
| 1993-06-29 | Paper |
scientific article; zbMATH DE number 221384 (Why is no real title available?)
| 1993-06-29 | Paper |
Deduction Theorem for Many‐Valued Inference
Mathematical Logic Quarterly | 1993-04-01 | Paper |
A new approach for fuzzy topology. II
Fuzzy Sets and Systems | 1992-09-27 | Paper |
scientific article; zbMATH DE number 27352 (Why is no real title available?)
| 1992-06-27 | Paper |
A new approach for fuzzy topology. I
Fuzzy Sets and Systems | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4142008 (Why is no real title available?)
| 1990-01-01 | Paper |
On probabilistic normed spaces under \(\tau_{T,L}\)
International Journal of Mathematics and Mathematical Sciences | 1990-01-01 | Paper |
Reasonableness of the compositional rule of fuzzy inference
Fuzzy Sets and Systems | 1990-01-01 | Paper |
The alternativity measures of fuzzy sets
Fuzzy Sets and Systems | 1990-01-01 | Paper |
On \(\epsilon\)-fuzzy sets
Fuzzy Sets and Systems | 1989-01-01 | Paper |
SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING
Cybernetics and Systems | 1988-01-01 | Paper |
On standard models of fuzzy modal logics
Fuzzy Sets and Systems | 1988-01-01 | Paper |
A counter-example of Gottwald's theorem
Fuzzy Sets and Systems | 1987-01-01 | Paper |
Fuzzy semilattices
Information Sciences | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4055969 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3963743 (Why is no real title available?)
| 1984-01-01 | Paper |
