| From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality RWJ Furber, BPF Jacobs Logical Methods in Computer Science 11 (2), 5, 2015 | 56 | 2015 |
| The expectation monad in quantum foundations B Jacobs, J Mandemaker, R Furber Information and Computation 250, 87-114, 2016 | 43 | 2016 |
| Probabilistic logics based on Riesz spaces M Mio, R Mardare, R Furber Logical Methods in Computer Science 16, 2020 | 16* | 2020 |
| Boolean-valued semantics for the stochastic λ-calculus G Bacci, R Furber, D Kozen, R Mardare, P Panangaden, D Scott Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 13 | 2018 |
| Categorical Duality in Probability and Quantum Foundations R Furber Radboud University, Nijmegen, 2017 | 10 | 2017 |
| Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras R Furber, M Rennela, S Staton Electronic Proceedings in Theoretical Computer Science, QPL 2016, 2016 | 10* | 2016 |
| Riesz Modal logic for Markov processes M Mio, R Furber, R Mardare 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 9 | 2017 |
| Unrestricted stone duality for Markov processes R Furber, D Kozen, K Larsen, R Mardare, P Panangaden 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2017 | 8 | 2017 |
| Towards a categorical account of conditional probability R Furber, B Jacobs arXiv preprint arXiv:1306.0831, 2013 | 7 | 2013 |
| Continuous Dcpos in Quantum Computing R Furber | 5 | 2019 |
| Categorical Equivalences from State-Effect Adjunctions R Furber arXiv preprint arXiv:1901.10116, 2019 | 3 | 2019 |
| Scott Continuity in Generalized Probabilistic Theories R Furber arXiv preprint arXiv:2005.00210, 2020 | 2 | 2020 |
| A Probability Monad on Measure Spaces R Furber | 1 | 2022 |
| Unordered tuples in Quantum Computation R Furber, B Westerbaan arXiv preprint arXiv:1409.1020, 2014 | 1 | 2014 |
| Some No-Go Results in Quantum Domain Theory R Furber Quantum Physics and Logic 2022, 2022 | | 2022 |
| Interpreting Lambda Calculus in Domain-Valued Random Variables R Furber, R Mardare, P Panangaden, D Scott arXiv preprint arXiv:2112.06339, 2021 | | 2021 |
| Extra Examples for “Scott Continuity in Generalized Probabilistic Theories” R Furber | | 2019 |
| Duality for Effect Algebras and Convex Sets R Furber | | 2016 |
| From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality R Furber, B Jacobs International Conference on Algebra and Coalgebra in Computer Science, 141-157, 2013 | | 2013 |
| Quantum Entanglement and Algebraic Group Actions R Furber | | 2011 |
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
