Bart Jacobs

Orcid: 0000-0002-0740-0336

Affiliations:
  • Radboud University Nijmegen, The Netherlands


According to our database1, Bart Jacobs authored at least 191 papers between 1989 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Overdrawing Urns using Categories of Signed Probabilities.
CoRR, 2023

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule.
Proceedings of the Logic, Language, Information, and Computation, 2023

Counting and Matching.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

PostGuard: Towards Easy and Secure Email Communication.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
Sufficient Statistics and Split Idempotents in Discrete Probability Theory.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Design Principles for Actual Security.
Proceedings of the NordiCHI '22: Adjunct Proceedings of the Nordic Human-Computer Interaction Conference, Aarhus, Denmark, October 8, 2022

Partitions and Ewens Distributions in element-free Probability Theory.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Stick Breaking, in Coalgebra and Probability.
Proceedings of the Coalgebraic Methods in Computer Science, 2022

A Reconstruction of Ewens' Sampling Formula via Lists of Coins.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.
Math. Struct. Comput. Sci., 2021

Steps and traces.
J. Log. Comput., 2021

Relating Apartness and Bisimulation.
Log. Methods Comput. Sci., 2021

Towards a seamful ethics of Covid-19 contact tracing apps?
Ethics Inf. Technol., 2021

Learning from What's Right and Learning from What's Wrong.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Multinomial and Hypergeometric Distributions in Markov Categories.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

From Multisets over Distributions to Distributions over Multisets.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Electronic identity services as sociotechnical and political-economic constructs.
New Media Soc., 2020

A channel-based perspective on conjugate priors.
Math. Struct. Comput. Sci., 2020

Distances between States and between Predicates.
Log. Methods Comput. Sci., 2020

De Finetti's Construction as a Categorical Limit.
Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019
Medical research, Big Data and the need for privacy by design.
Big Data Soc., January, 2019

Disintegration and Bayesian inversion via string diagrams.
Math. Struct. Comput. Sci., 2019

The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule.
J. Artif. Intell. Res., 2019

Neural Nets via Forward State Transformation and Backward Loss Transformation.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Learning along a Channel: the Expectation part of Expectation-Maximisation.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

The differential calculus of causal functions.
CoRR, 2019

The security of access to accounts under the PSD2.
Comput. Law Secur. Rev., 2019

Causal Inference by String Diagram Surgery.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
From probability monads to commutative effectuses.
J. Log. Algebraic Methods Program., 2018

A Note on Distances between Probabilistic and Quantum distributions.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Categorical Aspects of Parameter Learning.
CoRR, 2018

Lower and Upper Conditioning in Quantum Bayesian Theory.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating.
CoRR, 2018

A Channel-based Exact Inference Algorithm for Bayesian Networks.
CoRR, 2018

The Logical Essentials of Bayesian Reasoning.
CoRR, 2018

Learning to Coordinate.
Proceedings of the It's All About Coordination, 2018

2017
Hyper Normalisation and Conditioning for Discrete Probability Distributions.
Log. Methods Comput. Sci., 2017

A Recipe for State-and-Effect Triangles.
Log. Methods Comput. Sci., 2017

Disintegration and Bayesian Inversion, Both Abstractly and Concretely.
CoRR, 2017

A Formal Semantics of Influence in Bayesian Reasoning.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

The EfProb Library for Probabilistic Calculations.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
The expectation monad in quantum foundations.
Inf. Comput., 2016

Preface.
Inf. Comput., 2016

Polymorphic Encryption and Pseudonymisation for Personalised Healthcare.
IACR Cryptol. ePrint Arch., 2016

A Predicate/State Transformer Semantics for Bayesian Learning.
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Effectuses from Monads.
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Securely Derived Identity Credentials on Smart Phones via Self-enrolment.
Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Healthiness from Duality.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Affine Monads and Side-Effect-Freeness.
Proceedings of the Coalgebraic Methods in Computer Science, 2016

The Fall of a Tiny Star.
Proceedings of the New Codebreakers, 2016

Introduction to Coalgebra: Towards Mathematics of States and Observation
Cambridge Tracts in Theoretical Computer Science 59, Cambridge University Press, ISBN: 9781316823187, 2016

2015
Dijkstra and Hoare monads in monadic computation.
Theor. Comput. Sci., 2015

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality.
Log. Methods Comput. Sci., 2015

Trace semantics via determinization.
J. Comput. Syst. Sci., 2015

An Effect-Theoretic Account of Lebesgue Integration.
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Log. Methods Comput. Sci., 2015

