Abraham Westerbaan

14 papers A* 1B 1Journal 9Unranked 3

Year	Rank	Type	Title / Venue / Authors
2020	A*	`conf`	A characterisation of ordered abstract probabilities. LICS Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2020	J	`jnl`	Distances between States and between Predicates. Log. Methods Comput. Sci. Bart Jacobs, Abraham Westerbaan
2020	B	`conf`	Polymorphic Encryption and Pseudonymisation of IP Network Flows. Networking Abraham Westerbaan, Luuk Hendriks
2020	J	`jnl`	Sign in finite fields. IACR Cryptol. ePrint Arch. Abraham Westerbaan, Bas Westerbaan
2020	J	`jnl`	The three types of normal sequential effect algebras. Quantum Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2019	J	`jnl`	A characterization of ordered abstract probabilities. CoRR Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2019	J	`jnl`	Polymorphic Encryption and Pseudonymisation of IP Network Flows. CoRR Abraham Westerbaan, Luuk Hendriks
2018	—	`conf`	Pure Maps between Euclidean Jordan Algebras. QPL Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2018	J	`jnl`	The Category of von Neumann Algebras. CoRR Abraham Westerbaan
2017	J	`jnl`	Distances between States and between Predicates. CoRR Bart Jacobs, Abraham Westerbaan
2016	—	`conf`	Paschke Dilations. QPL Abraham Westerbaan, Bas Westerbaan
2016	—	`conf`	Quantum Programs as Kleisli Maps. QPL Abraham Westerbaan
2016	J	`jnl`	Von Neumann Algebras form a Model for the Quantum Lambda Calculus. CoRR Kenta Cho, Abraham Westerbaan
2015	J	`jnl`	An Introduction to Effectus Theory. CoRR Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan