Bas Westerbaan
Bas Westerbaan
Cryptography Engineer, PQShield
Verified email at pqshield.com - Homepage
Title
Cited by
Cited by
Year
An introduction to effectus theory
K Cho, B Jacobs, B Westerbaan, A Westerbaan
arXiv preprint arXiv:1512.05813, 2015
51*2015
Solving binary MQ with Grover’s algorithm
B Westerbaan, P Schwabe
Security, Privacy, and Applied Cryptography Engineering: 6th International …, 2016
27*2016
States of Convex Sets
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
272015
Dagger and Dilation in the Category of von Neumann algebras
BE Westerbaan
arXiv preprint arXiv:1803.01911, 2018
17*2018
Quotient-Comprehension Chains
K Cho, B Jacobs, B Westerbaan, B Westerbaan
EPTCS 195 (QPL 2015), 136-147, 2015
172015
A universal property of sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 2016
122016
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
112017
A Kochen-Specker system has at least 22 vectors
S Uijlen, B Westerbaan
New Generation Computing 34 (1-2), 3-23, 2016
102016
Picture-perfect Quantum Key Distribution
A Kissinger, S Tull, B Westerbaan
arXiv preprint arXiv:1704.08668, 2017
62017
Sequential product on effect logics
B Westerbaan
Master’s thesis, Radboud University. https://www. ru. nl/publish/pages …, 2013
42013
Pure maps between Euclidean Jordan Algebras
A Westerbaan, B Westerbaan, J van de Wetering
arXiv preprint arXiv:1805.11496, 2018
32018
Yosida Duality
B Westerbaan
arXiv preprint arXiv:1612.03327, 2016
32016
The three types of normal sequential effect algebras
A Westerbaan, B Westerbaan, J van de Wetering
Quantum 4, 378, 2020
22020
A characterisation of ordered abstract probabilities
A Westerbaan, B Westerbaan, J van de Wetering
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
22020
Preservation of Equations by Monoidal Monads
L Parlant, J Rot, A Silva, B Westerbaan
arXiv preprint arXiv:2001.06348, 2020
22020
When does Stinespring dilation yield a faithful representation? Mathematics Stack Exchange
AW Abraham, EW Bas
2
The Universal Property of Infinite Direct Sums in -Categories and -Categories
T Fritz, B Westerbaan
Applied Categorical Structures, 1-11, 2019
12019
Unordered tuples in Quantum Computation
R Furber, B Westerbaan
EPTCS 195 (QPL 2015), 196-207, 2015
12015
Dichotomy between deterministic and probabilistic models in countably additive effectus theory
K Cho, B Westerbaan, J van de Wetering
arXiv preprint arXiv:2003.10245, 2020
2020
Statman's Hierarchy Theorem
B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ...
Logical Methods in Computer Science, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20