On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. - Bart Jacobs 001 (Category Theory and Computer Science, 1989)

The inconsistency of higher order extensions of Martin-Löf's type theory. - Bart Jacobs 001 (J. Philos. Log., 1989)

Relating Models of Impredicative Type Theories. - Bart Jacobs 001; Eugenio Moggi; Thomas Streicher (Category Theory and Computer Science, 1991)

Semantics of the Second Order Lambda Calculus. - Bart Jacobs 001 (Math. Struct. Comput. Sci., 1991)

Filter Models with Polymorphic Types. - Bart Jacobs 001; Ines Margaria; Maddalena Zacchi (Theor. Comput. Sci., 1992)

Semantics of lambda-I and of other substructure lambda calculi. - Bart Jacobs 001 (TLCA, 1993)

Translating Dependent Type Theory into Higher Order Logic. - Bart Jacobs 001; Thomas F. Melham (TLCA, 1993)

Comprehension Categories and the Semantics of Type Dependency. - Bart Jacobs 001 (Theor. Comput. Sci., 1993)

An Algebraic View of Structural Induction. - Claudio Hermida; Bart Jacobs 001 (CSL, 1994)

Coalgebras and Approximation. - Bart Jacobs 001 (LFCS, 1994)

Semantics of Weakening and Contraction. - Bart Jacobs 001 (Ann. Pure Appl. Log., 1994)

Mongruences and Cofree Coalgebras. - Bart Jacobs 001 (AMAST, 1995)

Objects and Classes, Co-Algebraically. - Bart Jacobs 001 (Object Orientation with Parallelism and Persistence, 1995)

Subtypes and bounded quantification from a fibred perspective. - Bart Jacobs 001 (MFPS, 1995)

Parameters and Parametrization in Specification, Using Distributive Categories. - Bart Jacobs 001 (Fundam. Informaticae, 1995)

Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. - Claudio Hermida; Bart Jacobs 001 (Math. Struct. Comput. Sci., 1995)

Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. - Marcello M. Bonsangue; Bart Jacobs 001; Joost N. Kok (Theor. Comput. Sci., 1995)

Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. - Bart Jacobs 001 (AMAST, 1996)

Inheritance and Cofree Constructions. - Bart Jacobs 001 (ECOOP, 1996)

On Cubism. - Bart Jacobs 001 (J. Funct. Program., 1996)

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. - Bart Jacobs 001 (AMAST, 1997)

Proof Principles for Datatypes with Iterated Recursion. - Ulrich Hensel; Bart Jacobs 001 (Category Theory and Computer Science, 1997)

Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. - Bart Jacobs 001 (TAPSOFT, 1997)

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. - Ulrich Hensel; Marieke Huisman; Bart Jacobs 001; Hendrik Tews (ESOP, 1998)

Reasoning about Java Classes (Preliminary Report). - Bart Jacobs 001; Joachim van den Berg; Marieke Huisman; Martijn van Berkum (OOPSLA, 1998)

Coalgebraic Reasoning about Classes in Object-Oriented Languages. - Bart Jacobs 001 (CMCS, 1998)

Preface. - Bart Jacobs 001; Larry Moss; Horst Reichel; Jan J. M. M. Rutten (CMCS, 1998)

Structural Induction and Coinduction in a Fibrational Setting. - Claudio Hermida; Bart Jacobs 001 (Inf. Comput., 1998)

Formal Techniques for Java Programs. - Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 1999)

A Type-Theoretic Memory Model for Verification of Sequential Java Programs. - Joachim van den Berg; Marieke Huisman; Bart Jacobs 001; Erik Poll (WADT, 1999)

Preface. - Bart Jacobs 001; Jan J. M. M. Rutten (CMCS, 1999)

Coalgebraic Theories of Sequences in PVS. - Ulrich Hensel; Bart Jacobs 001 (J. Log. Comput., 1999)

Exercises in Coalgebraic Specification. - Bart Jacobs 001 (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

A Monad for Basic Java Semantics. - Bart Jacobs 001; Erik Poll (AMAST, 2000)

Specification of the JavaCard API in JML. - Erik Poll; Joachim van den Berg; Bart Jacobs 001 (CARDIS, 2000)

Formal Techniques for Java Programs. - Sophia Drossopoulou; Susan Eisenbach; Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 2000)

