| Publication | Date of Publication | Type |
|---|
| Dichotomy between deterministic and probabilistic models in countably additive effectus theory | 2024-11-28 | Paper |
Benchmarking and analysing the NIST PQC lattice-based signature schemes standards on the ARM cortex M7
Progress in Cryptology - AFRICACRYPT 2023 | 2024-02-02 | Paper |
A computer scientist’s reconstruction of quantum theory*
Journal of Physics A: Mathematical and Theoretical | 2023-02-01 | Paper |
scientific article; zbMATH DE number 7559448 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| Implementing and measuring \textsf{KEMTLS} | 2022-06-15 | Paper |
| Pure maps between Euclidean Jordan algebras | 2021-12-20 | Paper |
Pure maps between Euclidean Jordan algebras
(available as arXiv preprint) | 2021-12-20 | Paper |
| scientific article; zbMATH DE number 7441252 (Why is no real title available?) | 2021-12-08 | Paper |
scientific article; zbMATH DE number 7441252 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-08 | Paper |
| Quotient-comprehension chains | 2021-12-06 | Paper |
Quotient-comprehension chains
(available as arXiv preprint) | 2021-12-06 | Paper |
A computer scientist's reconstruction of quantum theory
(available as arXiv preprint) | 2021-09-22 | Paper |
| A Kochen-Specker system has at least 22 vectors (extended abstract) | 2021-06-29 | Paper |
A characterisation of ordered abstract probabilities
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| The three types of normal sequential effect algebras | 2020-04-27 | Paper |
The universal property of infinite direct sums in \(\hbox{C}^*\)-categories and \(\hbox{W}^*\)-categories
Applied Categorical Structures | 2020-03-24 | Paper |
| Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory | 2020-03-23 | Paper |
Preservation of Equations by Monoidal Monads
(available as arXiv preprint) | 2020-01-17 | Paper |
| Solving binary \(\mathcal {MQ}\) with Grover's algorithm | 2018-10-26 | Paper |
A Kochen-Specker system has at least 22 vectors
New Generation Computing | 2018-09-05 | Paper |
A Kochen-Specker system has at least 22 vectors
New Generation Computing | 2018-09-05 | Paper |
| Dagger and Dilation in the Category of Von Neumann algebras | 2018-03-05 | Paper |
Statman's hierarchy theorem
(available as arXiv preprint) | 2017-12-11 | Paper |
| Yosida Duality | 2016-12-10 | Paper |
A universal property for sequential measurement
Journal of Mathematical Physics | 2016-10-13 | Paper |
Paschke Dilations
(available as arXiv preprint) | 2016-03-14 | Paper |
States of convex sets
Lecture Notes in Computer Science | 2015-10-01 | Paper |
| On effective undecidability and Post's problem | 2014-09-03 | Paper |
