| Steps and traces | 0 | 0.34 | 2021 |
| Relating Apartness And Bisimulation | 0 | 0.34 | 2021 |
| Electronic identity services as sociotechnical and political-economic constructs: | 0 | 0.34 | 2020 |
| The differential calculus of causal functions. | 0 | 0.34 | 2019 |
| The mathematics of changing one's mind, via Jeffrey's or via Pearl's update rule | 0 | 0.34 | 2019 |
| Causal Inference by String Diagram Surgery. | 0 | 0.34 | 2019 |
| Learning along a Channel: the Expectation part of Expectation-Maximisation. | 0 | 0.34 | 2019 |
| Neural Nets via Forward State Transformation and Backward Loss Transformation. | 0 | 0.34 | 2019 |
| The security of access to accounts under the PSD2 | 0 | 0.34 | 2019 |
| Learning to Coordinate. | 0 | 0.34 | 2018 |
| A Note on Distances between Probabilistic and Quantum distributions. | 0 | 0.34 | 2018 |
| Lower and Upper Conditioning in Quantum Bayesian Theory. | 1 | 0.36 | 2018 |
| A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. | 0 | 0.34 | 2018 |
| The Logical Essentials of Bayesian Reasoning. | 3 | 0.50 | 2018 |
| Categorical Aspects of Parameter Learning. | 0 | 0.34 | 2018 |
| A Channel-based Exact Inference Algorithm for Bayesian Networks. | 1 | 0.36 | 2018 |
| From probability monads to commutative effectuses. | 4 | 0.44 | 2018 |
| DISTANCES BETWEEN STATES AND BETWEEN PREDICATES | 0 | 0.34 | 2017 |
| A channel-based perspective on conjugate priors | 0 | 0.34 | 2017 |
| The EfProb Library for Probabilistic Calculations. | 6 | 0.60 | 2017 |
| A Formal Semantics of Influence in Bayesian Reasoning. | 1 | 0.38 | 2017 |
| A Recipe for State-and-Effect Triangles. | 4 | 0.43 | 2017 |
| Hyper Normalisation and Conditioning for Discrete Probability Distributions. | 2 | 0.38 | 2017 |
| The Fall of a Tiny Star. | 0 | 0.34 | 2016 |
| The expectation monad in quantum foundations. | 17 | 1.31 | 2016 |
| Affine Monads And Side-Effect-Freeness | 2 | 0.42 | 2016 |
| Securely Derived Identity Credentials on Smart Phones via Self-enrolment. | 1 | 0.63 | 2016 |
| A Predicate/State Transformer Semantics for Bayesian Learning. | 9 | 0.69 | 2016 |
| An Introduction to Effectus Theory | 9 | 0.70 | 2015 |
| States of Convex Sets. | 11 | 0.88 | 2015 |
| Dijkstra and Hoare monads in monadic computation | 4 | 0.43 | 2015 |
| Towards Practical Attribute-Based Signatures | 1 | 0.37 | 2015 |
| Automata Learning: A Categorical Perspective. | 3 | 0.44 | 2014 |
| Preface | 0 | 0.34 | 2014 |
| Initial Algebras of Terms with Binding and Algebraic Structure. | 0 | 0.34 | 2014 |
| Coinductive Predicates and Final Sequences in a Fibration | 2 | 0.38 | 2013 |
| Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. | 0 | 0.34 | 2013 |
| Cell-based privacy-friendly roadpricing | 7 | 0.56 | 2013 |
| Bases as coalgebras | 1 | 0.35 | 2013 |
| On Block Structures in Quantum Computation | 6 | 0.54 | 2013 |
| Trace semantics via determinization. | 14 | 0.78 | 2012 |
| NEW DIRECTIONS IN CATEGORICAL LOGIC, FOR CLASSICAL, PROBABILISTIC AND QUANTUM LOGIC | 11 | 0.66 | 2012 |
| Fibrational induction meets effects | 4 | 0.41 | 2012 |
| Logical formalisation and analysis of the mifare classic card in PVS | 2 | 0.37 | 2011 |
| Coalgebraic walks, in quantum and turing computation | 4 | 0.60 | 2011 |
| Cell-Based roadpricing | 3 | 0.41 | 2011 |
| Traces for coalgebraic components | 1 | 0.36 | 2011 |
| Exemplaric Expressivity of Modal Logics | 12 | 0.61 | 2010 |
| Involutive Categories and Monoids, with a GNS-correspondence | 4 | 0.70 | 2010 |
| From Coalgebraic to Monoidal Traces | 9 | 0.51 | 2010 |