Java Program Verification via a Hoare Logic with Abrupt Termination. - Marieke Huisman; Bart Jacobs 001 (FASE, 2000)

Formal Specification and Verification of JavaCard's Application Identifier Class. - Joachim van den Berg; Bart Jacobs 001; Erik Poll (Java Card Workshop, 2000)

JML (poster session): notations and tools supporting detailed design in Java. - Gary T. Leavens; Clyde Ruby; K. Rustan M. Leino; Erik Poll; Bart Jacobs 001 (OOPSLA Addendum, 2000)

Inheritance in Higher Order Logic: Modeling and Reasoning. - Marieke Huisman; Bart Jacobs 001 (TPHOLs, 2000)

Towards a Duality Result in Coalgebraic Modal Logic. - Bart Jacobs 001 (CMCS, 2000)

Object-oriented hybrid systems of coalgebras plus monoid actions. - Bart Jacobs 001 (Theor. Comput. Sci., 2000)

Categorical Logic and Type Theory. - Bart P. F. Jacobs (North-Holland, 2001)

A Formalisation of Java's Exception Mechanism. - Bart Jacobs 001 (ESOP, 2001)

A Logic for the Java Modeling Language JML. - Bart Jacobs 001; Erik Poll (FASE, 2001)

The LOOP Compiler for Java and JML. - Joachim van den Berg; Bart Jacobs 001 (TACAS, 2001)

JavaCard Program Verification. - Bart Jacobs 001 (TPHOLs, 2001)

Formal specification of the JavaCard API in JML: the APDU class. - Erik Poll; Joachim van den Berg; Bart Jacobs 001 (Comput. Networks, 2001)

Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. - Bart Jacobs 001 (RAIRO Theor. Informatics Appl., 2001)

The Coalgebraic Class Specification Language CCSL. - Jan Rothe; Hendrik Tews; Bart Jacobs 001 (J. Univers. Comput. Sci., 2001)

A case study in class library verification: Java's vector class. - Marieke Huisman; Bart Jacobs 001; Joachim van den Berg (Int. J. Softw. Tools Technol. Transf., 2001)

Foreword : Coalgebraic Methods in Computer Science 1998. - Bart Jacobs 001; Larry Moss; Horst Reichel; Jan J. M. M. Rutten (Theor. Comput. Sci., 2001)

Specifying and Verifying a Decimal Representation in Java for Smart Cards. - Cees-Bart Breunesse; Bart Jacobs 001; Joachim van den Berg (AMAST, 2002)

Java Program Verification Challenges. - Bart Jacobs 001; Joseph Kiniry; Martijn Warnier (FMCO, 2002)

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. - Jesse Hughes; Bart Jacobs 001 (CTCS, 2002)

Comprehension for Coalgebras. - Bart Jacobs 001 (CMCS, 2002)

The Temporal Logic of Coalgebras via Galois Algebras. - Bart Jacobs 001 (Math. Struct. Comput. Sci., 2002)

Coalgebraic Methods in Computer Science - Foreword. - Bart Jacobs 001; Jan J. M. M. Rutten (Theor. Comput. Sci., 2002)

Java's Integral Types in PVS. - Bart Jacobs 001 (FMOODS, 2003)

Java Program Verification at Nijmegen: Developments and Perspective. - Bart Jacobs 001; Erik Poll (ISSS, 2003)

Coalgebras and monads in the semantics of Java. - Bart Jacobs 001; Erik Poll (Theor. Comput. Sci., 2003)

Counting Votes with Formal Methods. - Bart Jacobs 001; Engelbert Hubbers; Joseph Kiniry; Martijn Oostdijk (AMAST, 2004)

Formal Verification of a Commercial Smart Card Applet with Multiple Tools. - Bart Jacobs 001; Claude Marché; Nicole Rauch (AMAST, 2004)

Relating Two Approaches to Coinductive Solution of Recursive Equations. - Bart Jacobs 001 (CMCS, 2004)

Trace Semantics for Coalgebras. - Bart Jacobs 001 (CMCS, 2004)

Weakest pre-condition reasoning for Java programs with JML annotations. - Bart Jacobs 001 (J. Log. Algebraic Methods Program., 2004)

Source code verification of a secure payment applet. - Bart Jacobs 001; Martijn Oostdijk; Martijn Warnier (J. Log. Algebraic Methods Program., 2004)

