Bart Jacobs

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 66

Top Venues

CoRR

MFPS

Log. Methods Comput. Sci.

CMCS

Publications

Bart Jacobs
Some Probabilistic Riddles and Some Logical Solutions. Logics and Type Systems in Theory and Practice (2024)
Bart Jacobs
The authenticity crisis. Comput. Law Secur. Rev. 53 (2024)
Bart Jacobs
Drawing with Distance. CoRR (2024)
Bart Jacobs
Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl. CoRR (2024)
Bart Jacobs
Drawing from an Urn is Isometric. FoSSaCS (1) (2024)
Bart Jacobs, Dario Stein
Counting and Matching. CSL (2023)
Bart Jacobs, Dario Stein
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. CoRR (2023)
Bart Jacobs
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. WoLLIC (2023)
Leon Botros, Merel Brandon, Bart Jacobs, Daniel Ostkamp, Hanna Kathrin Schraffenberger, Marloes Venema
PostGuard: Towards Easy and Secure Email Communication. CHI Extended Abstracts (2023)
Bart Jacobs, Dario Stein
Overdrawing Urns using Categories of Signed Probabilities. CoRR (2023)
Merel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs
Design Principles for Actual Security. NordiCHI (Adjunct) (2022)
Bart Jacobs
Partitions and Ewens Distributions in element-free Probability Theory. LICS (2022)
Bart Jacobs
Stick Breaking, in Coalgebra and Probability. CMCS (2022)
Bart Jacobs
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Bart Jacobs
Sufficient Statistics and Split Idempotents in Discrete Probability Theory. CoRR (2022)
Bart Jacobs
Multinomial and Hypergeometric Distributions in Markov Categories. MFPS (2021)
Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas
Towards a seamful ethics of Covid-19 contact tracing apps? Ethics Inf. Technol. 23 (S1) (2021)
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
Steps and traces. J. Log. Comput. 31 (6) (2021)
Bart Jacobs
From Multisets over Distributions to Distributions over Multisets. LICS (2021)
Bart Jacobs
From Multisets over Distributions to Distributions over Multisets. CoRR (2021)
Herman Geuvers, Bart Jacobs
Relating Apartness and Bisimulation. Log. Methods Comput. Sci. 17 (3) (2021)
Bart Jacobs
Learning from What's Right and Learning from What's Wrong. MFPS (2021)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31 (5) (2021)
Herman Geuvers, Bart Jacobs
Relating Apartness and Bisimulation. CoRR (2020)
Bart Jacobs, Sam Staton
De Finetti's Construction as a Categorical Limit. CMCS (2020)
José van Dijck, Bart Jacobs
Electronic identity services as sociotechnical and political-economic constructs. New Media Soc. 22 (5) (2020)
Bart Jacobs, Abraham Westerbaan
Distances between States and between Predicates. Log. Methods Comput. Sci. 16 (1) (2020)
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
Steps and Traces. CoRR (2020)
Bart Jacobs
A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30 (1) (2020)
David Sprunger, Bart Jacobs
The differential calculus of causal functions. CoRR (2019)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. FoSSaCS (2019)
Kenta Cho, Bart Jacobs
Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29 (7) (2019)
Bart Jacobs, Jean Popma
Medical research, Big Data and the need for privacy by design. Big Data Soc. 6 (1) (2019)
Bart Jacobs
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule. J. Artif. Intell. Res. 65 (2019)
Bart Jacobs, David Sprunger
Neural Nets via Forward State Transformation and Backward Loss Transformation. MFPS (2019)
Bart Jacobs
Learning along a Channel: the Expectation part of Expectation-Maximisation. MFPS (2019)
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Learning to Coordinate. It's All About Coordination (2018)
Bart Jacobs
A Channel-based Exact Inference Algorithm for Bayesian Networks. CoRR (2018)
Bart Jacobs, David Sprunger
Neural Nets via Forward State Transformation and Backward Loss Transformation. CoRR (2018)
Bart Jacobs, Fabio Zanasi
The Logical Essentials of Bayesian Reasoning. CoRR (2018)
Bart Jacobs
Categorical Aspects of Parameter Learning. CoRR (2018)
Bart Jacobs
Lower and Upper Conditioning in Quantum Bayesian Theory. QPL (2018)
Bart Jacobs
From probability monads to commutative effectuses. J. Log. Algebraic Methods Program. 94 (2018)
Bart Jacobs
A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. CoRR (2018)
Bart Jacobs
A Note on Distances between Probabilistic and Quantum distributions. MFPS (2018)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. CoRR (2018)
Bart Jacobs, Paul Blain Levy, Jurriaan Rot
Steps and Traces. CMCS (2018)
Bart Jacobs
A Channel-Based Perspective on Conjugate Priors. CoRR (2017)
Kenta Cho, Bart Jacobs
Disintegration and Bayesian Inversion, Both Abstractly and Concretely. CoRR (2017)
Kenta Cho, Bart Jacobs
The EfProb Library for Probabilistic Calculations. CALCO (2017)
Bart Jacobs, Fabio Zanasi
A Formal Semantics of Influence in Bayesian Reasoning. MFCS (2017)
Bart Jacobs
Hyper Normalisation and Conditioning for Discrete Probability Distributions. Log. Methods Comput. Sci. 13 (3) (2017)
Bart Jacobs
A Recipe for State-and-Effect Triangles. CoRR (2017)
Bart Jacobs, Abraham Westerbaan
Distances between States and between Predicates. CoRR (2017)
Bart Jacobs
A Recipe for State-and-Effect Triangles. Log. Methods Comput. Sci. 13 (2) (2017)
Bart Jacobs
Affine Monads and Side-Effect-Freeness. CMCS (2016)
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
Healthiness from Duality. LICS (2016)
Fabian van den Broek, Brinda Hampiholi, Bart Jacobs
Securely Derived Identity Credentials on Smart Phones via Self-enrolment. STM (2016)
Bart Jacobs, Fabio Zanasi
A Predicate/State Transformer Semantics for Bayesian Learning. MFPS (2016)
Bart Jacobs
Hyper Normalisation and Conditioning for Discrete Probability Distributions. CoRR (2016)
Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter
Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. IACR Cryptol. ePrint Arch. 2016 (2016)
Bart Jacobs
Effectuses from Monads. MFPS (2016)
Matty Hoban, Bart Jacobs, Prakash Panangaden
Preface. Inf. Comput. 250 (2016)
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
Healthiness from Duality. CoRR (2016)
Bart Jacobs, Jorik Mandemaker, Robert Furber
The expectation monad in quantum foundations. Inf. Comput. 250 (2016)
Flavio D. Garcia, Bart Jacobs
The Fall of a Tiny Star. The New Codebreakers (2016)
Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan
An Introduction to Effectus Theory. CoRR (2015)
Robert W. J. Furber, Bart Jacobs
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. Log. Methods Comput. Sci. 11 (2) (2015)
Brinda Hampiholi, Gergely Alpár, Fabian van den Broek, Bart Jacobs
Towards Practical Attribute-Based Signatures. SPACE (2015)
Bart Jacobs
A Recipe for State-and-Effect Triangles. CALCO (2015)
Robin Adams, Bart Jacobs
A Type Theory for Probabilistic and Bayesian Reasoning. CoRR (2015)
Bart Jacobs, Bram Westerbaan
An Effect-Theoretic Account of Lebesgue Integration. MFPS (2015)
Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan
Quotient-Comprehension Chains. CoRR (2015)
Bart Jacobs
Dijkstra and Hoare monads in monadic computation. Theor. Comput. Sci. 604 (2015)
Bart Jacobs
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic Log. Methods Comput. Sci. 11 (3) (2015)
Robin Adams, Bart Jacobs
A Type Theory for Probabilistic and Bayesian Reasoning. TYPES (2015)
Bart Jacobs, Bas Westerbaan, Bram Westerbaan
States of Convex Sets. FoSSaCS (2015)
Bart Jacobs, Alexandra Silva, Ana Sokolova
Trace semantics via determinization. J. Comput. Syst. Sci. 81 (5) (2015)
Bart Jacobs, Alexandra Silva
Automata Learning: A Categorical Perspective. Horizons of the Mind (2014)
Bart Jacobs, Alexandra Silva, Sam Staton
Preface. MFPS (2014)
Bart Jacobs, Alexandra Silva
Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics (2014)
Bart Jacobs
Dijkstra Monads in Monadic Computation. CMCS (2014)
Robert Furber, Bart Jacobs
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO (2013)
Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs
Coinductive Predicates and Final Sequences in a Fibration. MFPS (2013)
Bart Jacobs
Measurable Spaces and Their Effect Logic. LICS (2013)
Robert Furber, Bart Jacobs
Towards a Categorical Account of Conditional Probability. CoRR (2013)
Gergely Alpár, Bart Jacobs
Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. IDMAN (2013)
Bart Jacobs
Two of the Grand Changes through Computer and Network Technology. Privacy and Identity Management (2013)
Bart Jacobs
Bases as Coalgebras. Log. Methods Comput. Sci. 9 (3) (2013)
Flavio D. Garcia, Eric R. Verheul, Bart Jacobs
Cell-based privacy-friendly roadpricing. Comput. Math. Appl. 65 (5) (2013)
Bart Jacobs
Dagger Categories of Tame Relations. Logica Universalis 7 (3) (2013)
Bart Jacobs
On Block Structures in Quantum Computation. MFPS (2013)
Bart Jacobs, Alexandra Silva, Ana Sokolova
Trace Semantics via Determinization. CMCS (2012)
Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
Fibrational Induction Meets Effects. FoSSaCS (2012)
Bart Jacobs, Jorik Mandemaker
Relating Operator Spaces via Adjunctions CoRR (2012)
Ichiro Hasuo, Bart Jacobs
Traces for coalgebraic components. Math. Struct. Comput. Sci. 21 (2) (2011)
Bart Jacobs
Coalgebraic Walks, in Quantum and Turing Computation. FoSSaCS (2011)
Bart Jacobs
Bases as Coalgebras. CALCO (2011)
Chris Heunen, Bart Jacobs
Quantum Logic in Dagger Kernel Categories. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Bart Jacobs, Ronny Wichers Schreur
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP (2011)

Bart Jacobs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bart Jacobs