An introduction to effectus theory K Cho, B Jacobs, B Westerbaan, A Westerbaan arXiv preprint arXiv:1512.05813, 2015 | 65 | 2015 |
States of Convex Sets. B Jacobs, B Westerbaan, B Westerbaan FoSSaCS, 87-101, 2015 | 33 | 2015 |
Quantum Programs as Kleisli Maps A Westerbaan arXiv preprint arXiv:1501.01020, 2014 | 19 | 2014 |
Quotient-Comprehension Chains K Cho, B Jacobs, B Westerbaan, B Westerbaan arXiv preprint arXiv:1511.01570, 2015 | 18 | 2015 |
A coalgebraic view of ε-transitions A Silva, B Westerbaan International Conference on Algebra and Coalgebra in Computer Science, 267-281, 2013 | 17 | 2013 |
The category of von Neumann algebras AA Westerbaan arXiv preprint arXiv:1804.02203, 2019 | 15 | 2019 |
Paschke Dilations A Westerbaan, B Westerbaan ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017 | 15 | 2017 |
An Effect-Theoretic Account of Lebesgue Integration B Jacobs, B Westerbaan Electronic Notes in Theoretical Computer Science 319, 239-253, 2015 | 15 | 2015 |
A universal property for sequential measurement A Westerbaan, B Westerbaan Journal of Mathematical Physics 57 (9), 092203, 2016 | 13 | 2016 |
Von neumann algebras form a model for the quantum lambda calculus K Cho, A Westerbaan arXiv preprint arXiv:1603.02133, 2016 | 9 | 2016 |
Distances between States and between Predicates A Westerbaan, B Jacobs Logical Methods in Computer Science 16, 2020 | 8* | 2020 |
Lifting adjunctions to coalgebras to (Re) Discover automata constructions H Kerstan, B König, B Westerbaan International Workshop on Coalgebraic Methods in Computer Science, 168-188, 2014 | 8 | 2014 |
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 | 7 | 2020 |
The three types of normal sequential effect algebras A Westerbaan, B Westerbaan, J van de Wetering Quantum 4, 378, 2020 | 5 | 2020 |
Polymorphic Encryption and Pseudonymisation of IP Network Flows A Westerbaan, L Hendriks 2020 IFIP Networking Conference (Networking), 494-498, 2020 | 3 | 2020 |
Pure maps between Euclidean Jordan Algebras A Westerbaan, B Westerbaan, J van de Wetering arXiv preprint arXiv:1805.11496, 2018 | 3 | 2018 |
Duplicable von Neumann Algebras K Cho, AA Westerbaan arXiv preprint arXiv:1903.02963, 2019 | 1 | 2019 |
Lattice valuations: A generalisation of measure and integral AA Westerbaan Master's thesis Radboud University, 2012 | 1* | 2012 |
PubHubs Identity Management B Jacobs, B Westerbaan, O Javed, H van Stekelenburg, L Vervoort, ... | | 2023 |
Bas Westerbaan, and John van de Wetering. The three types of normal sequential effect algebras A Westerbaan Quantum 4, 378, 2020 | | 2020 |