Simulations in coalgebra. - Jesse Hughes; Bart Jacobs 001 (Theor. Comput. Sci., 2004)

Context-Free Languages via Coalgebraic Trace Semantics. - Ichiro Hasuo; Bart Jacobs 001 (CALCO, 2005)

RIES - Internet Voting in Action. - Engelbert Hubbers; Bart Jacobs 001; Wolter Pieters (COMPSAC (1), 2005)

Statically checking confidentiality via dynamic labels. - Bart Jacobs 001; Wolter Pieters; Martijn Warnier (WITS, 2005)

Formal methods for smart cards: an experience report. - Cees-Bart Breunesse; Néstor Cataño; Marieke Huisman; Bart Jacobs 001 (Sci. Comput. Program., 2005)

A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. - Bart Jacobs 001 (Essays Dedicated to Joseph A. Goguen, 2006)

Crossing Borders: Security and Privacy Issues of the European e-Passport. - Jaap-Henk Hoepman; Engelbert Hubbers; Bart Jacobs 001; Martijn Oostdijk; Ronny Wichers Schreur (IWSEC, 2006)

Freyd is Kleisli, for Arrows. - Bart Jacobs 001; Ichiro Hasuo (MSFP@MPC, 2006)

PVS. - Bart Jacobs 001; John M. Rushby (The Seventeen Provers of the World, 2006)

Generic Trace Theory. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (CMCS, 2006)

Arrows, like Monads, are Monoids. - Chris Heunen; Bart Jacobs 001 (MFPS, 2006)

Distributive laws for the coinductive solution of recursive equations. - Bart Jacobs 001 (Inf. Comput., 2006)

Categorical Views on Computations on Trees (Extended Abstract). - Ichiro Hasuo; Bart Jacobs 001; Tarmo Uustalu (ICALP, 2007)

AHA: Amortized Heap Space Usage Analysis. - Marko C. J. D. van Eekelen; Olha Shkaravska; Ron van Kesteren; Bart Jacobs 001; Erik Poll; Sjaak Smetsers (Trends in Functional Programming, 2007)

Increased security through open source. - Jaap-Henk Hoepman; Bart Jacobs 001 (Commun. ACM, 2007)

Code-carrying theories. - Bart Jacobs 001; Sjaak Smetsers; Ronny Wichers Schreur (Formal Aspects Comput., 2007)

Generic Trace Semantics via Coinduction. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (Log. Methods Comput. Sci., 2007)

Dismantling MIFARE Classic. - Flavio D. Garcia; Gerhard de Koning Gans; Ruben Muijrers; Peter van Rossum; Roel Verdult; Ronny Wichers Schreur; Bart Jacobs 001 (ESORICS, 2008)

Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. - Bart Jacobs 001; Wolter Pieters (FOSAD, 2008)

The Microcosm Principle and Concurrency in Coalgebra. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (FoSSaCS, 2008)

Privacy-Friendly Electronic Traffic Pricing via Commits. - Wiebren de Jonge; Bart Jacobs 001 (Formal Aspects in Security and Trust, 2008)

Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. - Bart Jacobs 001 (CMCS, 2008)

Coalgebraic Components in a Many-Sorted Microcosm. - Ichiro Hasuo; Chris Heunen; Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Traces, Executions and Schedulers, Coalgebraically. - Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. - Hendrik Tews; Bart Jacobs 001 (WISTP, 2009)

Quantum Logic in Dagger Kernel Categories. - Chris Heunen; Bart Jacobs 001 (QPL@MFPS, 2009)

Biometrics and their use in e-passports. - Ben A. M. Schouten; Bart Jacobs 001 (Image Vis. Comput., 2009)

Semantics and logic for security protocols. - Bart Jacobs 001; Ichiro Hasuo (J. Comput. Secur., 2009)

Categorical semantics for arrows. - Bart Jacobs 001; Chris Heunen; Ichiro Hasuo (J. Funct. Program., 2009)

Architecture Is Politics: Security and Privacy Issues in Transport and Beyond. - Bart Jacobs 001 (Data Protection in a Profiled World, 2010)

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. - Lejla Batina; Jaap-Henk Hoepman; Bart Jacobs 001; Wojciech Mostowski; Pim Vullers (CARDIS, 2010)