Towards a Categorical Account of Conditional Probability.
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Quotient-Comprehension Chains.
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

An Introduction to Effectus Theory.
CoRR, 2015

A Type Theory for Probabilistic and Bayesian Reasoning.
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Towards Practical Attribute-Based Signatures.
Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2015

States of Convex Sets.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014
Preface.
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Dijkstra Monads in Monadic Computation.
Proceedings of the Coalgebraic Methods in Computer Science, 2014

Automata Learning: A Categorical Perspective.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Initial Algebras of Terms with Binding and Algebraic Structure.
Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013
Dagger Categories of Tame Relations.
Logica Universalis, 2013

On Block Structures in Quantum Computation.
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Coinductive Predicates and Final Sequences in a Fibration.
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Bases as Coalgebras.
Log. Methods Comput. Sci., 2013

Cell-based privacy-friendly roadpricing.
Comput. Math. Appl., 2013

Two of the Grand Changes through Computer and Network Technology.
Proceedings of the Privacy and Identity Management for Emerging Services and Technologies, 2013

Measurable Spaces and Their Effect Logic.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Towards Practical Attribute-Based Identity Management: The IRMA Trajectory.
Proceedings of the Policies and Research in Identity Management, 2013

Scalars, Monads, and Categories.
Proceedings of the Quantum Physics and Linguistics, 2013

2012
Relating Operator Spaces via Adjunctions
CoRR, 2012

Fibrational Induction Meets Effects.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

An introduction to (co)algebra and (co)induction.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

2011
Probabilities, distribution monads, and convex categories.
Theor. Comput. Sci., 2011

Traces for coalgebraic components.
Math. Struct. Comput. Sci., 2011

The Expectation Monad in Quantum Foundations.
Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Logical Formalisation and Analysis of the Mifare Classic Card in PVS.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Coalgebraic Walks, in Quantum and Turing Computation.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Cell-Based Roadpricing.
Proceedings of the Public Key Infrastructures, Services and Applications, 2011

2010
Quantum Logic in Dagger Kernel Categories.
Order, 2010

Exemplaric Expressivity of Modal Logics.
J. Log. Comput., 2010

Preface.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

From Coalgebraic to Monoidal Traces.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Coalgebraic Representation Theory of Fractals.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Involutive Categories and Monoids, with a GNS-correspondence
CoRR, 2010

Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Log. Methods Comput. Sci., 2010

Privacy-Friendly Energy-Metering via Homomorphic Encryption.
Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Convexity, Duality and Effects.
Proceedings of the Theoretical Computer Science, 2010

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings.
Proceedings of the Smart Card Research and Advanced Application, 2010

Architecture Is Politics: Security and Privacy Issues in Transport and Beyond.
Proceedings of the Data Protection in a Profiled World, 2010

2009
Categorical semantics for arrows.
J. Funct. Program., 2009

Semantics and logic for security protocols.
J. Comput. Secur., 2009

Biometrics and their use in e-passports.
Image Vis. Comput., 2009

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.
Proceedings of the Information Security Theory and Practice. Smart Devices, 2009

Traces, Executions and Schedulers, Coalgebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Coalgebraic Components in a Many-Sorted Microcosm.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Privacy-Friendly Electronic Traffic Pricing via Commits.
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

The Microcosm Principle and Concurrency in Coalgebra.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.
Proceedings of the Foundations of Security Analysis and Design V, 2008

Dismantling MIFARE Classic.
Proceedings of the Computer Security, 2008

2007
Generic Trace Semantics via Coinduction.
Log. Methods Comput. Sci., 2007

Code-carrying theories.
Formal Aspects Comput., 2007

Increased security through open source.
Commun. ACM, 2007

