| Publication | Date of Publication | Type |
|---|
| Exact distributed quantum algorithm for generalized Simon's problem | 2024-05-17 | Paper |
| Mediated semi-quantum secure direct communication | 2023-03-01 | Paper |
| Recoverability from direct quantum correlations | 2023-01-13 | Paper |
| Synthesis of quantum images using phase rotation | 2022-12-23 | Paper |
| Model Complexity in Statistical Manifolds: The Role of Curvature | 2022-10-11 | Paper |
| Two-Round Oblivious Linear Evaluation from Learning with Errors | 2022-07-08 | Paper |
| Testing Boolean Functions Properties | 2022-02-01 | Paper |
| Formal verification of Ethereum smart contracts using Isabelle/HOL | 2021-07-08 | Paper |
| Using low-density parity-check codes to improve the McEliece cryptosystem | 2021-03-18 | Paper |
| Single-state semi-quantum key distribution protocol and its security proof | 2020-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119553 | 2020-08-30 | Paper |
| On the minmax regret for statistical manifolds: the role of curvature | 2020-07-06 | Paper |
| On the complexity of finding the maximum entropy compatible quantum state | 2020-05-27 | Paper |
| A framework for universally composable oblivious transfer from one-round key-exchange | 2020-05-06 | Paper |
| A traceable ring signature scheme based on coding theory | 2020-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224792 | 2019-07-24 | Paper |
| Entangling and disentangling in Grover's search algorithm | 2019-05-21 | Paper |
| Decision and optimization problems in the unreliable-circuit logic | 2019-01-08 | Paper |
| A code-based linkable ring signature scheme | 2018-11-07 | Paper |
| Security of a single-state semi-quantum key distribution protocol | 2018-11-05 | Paper |
| Quantum key distribution with quantum walks | 2018-11-01 | Paper |
| Witness hiding without extractors or simulators | 2018-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600393 | 2018-01-09 | Paper |
| Hybrid learning of Bayesian multinets for binary classification | 2017-11-10 | Paper |
| Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement | 2017-11-09 | Paper |
| Universality of quantum Turing machines with deterministic control | 2017-05-17 | Paper |
| Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers | 2016-05-10 | Paper |
| Geometry and dynamics of one-norm geometric quantum discord | 2016-04-04 | Paper |
| Quantum walk public-key cryptographic system | 2016-03-21 | Paper |
| Semiquantum key distribution without invoking the classical party's measurement capability | 2015-09-23 | Paper |
| Quantum blind signature with an offline repository | 2015-06-22 | Paper |
| Probabilistic situation calculus | 2015-06-17 | Paper |
| Approximate reasoning about logic circuits with single-fan-out unreliable gates | 2015-02-11 | Paper |
| Exponentially more concise quantum recognition of non-RMM regular languages | 2014-11-24 | Paper |
| Improving classical authentication over a quantum channel | 2014-09-08 | Paper |
| Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete | 2014-06-06 | Paper |
| Security problems in the quantum signature scheme with a weak arbitrator | 2014-04-08 | Paper |
| Oblivious transfer based on quantum state computational distinguishability | 2014-03-24 | Paper |
| Exogenous probabilistic computation tree logic | 2014-01-17 | Paper |
| State succinctness of two-way finite automata with quantum and classical states | 2014-01-10 | Paper |
| A process algebra for reasoning about quantum security | 2013-12-06 | Paper |
| Security analyses and improvement of arbitrated quantum signature with an untrusted arbitrator | 2013-11-22 | Paper |
| Reasoning about imperative quantum programs | 2013-10-10 | Paper |
| Extending classical logic for reasoning about quantum systems | 2013-10-04 | Paper |
| Quantum secret sharing with classical Bobs | 2013-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918417 | 2013-04-24 | Paper |
| On the complexity of minimizing probabilistic and quantum automata | 2012-11-27 | Paper |
| Multi-letter quantum finite automata: decidability of the equivalence and minimization of states | 2012-03-23 | Paper |
| Characterizations of one-way general quantum finite automata | 2012-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560845 | 2010-05-14 | Paper |
| Reasoning About States of Probabilistic Sequential Programs | 2009-03-12 | Paper |
| Temporalization of Probabilistic Propositional Logic | 2009-02-24 | Paper |
| QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS | 2008-11-03 | Paper |
| ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES | 2008-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527403 | 2008-09-29 | Paper |
| Quantum Institutions | 2007-09-07 | Paper |
| Reasoning about probabilistic sequential programs | 2007-07-16 | Paper |
| NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS | 2007-03-27 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Weakly complete axiomatization of exogenous quantum propositional logic | 2006-06-30 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Cut Elimination | 2005-09-28 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity | 2004-10-28 | Paper |
| Categorical foundations for randomly timed automata | 2004-10-27 | Paper |
| Paracategories. I: Internal paracategories and saturated partial algebras | 2004-10-27 | Paper |
| Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471713 | 2004-07-30 | Paper |
| Universal aspects of probabilistic automata | 2003-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722028 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499225 | 2001-03-04 | Paper |
| Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines | N/A | Paper |