Convexity, Duality and Effects. - Bart Jacobs 001 (IFIP TCS, 2010)

Privacy-Friendly Energy-Metering via Homomorphic Encryption. - Flavio D. Garcia; Bart Jacobs 001 (STM, 2010)

Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories - Bart Jacobs 001 (Log. Methods Comput. Sci., 2010)

Involutive Categories and Monoids, with a GNS-correspondence - Bart Jacobs 001 (CoRR, 2010)

Coalgebraic Representation Theory of Fractals. - Ichiro Hasuo; Bart Jacobs 001; Milad Niqui (MFPS, 2010)

From Coalgebraic to Monoidal Traces. - Bart Jacobs 001 (CMCS@ETAPS, 2010)

Exemplaric Expressivity of Modal Logics. - Bart Jacobs 001; Ana Sokolova (J. Log. Comput., 2010)

Cell-Based Roadpricing. - Flavio D. Garcia; Eric R. Verheul; Bart Jacobs 001 (EuroPKI, 2011)

Coalgebraic Walks, in Quantum and Turing Computation. - Bart Jacobs 001 (FoSSaCS, 2011)

Logical Formalisation and Analysis of the Mifare Classic Card in PVS. - Bart Jacobs 001; Ronny Wichers Schreur (ITP, 2011)

The Expectation Monad in Quantum Foundations. - Bart Jacobs 001; Jorik Mandemaker (QPL, 2011)

Traces for coalgebraic components. - Ichiro Hasuo; Bart Jacobs 001 (Math. Struct. Comput. Sci., 2011)

Probabilities, distribution monads, and convex categories. - Bart Jacobs 001 (Theor. Comput. Sci., 2011)

Preface. - Bart Jacobs 001; Milad Niqui; Jan J. M. M. Rutten; Alexandra Silva 001 (Theor. Comput. Sci., 2011)

An introduction to (co)algebra and (co)induction. - Bart Jacobs 001; Jan Rutten (Advanced Topics in Bisimulation and Coinduction, 2012)

Fibrational Induction Meets Effects. - Robert Atkey; Neil Ghani; Bart Jacobs 001; Patricia Johann (FoSSaCS, 2012)

Relating Operator Spaces via Adjunctions - Bart Jacobs 001; Jorik Mandemaker (CoRR, 2012)

Scalars, Monads, and Categories. - Dion Coumans; Bart Jacobs 001 (Quantum Physics and Linguistics, 2013)

Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. - Gergely Alpár; Bart Jacobs 001 (IDMAN, 2013)

Measurable Spaces and Their Effect Logic. - Bart Jacobs 001 (LICS, 2013)

Two of the Grand Changes through Computer and Network Technology. - Bart Jacobs 001 (Privacy and Identity Management, 2013)

Cell-based privacy-friendly roadpricing. - Flavio D. Garcia; Eric R. Verheul; Bart Jacobs 001 (Comput. Math. Appl., 2013)

Bases as Coalgebras. - Bart Jacobs 001 (Log. Methods Comput. Sci., 2013)

Coinductive Predicates and Final Sequences in a Fibration. - Ichiro Hasuo; Kenta Cho 002; Toshiki Kataoka; Bart Jacobs 001 (MFPS, 2013)

On Block Structures in Quantum Computation. - Bart Jacobs 001 (MFPS, 2013)

Dagger Categories of Tame Relations. - Bart Jacobs 001 (Logica Universalis, 2013)

Initial Algebras of Terms with Binding and Algebraic Structure. - Bart Jacobs 001; Alexandra Silva 001 (Categories and Types in Logic, Language, and Physics, 2014)

Automata Learning: A Categorical Perspective. - Bart Jacobs 001; Alexandra Silva 001 (Horizons of the Mind, 2014)

Dijkstra Monads in Monadic Computation. - Bart Jacobs 001 (CMCS, 2014)

Preface. - Bart Jacobs 001; Alexandra Silva 001; Sam Staton (MFPS, 2014)

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

Towards Practical Attribute-Based Signatures. - Brinda Hampiholi; Gergely Alpár; Fabian van den Broek; Bart Jacobs 001 (SPACE, 2015)

A Type Theory for Probabilistic and Bayesian Reasoning. - Robin Adams 001; Bart Jacobs 001 (TYPES, 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)