AHA: Amortized Heap Space Usage Analysis.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Categorical Views on Computations on Trees (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006
Distributive laws for the coinductive solution of recursive equations.
Inf. Comput., 2006

Arrows, like Monads, are Monoids.
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Generic Trace Theory.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

Freyd is Kleisli, for Arrows.
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

Crossing Borders: Security and Privacy Issues of the European e-Passport.
Proceedings of the Advances in Information and Computer Security, 2006

A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Formal methods for smart cards: an experience report.
Sci. Comput. Program., 2005

Statically checking confidentiality via dynamic labels.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

RIES - Internet Voting in Action.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Context-Free Languages via Coalgebraic Trace Semantics.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Source code verification of a secure payment applet.
J. Log. Algebraic Methods Program., 2004

Weakest pre-condition reasoning for Java programs with JML annotations.
J. Log. Algebraic Methods Program., 2004

Trace Semantics for Coalgebras.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Relating Two Approaches to Coinductive Solution of Recursive Equations.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Formal Verification of a Commercial Smart Card Applet with Multiple Tools.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Counting Votes with Formal Methods.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Coalgebras and monads in the semantics of Java.
Theor. Comput. Sci., 2003

Simulations in Coalgebra.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Java Program Verification at Nijmegen: Developments and Perspective.
Proceedings of the Software Security, 2003

Java's Integral Types in PVS.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
Coalgebraic Methods in Computer Science - Foreword.
Theor. Comput. Sci., 2002

The Temporal Logic of Coalgebras via Galois Algebras.
Math. Struct. Comput. Sci., 2002

Comprehension for Coalgebras.
Proceedings of the Coalgebraic Methods in Computer Science, 2002

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.
Proceedings of the Category Theory and Computer Science, 2002

Java Program Verification Challenges.
Proceedings of the Formal Methods for Components and Objects, 2002

Specifying and Verifying a Decimal Representation in Java for Smart Cards.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Foreword : Coalgebraic Methods in Computer Science 1998.
Theor. Comput. Sci., 2001

A case study in class library verification: Java's vector class.
Int. J. Softw. Tools Technol. Transf., 2001

The Coalgebraic Class Specification Language CCSL.
J. Univers. Comput. Sci., 2001

Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study.
RAIRO Theor. Informatics Appl., 2001

Formal specification of the JavaCard API in JML: the APDU class.
Comput. Networks, 2001

JavaCard Program Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

The LOOP Compiler for Java and JML.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

A Logic for the Java Modeling Language JML.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

A Formalisation of Java's Exception Mechanism.
Proceedings of the Programming Languages and Systems, 2001

Categorical Logic and Type Theory.
Studies in logic and the foundations of mathematics 141, North-Holland, ISBN: 978-0-444-50853-9, 2001

2000
Object-oriented hybrid systems of coalgebras plus monoid actions.
Theor. Comput. Sci., 2000

Towards a Duality Result in Coalgebraic Modal Logic.
Proceedings of the Coalgebraic Methods in Computer Science, 2000

Inheritance in Higher Order Logic: Modeling and Reasoning.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

JML (poster session): notations and tools supporting detailed design in Java.
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Formal Specification and Verification of JavaCard's Application Identifier Class.
Proceedings of the Java on Smart Cards: Programming and Security, 2000

Java Program Verification via a Hoare Logic with Abrupt Termination.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, 2000

Specification of the JavaCard API in JML.
Proceedings of the Smart Card Research and Advanced Applications, 2000

A Monad for Basic Java Semantics.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Exercises in Coalgebraic Specification.
Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

1999
Coalgebraic Theories of Sequences in PVS.
J. Log. Comput., 1999

Preface.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

A Type-Theoretic Memory Model for Verification of Sequential Java Programs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Structural Induction and Coinduction in a Fibrational Setting.
Inf. Comput., 1998

Preface.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

Coalgebraic Reasoning about Classes in Object-Oriented Languages.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

Reasoning about Java Classes (Preliminary Report).
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Proof Principles for Datatypes with Iterated Recursion.
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
On Cubism.
J. Funct. Program., 1996

Inheritance and Cofree Constructions.
Proceedings of the ECOOP'96, 1996

Coalgebraic Specifications and Models of Determinatistic Hybrid Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames.
Theor. Comput. Sci., 1995

Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.
Math. Struct. Comput. Sci., 1995

Parameters and Parametrization in Specification, Using Distributive Categories.
Fundam. Informaticae, 1995

Subtypes and bounded quantification from a fibred perspective.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Objects and Classes, Co-Algebraically.
Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

Mongruences and Cofree Coalgebras.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Semantics of Weakening and Contraction.
Ann. Pure Appl. Log., 1994

Coalgebras and Approximation.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

An Algebraic View of Structural Induction.
Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993
Comprehension Categories and the Semantics of Type Dependency.
Theor. Comput. Sci., 1993

Translating Dependent Type Theory into Higher Order Logic.
Proceedings of the Typed Lambda Calculi and Applications, 1993

Semantics of lambda-I and of other substructure lambda calculi.
Proceedings of the Typed Lambda Calculi and Applications, 1993

1992
Filter Models with Polymorphic Types.
Theor. Comput. Sci., 1992

1991
Semantics of the Second Order Lambda Calculus.
Math. Struct. Comput. Sci., 1991

Relating Models of Impredicative Type Theories.
Proceedings of the Category Theory and Computer Science, 1991

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

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


  Loading...