Bas Westerbaan
Bas Westerbaan
Verified email at ucl.ac.uk - Homepage
TitleCited byYear
An introduction to effectus theory
K Cho, B Jacobs, B Westerbaan, A Westerbaan
arXiv preprint arXiv:1512.05813, 2015
402015
States of Convex Sets
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
292015
Quotient-Comprehension Chains
K Cho, B Jacobs, B Westerbaan, B Westerbaan
EPTCS 195 (QPL 2015), 136-147, 2015
182015
Solving binary MQ with Grover’s algorithm
B Westerbaan, P Schwabe
Security, Privacy, and Applied Cryptography Engineering: 6th International …, 2016
17*2016
A universal property of sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 2016
142016
Dagger and Dilation in the category of Von Neumann Algebras
B Westerbaan
arXiv preprint arXiv:1803.01911, 2018
92018
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
92017
Picture-perfect Quantum Key Distribution
A Kissinger, S Tull, B Westerbaan
arXiv preprint arXiv:1704.08668, 2017
52017
A Kochen-Specker system has at least 22 vectors
S Uijlen, B Westerbaan
New Generation Computing 34 (1-2), 3-23, 2016
42016
Sequential product on effect logics
B Westerbaan
https://westerbaan.name/~bas/math/master.pdf, 2013
32013
Yosida Duality
B Westerbaan
arXiv preprint arXiv:1612.03327, 2016
22016
Pure maps between Euclidean Jordan Algebras
A Westerbaan, B Westerbaan, J van de Wetering
arXiv preprint arXiv:1805.11496, 2018
12018
Unordered tuples in Quantum Computation
R Furber, B Westerbaan
EPTCS 195 (QPL 2015), 196-207, 2015
12015
The Universal Property of Infinite Direct Sums in -Categories and W∗-Categories
T Fritz, B Westerbaan
Applied Categorical Structures, 1-11, 2019
2019
Statman's Hierarchy Theorem
B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ...
Logical Methods in Computer Science, 2016
2016
On effective undecidability and Post's problem
B Westerbaan
arXiv preprint arXiv:1409.1030, 2014
2014
Code & Data for "A Kochen-Specker system has at least 22 vertices"
B Westerbaan, S Uijlen
Zenodo. org, 2014
2014
Quotients, Comprehension, and Measurement
K Cho, B Jacobs, B Westerbaan, B Westerbaan
The system can't perform the operation now. Try again later.
Articles 1–18