| Publication | Date of Publication | Type |
|---|
Exact distributed quantum algorithm for generalized Simon's problem
Acta Informatica | 2024-05-17 | Paper |
Mediated semi-quantum secure direct communication
Quantum Information Processing | 2023-03-01 | Paper |
Recoverability from direct quantum correlations
Journal of Physics A: Mathematical and Theoretical | 2023-01-13 | Paper |
Synthesis of quantum images using phase rotation
Quantum Information Processing | 2022-12-23 | Paper |
Model Complexity in Statistical Manifolds: The Role of Curvature
IEEE Transactions on Information Theory | 2022-10-11 | Paper |
Two-round oblivious linear evaluation from learning with errors
Public-Key Cryptography – PKC 2022 | 2022-07-08 | Paper |
Testing Boolean functions properties
Fundamenta Informaticae | 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
Information Sciences | 2021-03-18 | Paper |
Single-state semi-quantum key distribution protocol and its security proof
International Journal of Quantum Information | 2020-10-29 | Paper |
| A mathematical primer on linear optimization | 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 |
scientific article; zbMATH DE number 7085038 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-24 | Paper |
Entangling and disentangling in Grover's search algorithm
Theoretical Computer Science | 2019-05-21 | Paper |
Decision and optimization problems in the unreliable-circuit logic
Logic Journal of the IGPL | 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
Quantum Information Processing | 2018-11-05 | Paper |
Quantum key distribution with quantum walks
Quantum Information Processing | 2018-11-01 | Paper |
| Witness hiding without extractors or simulators | 2018-09-06 | Paper |
| The problem of termination of programs | 2018-01-09 | Paper |
Hybrid learning of Bayesian multinets for binary classification
Pattern Recognition | 2017-11-10 | Paper |
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement
Quantum Information Processing | 2017-11-09 | Paper |
Universality of quantum Turing machines with deterministic control
Journal Of Logic And Computation | 2017-05-17 | Paper |
Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers
Entropy | 2016-05-10 | Paper |
Geometry and dynamics of one-norm geometric quantum discord
Quantum Information Processing | 2016-04-04 | Paper |
Quantum walk public-key cryptographic system
International Journal of Quantum Information | 2016-03-21 | Paper |
Semiquantum key distribution without invoking the classical party's measurement capability
Quantum Information Processing | 2015-09-23 | Paper |
Quantum blind signature with an offline repository
International Journal of Quantum Information | 2015-06-22 | Paper |
Probabilistic situation calculus
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Approximate reasoning about logic circuits with single-fan-out unreliable gates
Journal Of Logic And Computation | 2015-02-11 | Paper |
Exponentially more concise quantum recognition of non-RMM regular languages
Journal of Computer and System Sciences | 2014-11-24 | Paper |
Improving classical authentication over a quantum channel
Entropy | 2014-09-08 | Paper |
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
Theoretical Computer Science | 2014-06-06 | Paper |
Security problems in the quantum signature scheme with a weak arbitrator
International Journal of Theoretical Physics | 2014-04-08 | Paper |
| Oblivious transfer based on quantum state computational distinguishability | 2014-03-24 | Paper |
Exogenous probabilistic computation tree logic
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
State succinctness of two-way finite automata with quantum and classical states
Theoretical Computer Science | 2014-01-10 | Paper |
A process algebra for reasoning about quantum security
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Security analyses and improvement of arbitrated quantum signature with an untrusted arbitrator
International Journal of Theoretical Physics | 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
Journal of Physics A: Mathematical and Theoretical | 2013-05-17 | Paper |
| Non-deterministic combination of connectives | 2013-04-24 | Paper |
On the complexity of minimizing probabilistic and quantum automata
Information and Computation | 2012-11-27 | Paper |
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states
Acta Informatica | 2012-03-23 | Paper |
Characterizations of one-way general quantum finite automata
Theoretical Computer Science | 2012-03-13 | Paper |
| Temporal logics for reasoning about quantum systems | 2010-05-14 | Paper |
Reasoning About States of Probabilistic Sequential Programs
Computer Science Logic | 2009-03-12 | Paper |
Temporalization of Probabilistic Propositional Logic
Logical Foundations of Computer Science | 2009-02-24 | Paper |
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
International Journal of Quantum Information | 2008-11-03 | Paper |
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES
International Journal of Quantum Information | 2008-11-03 | Paper |
| Exogeneous semantics approach to enriching logics | 2008-09-29 | Paper |
Quantum Institutions
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Reasoning about probabilistic sequential programs
Theoretical Computer Science | 2007-07-16 | Paper |
NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation | 2006-06-30 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
Logic Journal of the IGPL | 2005-09-28 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
Logic Journal of the IGPL | 2004-10-28 | Paper |
Categorical foundations for randomly timed automata
Theoretical Computer Science | 2004-10-27 | Paper |
Paracategories. I: Internal paracategories and saturated partial algebras
Theoretical Computer Science | 2004-10-27 | Paper |
Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2079666 (Why is no real title available?) | 2004-07-30 | Paper |
Universal aspects of probabilistic automata
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
| scientific article; zbMATH DE number 1617301 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1497807 (Why is no real title available?) | 2001-03-04 | Paper |
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
(available as arXiv preprint) | N/A | Paper |