Towards a Categorical Account of Conditional Probability. - Robert Furber; Bart Jacobs 001 (QPL, 2015)

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic - Bart Jacobs 001 (Log. Methods Comput. Sci., 2015)

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

Trace semantics via determinization. - Bart Jacobs 001; Alexandra Silva 001; Ana Sokolova (J. Comput. Syst. Sci., 2015)

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. - Robert W. J. Furber; Bart Jacobs 001 (Log. Methods Comput. Sci., 2015)

Dijkstra and Hoare monads in monadic computation. - Bart Jacobs 001 (Theor. Comput. Sci., 2015)

Introduction to Coalgebra: Towards Mathematics of States and Observation - Bart Jacobs 001 (Cambridge University Press, 2016)

The Fall of a Tiny Star. - Flavio D. Garcia; Bart Jacobs 001 (The New Codebreakers, 2016)

Affine Monads and Side-Effect-Freeness. - Bart Jacobs 001 (CMCS, 2016)

Healthiness from Duality. - Wataru Hino; Hiroki Kobayashi; Ichiro Hasuo; Bart Jacobs 001 (LICS, 2016)

Securely Derived Identity Credentials on Smart Phones via Self-enrolment. - Fabian van den Broek; Brinda Hampiholi; Bart Jacobs 001 (STM, 2016)

Effectuses from Monads. - Bart Jacobs 001 (MFPS, 2016)

A Predicate/State Transformer Semantics for Bayesian Learning. - Bart Jacobs 001; Fabio Zanasi (MFPS, 2016)

Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. - Eric R. Verheul; Bart Jacobs 001; Carlo Meijer; Mireille Hildebrandt; Joeri de Ruiter (IACR Cryptol. ePrint Arch., 2016)

Preface. - Matty Hoban; Bart Jacobs 001; Prakash Panangaden (Inf. Comput., 2016)

The expectation monad in quantum foundations. - Bart Jacobs 001; Jorik Mandemaker; Robert Furber (Inf. Comput., 2016)

The EfProb Library for Probabilistic Calculations. - Kenta Cho 002; Bart Jacobs 001 (CALCO, 2017)

A Formal Semantics of Influence in Bayesian Reasoning. - Bart Jacobs 001; Fabio Zanasi (MFCS, 2017)

Disintegration and Bayesian Inversion, Both Abstractly and Concretely. - Kenta Cho 002; Bart Jacobs 001 (CoRR, 2017)

A Recipe for State-and-Effect Triangles. - Bart Jacobs 001 (Log. Methods Comput. Sci., 2017)

Hyper Normalisation and Conditioning for Discrete Probability Distributions. - Bart Jacobs 001 (Log. Methods Comput. Sci., 2017)

