| Publication | Date of Publication | Type |
|---|
| Quantum weakest preconditions for reasoning about expected runtimes of quantum programs | 2024-12-06 | Paper |
| Quantum Büchi automata | 2024-08-27 | Paper |
| New quantum algorithms for computing quantum entropies and distances | 2024-07-23 | Paper |
| Unitarity estimation for quantum channels | 2024-07-18 | Paper |
| Foundations of quantum programming | 2024-04-10 | Paper |
| Quantum Algorithm for Fidelity Estimation | 2024-03-14 | Paper |
| Formal verification of quantum algorithms using quantum Hoare logic | 2024-02-16 | Paper |
| Quantum algorithm for lexicographically minimal string rotation | 2024-02-09 | Paper |
| \(Q|SI\rangle \): a quantum programming environment | 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 | 2023-03-17 | Paper |
| Verifying Fairness in Quantum Machine Learning | 2022-12-07 | Paper |
| Quantum random access stored-program machines | 2022-10-13 | Paper |
| Lattice-theoretic models of conjectures, hypotheses and consequences | 2022-09-27 | Paper |
| Verification of Distributed Quantum Programs | 2022-04-29 | Paper |
| Robustness verification of quantum classifiers | 2022-03-25 | Paper |
| A proof system for disjoint parallel quantum programs | 2021-12-01 | Paper |
| Equivalence checking of quantum finite-state machines | 2021-01-22 | Paper |
| Model Checking Quantum Systems | 2020-12-02 | Paper |
| Strassen's theorem for quantum couplings | 2019-11-22 | Paper |
| Toward automatic verification of quantum programs | 2019-03-13 | Paper |
| Reachability analysis of quantum Markov decision processes | 2018-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4688901 | 2018-10-22 | Paper |
| Decomposition of quantum Markov chains and its applications | 2018-05-08 | Paper |
| Invariants of quantum programs: characterisations and generation | 2017-10-20 | Paper |
| Toward Automatic Verification of Quantum Cryptographic Protocols | 2017-09-12 | Paper |
| Distinguishability of Quantum States by Separable Operations | 2017-08-08 | Paper |
| An Algebraic Language for Distributed Quantum Computing | 2017-08-08 | Paper |
| Similarity-Based Supervisory Control of Discrete-Event Systems | 2017-07-27 | Paper |
| Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose | 2017-05-16 | Paper |
| An algebra of quantum processes | 2015-09-17 | Paper |
| Model-Checking Linear-Time Properties of Quantum Systems | 2015-09-17 | Paper |
| (Un)decidable Problems about Reachability of Quantum Systems | 2014-09-15 | Paper |
| Symbolic Bisimulation for Quantum Processes | 2014-07-17 | Paper |
| Termination of nondeterministic quantum programs | 2014-06-12 | Paper |
| Bisimulation for quantum processes | 2014-04-10 | Paper |
| Model checking quantum Markov chains | 2014-01-27 | Paper |
| Reachability Analysis of Recursive Quantum Markov Chains | 2013-09-20 | Paper |
| Reachability Probabilities of Quantum Markov Chains | 2013-08-12 | Paper |
| Probabilistic automata for computing with words | 2013-02-21 | Paper |
| Reachability and Termination Analysis of Concurrent Quantum Programs | 2012-09-25 | Paper |
| Approximating Markov processes through filtration | 2012-08-10 | Paper |
| Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations | 2011-12-26 | Paper |
| Reasoning about cardinal directions between extended objects | 2010-09-02 | Paper |
| Quantum loop programs | 2010-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560843 | 2010-05-14 | Paper |
| Commutativity of quantum weakest preconditions | 2010-03-24 | Paper |
| A modified quantum adiabatic evolution for the Deutsch-Jozsa problem | 2010-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400480 | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400487 | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400476 | 2010-02-05 | Paper |
| A relation between fidelity and quantum adiabatic evolution | 2009-05-18 | Paper |
| Parameter Estimation of Quantum Channels | 2009-02-24 | Paper |
| Partial recovery of quantum entanglement | 2008-12-21 | Paper |
| Catalyst-Assisted Probabilistic Entanglement Transformation | 2008-12-21 | Paper |
| The existence of quantum entanglement catalysts | 2008-12-21 | Paper |
| Existence of universal entangler | 2008-12-08 | Paper |
| Soft constraint abstraction based on semiring homomorphism | 2008-09-16 | Paper |
| Comparability of multipartite entanglement | 2008-05-07 | Paper |
| Local discrimination of maximally entangled states in canonical form | 2007-12-05 | Paper |
| Probabilistic bisimulations for quantum processes | 2007-11-21 | Paper |
| Proof rules for the correctness of quantum programs | 2007-10-25 | Paper |
| Knowledge transformation and fusion in diagnostic systems | 2007-10-23 | Paper |
| Linguistic quantifiers modeled by Sugeno integrals | 2007-10-23 | Paper |
| Quantum operation, quantum Fourier transform and semi-definite programming | 2007-10-08 | Paper |
| Declarative semantics of programming in residuated lattice-valued logic | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472862 | 2006-06-19 | Paper |
| Region connection calculus: Its models and composition table | 2006-02-07 | Paper |
| Generalized region connection calculus | 2006-02-07 | Paper |
| A theory of computation based on quantum logic. I | 2005-12-05 | Paper |
| \(\pi\)-calculus with noisy channels | 2005-10-31 | Paper |
| Characterizations of quantum automata | 2004-10-27 | Paper |
| Reasoning about probabilistic sequential programs in a probabilistic logic | 2004-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4432966 | 2003-10-29 | Paper |
| Fuzzy topology based on residuated lattice-valued logic | 2002-12-02 | Paper |
| Universal quantum-copying machines: A sufficient and necessary condition | 2002-09-10 | Paper |
| Bisimulation indexes and their applications | 2002-07-31 | Paper |
| Additive models of probabilistic processes | 2002-07-31 | Paper |
| Wootters-Zurek quantum-copying machine: the higher-dimensional case | 2002-07-03 | Paper |
| Universal and original-preserving quantum copying is impossible | 2002-05-14 | Paper |
| Recursive equations in higher-order process calculi | 2002-03-03 | Paper |
| Compactness in fuzzy logic | 2002-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767183 | 2002-01-28 | Paper |
| Automata theory based on quantum logic. II. | 2001-09-04 | Paper |
| Approximate Reasoning Based on Similarity | 2001-03-25 | Paper |
| Automata theory based on quantum logic. I | 2001-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2701735 | 2001-02-19 | Paper |
| Topology in process calculus. I: Limit behaviour of agents | 2000-05-28 | Paper |
| A model of reasoning about knowledge | 1999-11-23 | Paper |
| Phase semantics for a pure noncommutative linear propositional logic | 1999-08-23 | Paper |
| A shorter proof to uniqueness of solutions of equations | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386237 | 1998-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3129185 | 1997-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690099 | 1997-10-05 | Paper |
| Quantifiers, modifiers and qualifiers in fuzzy logic | 1997-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3124939 | 1997-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125000 | 1997-03-13 | Paper |
| An open logic system admitting modification of inference rules | 1997-03-11 | Paper |
| When is the ideal completion of abstract basis algebraic | 1997-02-27 | Paper |
| On the method of neighborhood systems in fuzzy topology | 1996-08-21 | Paper |
| Institutions of variable truth values: An approach in the ordered style | 1996-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4326092 | 1995-10-31 | Paper |
| Putting consistent theories together in institutions | 1995-07-24 | Paper |
| A logic for approximate reasoning | 1995-03-29 | Paper |
| THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC | 1994-11-07 | Paper |
| COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES | 1994-06-08 | Paper |
| Fuzzifying topology based on complete residuated lattice-valued logic. I | 1994-05-24 | Paper |
| A new approach for fuzzy topology. III | 1994-04-20 | Paper |
| Fuzzyfying uniform spaces | 1994-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4286043 | 1994-03-23 | Paper |
| Compactness in fuzzifying topology | 1994-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4696878 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4696862 | 1993-06-29 | Paper |
| Deduction Theorem for Many‐Valued Inference | 1993-04-01 | Paper |
| A new approach for fuzzy topology. II | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983887 | 1992-06-27 | Paper |
| A new approach for fuzzy topology. I | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3474633 | 1990-01-01 | Paper |
| On probabilistic normed spaces under \(\tau_{T,L}\) | 1990-01-01 | Paper |
| Reasonableness of the compositional rule of fuzzy inference | 1990-01-01 | Paper |
| The alternativity measures of fuzzy sets | 1990-01-01 | Paper |
| On \(\epsilon\)-fuzzy sets | 1989-01-01 | Paper |
| SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING | 1988-01-01 | Paper |
| On standard models of fuzzy modal logics | 1988-01-01 | Paper |
| A counter-example of Gottwald's theorem | 1987-01-01 | Paper |
| Fuzzy semilattices | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791400 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731534 | 1984-01-01 | Paper |
