| An introduction to effectus theory K Cho, B Jacobs, B Westerbaan, A Westerbaan arXiv preprint arXiv:1512.05813, 2015 | 71 | 2015 |
| States of Convex Sets. B Jacobs, B Westerbaan, B Westerbaan FoSSaCS, 87-101, 2015 | 35 | 2015 |
| Quantum Programs as Kleisli Maps A Westerbaan arXiv preprint arXiv:1501.01020, 2014 | 22 | 2014 |
| Quotient-Comprehension Chains K Cho, B Jacobs, B Westerbaan, B Westerbaan arXiv preprint arXiv:1511.01570, 2015 | 18 | 2015 |
| The category of von Neumann algebras AA Westerbaan arXiv preprint arXiv:1804.02203, 2019 | 17 | 2019 |
| Paschke Dilations A Westerbaan, B Westerbaan ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017 | 17 | 2017 |
| A coalgebraic view of ε-transitions A Silva, B Westerbaan International Conference on Algebra and Coalgebra in Computer Science, 267-281, 2013 | 17 | 2013 |
| A universal property for sequential measurement A Westerbaan, B Westerbaan Journal of Mathematical Physics 57 (9), 092203, 2016 | 14 | 2016 |
| An Effect-Theoretic Account of Lebesgue Integration B Jacobs, B Westerbaan Electronic Notes in Theoretical Computer Science 319, 239-253, 2015 | 14 | 2015 |
| Von neumann algebras form a model for the quantum lambda calculus K Cho, A Westerbaan arXiv preprint arXiv:1603.02133, 2016 | 10 | 2016 |
| Distances between States and between Predicates A Westerbaan, B Jacobs Logical Methods in Computer Science 16, 2020 | 9* | 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 |
| Von Neumann Algebras form a Model for the Quantum Lambda Calculus (2016) K Cho, A Westerbaan arXiv preprint arXiv:1603.02133, 2016 | 5 | 2016 |
| 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 WesterbaanResearch Engineer, CloudflareVerified email at cloudflare.com