Learning to Coordinate. - Gerco van Heerdt; Bart Jacobs 001; Tobias Kappé; Alexandra Silva 001 (It's All About Coordination, 2018)

The Logical Essentials of Bayesian Reasoning. - Bart Jacobs 001; Fabio Zanasi (CoRR, 2018)

A Channel-based Exact Inference Algorithm for Bayesian Networks. - Bart Jacobs 001 (CoRR, 2018)

A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. - Bart Jacobs 001 (CoRR, 2018)

Lower and Upper Conditioning in Quantum Bayesian Theory. - Bart Jacobs 001 (QPL, 2018)

Categorical Aspects of Parameter Learning. - Bart Jacobs 001 (CoRR, 2018)

A Note on Distances between Probabilistic and Quantum distributions. - Bart Jacobs 001 (MFPS, 2018)

From probability monads to commutative effectuses. - Bart Jacobs 001 (J. Log. Algebraic Methods Program., 2018)

Causal Inference by String Diagram Surgery. - Bart Jacobs 001; Aleks Kissinger; Fabio Zanasi (FoSSaCS, 2019)

The security of access to accounts under the PSD2. - Pieter T. J. Wolters; Bart P. F. Jacobs (Comput. Law Secur. Rev., 2019)

The differential calculus of causal functions. - David Sprunger; Bart Jacobs 001 (CoRR, 2019)

Learning along a Channel: the Expectation part of Expectation-Maximisation. - Bart Jacobs 001 (MFPS, 2019)

Neural Nets via Forward State Transformation and Backward Loss Transformation. - Bart Jacobs 001; David Sprunger (MFPS, 2019)

The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule. - Bart Jacobs 001 (J. Artif. Intell. Res., 2019)

Disintegration and Bayesian inversion via string diagrams. - Kenta Cho 002; Bart Jacobs 001 (Math. Struct. Comput. Sci., 2019)

Medical research, Big Data and the need for privacy by design. - Bart Jacobs 001; Jean Popma (Big Data Soc., 2019)

The Logical Essentials of Bayesian Reasoning. - Bart Jacobs 001; Fabio Zanasi (Foundations of Probabilistic Programming, 2020)

De Finetti's Construction as a Categorical Limit. - Bart Jacobs 001; Sam Staton (CMCS, 2020)

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

A channel-based perspective on conjugate priors. - Bart Jacobs 001 (Math. Struct. Comput. Sci., 2020)

Electronic identity services as sociotechnical and political-economic constructs. - José van Dijck; Bart Jacobs 001 (New Media Soc., 2020)

From Multisets over Distributions to Distributions over Multisets. - Bart Jacobs 001 (LICS, 2021)

Multinomial and Hypergeometric Distributions in Markov Categories. - Bart Jacobs 001 (MFPS, 2021)

Learning from What's Right and Learning from What's Wrong. - Bart Jacobs 001 (MFPS, 2021)

Towards a seamful ethics of Covid-19 contact tracing apps? - Andrew S. Hoffman; Bart Jacobs 001; Bernard van Gastel; Hanna Kathrin Schraffenberger; Tamar Sharon; Berber Pas (Ethics Inf. Technol., 2021)

Relating Apartness and Bisimulation. - Herman Geuvers; Bart Jacobs 001 (Log. Methods Comput. Sci., 2021)

Steps and traces. - Jurriaan Rot; Bart Jacobs 001; Paul Blain Levy (J. Log. Comput., 2021)

Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. - Bart Jacobs 001; Aleks Kissinger; Fabio Zanasi (Math. Struct. Comput. Sci., 2021)

A Reconstruction of Ewens' Sampling Formula via Lists of Coins. - Bart Jacobs 001 (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Stick Breaking, in Coalgebra and Probability. - Bart Jacobs 001 (CMCS, 2022)

Partitions and Ewens Distributions in element-free Probability Theory. - Bart Jacobs 001 (LICS, 2022)

Design Principles for Actual Security. - Merel Brandon; Hanna Kathrin Schraffenberger; Wouter Sluis-Thiescheffer; Thea van der Geest; Daniel Ostkamp; Bart Jacobs 001 (NordiCHI (Adjunct), 2022)

Urns & Tubes. - Bart Jacobs 001 (Compositionality, 2022)

Sufficient Statistics and Split Idempotents in Discrete Probability Theory. - Bart Jacobs 001 (MFPS, 2022)

PostGuard: Towards Easy and Secure Email Communication. - Leon Botros; Merel Brandon; Bart Jacobs 001; Daniel Ostkamp; Hanna Kathrin Schraffenberger; Marloes Venema (CHI Extended Abstracts, 2023)

Counting and Matching. - Bart Jacobs 001; Dario Stein (CSL, 2023)

A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. - Bart Jacobs 001 (WoLLIC, 2023)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. - Bart Jacobs 001; Dario Stein (MFPS, 2023)

Overdrawing Urns using Categories of Signed Probabilities. - Bart Jacobs 001; Dario Stein (ACT, 2023)

Some Probabilistic Riddles and Some Logical Solutions. - Bart Jacobs 001 (Logics and Type Systems in Theory and Practice, 2024)

Drawing from an Urn is Isometric. - Bart Jacobs 001 (FoSSaCS (1), 2024)

The authenticity crisis. - Bart Jacobs 001 (Comput. Law Secur. Rev., 2024)

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl. - Bart Jacobs 001 (CoRR, 2024)

A Simple Formal Language for Probabilistic Decision Problems. - Elena Di Lavore; Bart Jacobs 001; Mario Román (CoRR, 2024)

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

Drawing and Recolouring. - Bart Jacobs 001; Márk Széles (CALCO, 2025)

Drawing with Distance. - Bart Jacobs 001 (Log. Methods Comput. Sci., 2025)