A Coalgebraic View of ε-Transitions. - Alexandra Silva 001; Bram Westerbaan (CALCO, 2013)

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. - Henning Kerstan; Barbara König 001; Bram Westerbaan (CMCS, 2014)

States of Convex Sets. - Bart Jacobs 001; Bas Westerbaan; Bram Westerbaan (FoSSaCS, 2015)

An Introduction to Effectus Theory. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Abraham Westerbaan (CoRR, 2015)

Quotient-Comprehension Chains. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Bram Westerbaan (QPL, 2015)

An Effect-Theoretic Account of Lebesgue Integration. - Bart Jacobs 001; Bram Westerbaan (MFPS, 2015)

Von Neumann Algebras form a Model for the Quantum Lambda Calculus. - Kenta Cho 002; Abraham Westerbaan (CoRR, 2016)

Quantum Programs as Kleisli Maps. - Abraham Westerbaan (QPL, 2016)

Paschke Dilations. - Abraham Westerbaan; Bas Westerbaan (QPL, 2016)

Statman's Hierarchy Theorem. - Bram Westerbaan; Bas Westerbaan; Rutger Kuyper; Carst Tankink; Remy Viehoff; Henk Barendregt (Log. Methods Comput. Sci., 2017)

The Category of von Neumann Algebras. - Abraham Westerbaan (CoRR, 2018)

Pure Maps between Euclidean Jordan Algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (QPL, 2018)

A characterization of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (CoRR, 2019)

A characterisation of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (LICS, 2020)

Polymorphic Encryption and Pseudonymisation of IP Network Flows. - Abraham Westerbaan; Luuk Hendriks (Networking, 2020)

Sign in finite fields. - Abraham Westerbaan; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2020)

Distances between States and between Predicates. - Bart Jacobs 001; Abraham Westerbaan (Log. Methods Comput. Sci., 2020)

The three types of normal sequential effect algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (Quantum, 2020)

PubHubs identity management. - Bart Jacobs 001; Bram Westerbaan; Omar Javed; Harm van Stekelenburg; Lian Vervoort; Jan den Besten (J. Log. Comput., 2024)