Bart Jacobs

According to our database, Bart Jacobs authored at least 196 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Drawing with Distance.

Bart Jacobs

CoRR, 2024

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl.

Bart Jacobs

CoRR, 2024

The authenticity crisis.

Bart Jacobs

Comput. Law Secur. Rev., 2024

Drawing from an Urn is Isometric.

Bart Jacobs

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Some Probabilistic Riddles and Some Logical Solutions.

Bart Jacobs

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Overdrawing Urns using Categories of Signed Probabilities.

Bart Jacobs, Dario Stein

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming.

Bart Jacobs, Dario Stein

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.

Bart Jacobs

Proceedings of the Logic, Language, Information, and Computation, 2023

Counting and Matching.

Bart Jacobs, Dario Stein

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

PostGuard: Towards Easy and Secure Email Communication.

Leon Botros, Merel Brandon, Bart Jacobs, Daniel Ostkamp, Hanna Kathrin Schraffenberger, Marloes Venema

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.

Bart Jacobs

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Design Principles for Actual Security.

Merel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs

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.

Bart Jacobs

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.

Bart Jacobs

Proceedings of the Coalgebraic Methods in Computer Science, 2022

A Reconstruction of Ewens' Sampling Formula via Lists of Coins.

Bart Jacobs

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.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Math. Struct. Comput. Sci., 2021

Steps and traces.

Jurriaan Rot, Bart Jacobs, Paul Blain Levy

J. Log. Comput., 2021

Relating Apartness and Bisimulation.

Herman Geuvers, Bart Jacobs

Log. Methods Comput. Sci., 2021

Towards a seamful ethics of Covid-19 contact tracing apps?

Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas

Ethics Inf. Technol., 2021

Learning from What's Right and Learning from What's Wrong.

Bart Jacobs

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Multinomial and Hypergeometric Distributions in Markov Categories.

Bart Jacobs

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

From Multisets over Distributions to Distributions over Multisets.

Bart Jacobs

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Electronic identity services as sociotechnical and political-economic constructs.

José van Dijck, Bart Jacobs

New Media Soc., 2020

A channel-based perspective on conjugate priors.

Bart Jacobs

Math. Struct. Comput. Sci., 2020

Distances between States and between Predicates.

Bart Jacobs, Abraham Westerbaan

Log. Methods Comput. Sci., 2020

De Finetti's Construction as a Categorical Limit.

Bart Jacobs, Sam Staton

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

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

Bart Jacobs, Jean Popma

Big Data Soc., January, 2019

Disintegration and Bayesian inversion via string diagrams.

Kenta Cho, Bart Jacobs

Math. Struct. Comput. Sci., 2019

The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule.

Bart Jacobs

J. Artif. Intell. Res., 2019

Neural Nets via Forward State Transformation and Backward Loss Transformation.

Bart Jacobs, David Sprunger

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Learning along a Channel: the Expectation part of Expectation-Maximisation.

Bart Jacobs

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

The differential calculus of causal functions.

David Sprunger, Bart Jacobs

CoRR, 2019

The security of access to accounts under the PSD2.

Pieter T. J. Wolters, Bart P. F. Jacobs

Comput. Law Secur. Rev., 2019

Causal Inference by String Diagram Surgery.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

From probability monads to commutative effectuses.

Bart Jacobs

J. Log. Algebraic Methods Program., 2018

A Note on Distances between Probabilistic and Quantum distributions.

Bart Jacobs

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Categorical Aspects of Parameter Learning.

Bart Jacobs

CoRR, 2018

Lower and Upper Conditioning in Quantum Bayesian Theory.

Bart Jacobs

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.

Bart Jacobs

CoRR, 2018

A Channel-based Exact Inference Algorithm for Bayesian Networks.

Bart Jacobs

CoRR, 2018

The Logical Essentials of Bayesian Reasoning.

Bart Jacobs, Fabio Zanasi

CoRR, 2018

Learning to Coordinate.

Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva

Proceedings of the It's All About Coordination, 2018

2017

Hyper Normalisation and Conditioning for Discrete Probability Distributions.

Bart Jacobs

Log. Methods Comput. Sci., 2017

A Recipe for State-and-Effect Triangles.

Bart Jacobs

Log. Methods Comput. Sci., 2017

Disintegration and Bayesian Inversion, Both Abstractly and Concretely.

Kenta Cho, Bart Jacobs

CoRR, 2017

A Formal Semantics of Influence in Bayesian Reasoning.

Bart Jacobs, Fabio Zanasi

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

The EfProb Library for Probabilistic Calculations.

Kenta Cho, Bart Jacobs

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

The expectation monad in quantum foundations.

Bart Jacobs, Jorik Mandemaker, Robert Furber

Inf. Comput., 2016

Preface.

Matty Hoban, Bart Jacobs, Prakash Panangaden

Inf. Comput., 2016

Polymorphic Encryption and Pseudonymisation for Personalised Healthcare.

Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter

IACR Cryptol. ePrint Arch., 2016

A Predicate/State Transformer Semantics for Bayesian Learning.

Bart Jacobs, Fabio Zanasi

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Effectuses from Monads.

Bart Jacobs

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Securely Derived Identity Credentials on Smart Phones via Self-enrolment.

Fabian van den Broek, Brinda Hampiholi, Bart Jacobs

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Healthiness from Duality.

Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs

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

Affine Monads and Side-Effect-Freeness.

Bart Jacobs

Proceedings of the Coalgebraic Methods in Computer Science, 2016

The Fall of a Tiny Star.

Flavio D. Garcia, Bart Jacobs

Proceedings of the New Codebreakers, 2016

Introduction to Coalgebra: Towards Mathematics of States and Observation

Bart Jacobs

Cambridge Tracts in Theoretical Computer Science 59, Cambridge University Press, ISBN: 9781316823187, 2016

2015

Dijkstra and Hoare monads in monadic computation.

Bart Jacobs

Theor. Comput. Sci., 2015

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality.

Robert W. J. Furber, Bart Jacobs

Log. Methods Comput. Sci., 2015

Trace semantics via determinization.

Bart Jacobs, Alexandra Silva, Ana Sokolova

J. Comput. Syst. Sci., 2015

An Effect-Theoretic Account of Lebesgue Integration.

Bart Jacobs, Bram Westerbaan

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs

Log. Methods Comput. Sci., 2015

Towards a Categorical Account of Conditional Probability.

Robert Furber, Bart Jacobs

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Quotient-Comprehension Chains.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

An Introduction to Effectus Theory.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan

CoRR, 2015

A Type Theory for Probabilistic and Bayesian Reasoning.

Robin Adams, Bart Jacobs

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Towards Practical Attribute-Based Signatures.

Brinda Hampiholi, Gergely Alpár, Fabian van den Broek, Bart Jacobs

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2015

States of Convex Sets.

Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Preface.

Bart Jacobs, Alexandra Silva, Sam Staton

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

Dijkstra Monads in Monadic Computation.

Bart Jacobs

Proceedings of the Coalgebraic Methods in Computer Science, 2014

Automata Learning: A Categorical Perspective.

Bart Jacobs, Alexandra Silva

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Initial Algebras of Terms with Binding and Algebraic Structure.

Bart Jacobs, Alexandra Silva

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Dagger Categories of Tame Relations.

Bart Jacobs

Logica Universalis, 2013

On Block Structures in Quantum Computation.

Bart Jacobs

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Coinductive Predicates and Final Sequences in a Fibration.

Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Bases as Coalgebras.

Bart Jacobs

Log. Methods Comput. Sci., 2013

Cell-based privacy-friendly roadpricing.

Flavio D. Garcia, Eric R. Verheul, Bart Jacobs

Comput. Math. Appl., 2013

Two of the Grand Changes through Computer and Network Technology.

Bart Jacobs

Proceedings of the Privacy and Identity Management for Emerging Services and Technologies, 2013

Measurable Spaces and Their Effect Logic.

Bart Jacobs

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Towards Practical Attribute-Based Identity Management: The IRMA Trajectory.

Gergely Alpár, Bart Jacobs

Proceedings of the Policies and Research in Identity Management, 2013

Scalars, Monads, and Categories.

Dion Coumans, Bart Jacobs

Proceedings of the Quantum Physics and Linguistics, 2013

2012

Relating Operator Spaces via Adjunctions

Bart Jacobs, Jorik Mandemaker

CoRR, 2012

Fibrational Induction Meets Effects.

Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann

Proceedings of the Foundations of Software Science and Computational Structures, 2012

An introduction to (co)algebra and (co)induction.

Bart Jacobs, Jan Rutten

Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

2011

Preface.

Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva

Theor. Comput. Sci., 2011

Probabilities, distribution monads, and convex categories.

Bart Jacobs

Theor. Comput. Sci., 2011

Traces for coalgebraic components.

Ichiro Hasuo, Bart Jacobs

Math. Struct. Comput. Sci., 2011

The Expectation Monad in Quantum Foundations.

Bart Jacobs, Jorik Mandemaker

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Logical Formalisation and Analysis of the Mifare Classic Card in PVS.

Bart Jacobs, Ronny Wichers Schreur

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Coalgebraic Walks, in Quantum and Turing Computation.

Bart Jacobs

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Cell-Based Roadpricing.

Flavio D. Garcia, Eric R. Verheul, Bart Jacobs

Proceedings of the Public Key Infrastructures, Services and Applications, 2011

2010

Exemplaric Expressivity of Modal Logics.

Bart Jacobs, Ana Sokolova

J. Log. Comput., 2010

From Coalgebraic to Monoidal Traces.

Bart Jacobs

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

Coalgebraic Representation Theory of Fractals.

Ichiro Hasuo, Bart Jacobs, Milad Niqui

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Involutive Categories and Monoids, with a GNS-correspondence

Bart Jacobs

CoRR, 2010

Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Bart Jacobs

Log. Methods Comput. Sci., 2010

Privacy-Friendly Energy-Metering via Homomorphic Encryption.

Flavio D. Garcia, Bart Jacobs

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Convexity, Duality and Effects.

Bart Jacobs

Proceedings of the Theoretical Computer Science, 2010

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings.

Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers

Proceedings of the Smart Card Research and Advanced Application, 2010

Architecture Is Politics: Security and Privacy Issues in Transport and Beyond.

Bart Jacobs

Proceedings of the Data Protection in a Profiled World, 2010

2009

Categorical semantics for arrows.

Bart Jacobs, Chris Heunen, Ichiro Hasuo

J. Funct. Program., 2009

Semantics and logic for security protocols.

Bart Jacobs, Ichiro Hasuo

J. Comput. Secur., 2009

Biometrics and their use in e-passports.

Ben A. M. Schouten, Bart Jacobs

Image Vis. Comput., 2009

Quantum Logic in Dagger Kernel Categories.

Chris Heunen, Bart Jacobs

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.

Hendrik Tews, Bart Jacobs

Proceedings of the Information Security Theory and Practice. Smart Devices, 2009

Traces, Executions and Schedulers, Coalgebraically.

Bart Jacobs, Ana Sokolova

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Coalgebraic Components in a Many-Sorted Microcosm.

Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems.

Bart Jacobs

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Privacy-Friendly Electronic Traffic Pricing via Commits.

Wiebren de Jonge, Bart Jacobs

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

The Microcosm Principle and Concurrency in Coalgebra.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.

Bart Jacobs, Wolter Pieters

Proceedings of the Foundations of Security Analysis and Design V, 2008

Dismantling MIFARE Classic.

Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs

Proceedings of the Computer Security, 2008

2007

Generic Trace Semantics via Coinduction.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Log. Methods Comput. Sci., 2007

Code-carrying theories.

Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur

Formal Aspects Comput., 2007

Increased security through open source.

Jaap-Henk Hoepman, Bart Jacobs

Commun. ACM, 2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Categorical Views on Computations on Trees (Extended Abstract).

Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

Distributive laws for the coinductive solution of recursive equations.

Bart Jacobs

Inf. Comput., 2006

Arrows, like Monads, are Monoids.

Chris Heunen, Bart Jacobs

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Generic Trace Theory.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

PVS.

Bart Jacobs, John M. Rushby

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

Freyd is Kleisli, for Arrows.

Bart Jacobs, Ichiro Hasuo

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

Crossing Borders: Security and Privacy Issues of the European e-Passport.

Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur

Proceedings of the Advances in Information and Computer Security, 2006

A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.

Bart Jacobs

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Formal methods for smart cards: an experience report.

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs

Sci. Comput. Program., 2005

Statically checking confidentiality via dynamic labels.

Bart Jacobs, Wolter Pieters, Martijn Warnier

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

RIES - Internet Voting in Action.

Engelbert Hubbers, Bart Jacobs, Wolter Pieters

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Context-Free Languages via Coalgebraic Trace Semantics.

Ichiro Hasuo, Bart Jacobs

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Simulations in coalgebra.

Jesse Hughes, Bart Jacobs

Theor. Comput. Sci., 2004

Source code verification of a secure payment applet.

Bart Jacobs, Martijn Oostdijk, Martijn Warnier

J. Log. Algebraic Methods Program., 2004

Weakest pre-condition reasoning for Java programs with JML annotations.

Bart Jacobs

J. Log. Algebraic Methods Program., 2004

Trace Semantics for Coalgebras.

Bart Jacobs

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Relating Two Approaches to Coinductive Solution of Recursive Equations.

Bart Jacobs

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Formal Verification of a Commercial Smart Card Applet with Multiple Tools.

Bart Jacobs, Claude Marché, Nicole Rauch

Proceedings of the Algebraic Methodology and Software Technology, 2004

Counting Votes with Formal Methods.

Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Coalgebras and monads in the semantics of Java.

Bart Jacobs, Erik Poll

Theor. Comput. Sci., 2003

Java Program Verification at Nijmegen: Developments and Perspective.

Bart Jacobs, Erik Poll

Proceedings of the Software Security, 2003

Java's Integral Types in PVS.

Bart Jacobs

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

Coalgebraic Methods in Computer Science - Foreword.

Bart Jacobs, Jan J. M. M. Rutten

Theor. Comput. Sci., 2002

The Temporal Logic of Coalgebras via Galois Algebras.

Bart Jacobs

Math. Struct. Comput. Sci., 2002

Comprehension for Coalgebras.

Bart Jacobs

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.

Jesse Hughes, Bart Jacobs

Proceedings of the Category Theory and Computer Science, 2002

Java Program Verification Challenges.

Bart Jacobs, Joseph Kiniry, Martijn Warnier

Proceedings of the Formal Methods for Components and Objects, 2002

Specifying and Verifying a Decimal Representation in Java for Smart Cards.

Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Foreword : Coalgebraic Methods in Computer Science 1998.

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten

Theor. Comput. Sci., 2001

A case study in class library verification: Java's vector class.

Marieke Huisman, Bart Jacobs, Joachim van den Berg

Int. J. Softw. Tools Technol. Transf., 2001

The Coalgebraic Class Specification Language CCSL.

Jan Rothe, Hendrik Tews, Bart Jacobs

J. Univers. Comput. Sci., 2001

Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study.

Bart Jacobs

RAIRO Theor. Informatics Appl., 2001

Formal specification of the JavaCard API in JML: the APDU class.

Erik Poll, Joachim van den Berg, Bart Jacobs

Comput. Networks, 2001

JavaCard Program Verification.

Bart Jacobs

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

The LOOP Compiler for Java and JML.

Joachim van den Berg, Bart Jacobs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

A Logic for the Java Modeling Language JML.

Bart Jacobs, Erik Poll

Proceedings of the Fundamental Approaches to Software Engineering, 2001

A Formalisation of Java's Exception Mechanism.

Bart Jacobs

Proceedings of the Programming Languages and Systems, 2001

Categorical Logic and Type Theory.

Bart P. F. Jacobs

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.

Bart Jacobs

Theor. Comput. Sci., 2000

Towards a Duality Result in Coalgebraic Modal Logic.

Bart Jacobs

Proceedings of the Coalgebraic Methods in Computer Science, 2000

Inheritance in Higher Order Logic: Modeling and Reasoning.

Marieke Huisman, Bart Jacobs

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 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

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.

Joachim van den Berg, Bart Jacobs, Erik Poll

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Java Program Verification via a Hoare Logic with Abrupt Termination.

Marieke Huisman, Bart Jacobs

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Formal Techniques for Java Programs.

Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, 2000

Specification of the JavaCard API in JML.

Erik Poll, Joachim van den Berg, Bart Jacobs

Proceedings of the Smart Card Research and Advanced Applications, 2000

A Monad for Basic Java Semantics.

Bart Jacobs, Erik Poll

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Exercises in Coalgebraic Specification.

Bart Jacobs

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

1999

Coalgebraic Theories of Sequences in PVS.

Ulrich Hensel, Bart Jacobs

J. Log. Comput., 1999

Preface.

Bart Jacobs, Jan J. M. M. Rutten

Proceedings of the Coalgebraic Methods in Computer Science, 1999

A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Formal Techniques for Java Programs.

Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Structural Induction and Coinduction in a Fibrational Setting.

Claudio Hermida, Bart Jacobs

Inf. Comput., 1998

Preface.

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten

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

Coalgebraic Reasoning about Classes in Object-Oriented Languages.

Bart Jacobs

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

Reasoning about Java Classes (Preliminary Report).

Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

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.

Bart Jacobs

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Proof Principles for Datatypes with Iterated Recursion.

Ulrich Hensel, Bart Jacobs

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements.

Bart Jacobs

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

On Cubism.

Bart Jacobs

J. Funct. Program., 1996

Inheritance and Cofree Constructions.

Bart Jacobs

Proceedings of the ECOOP'96, 1996

Coalgebraic Specifications and Models of Determinatistic Hybrid Systems.

Bart Jacobs

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Duality Beyond Sober Spaces: Topological Spaces and Observation Frames.

Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok

Theor. Comput. Sci., 1995

Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.

Claudio Hermida, Bart Jacobs

Math. Struct. Comput. Sci., 1995

Parameters and Parametrization in Specification, Using Distributive Categories.

Bart Jacobs

Fundam. Informaticae, 1995

Subtypes and bounded quantification from a fibred perspective.

Bart Jacobs

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Objects and Classes, Co-Algebraically.

Bart Jacobs

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.

Bart Jacobs

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Semantics of Weakening and Contraction.

Bart Jacobs

Ann. Pure Appl. Log., 1994

Coalgebras and Approximation.

Bart Jacobs

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

An Algebraic View of Structural Induction.

Claudio Hermida, Bart Jacobs

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Comprehension Categories and the Semantics of Type Dependency.

Bart Jacobs

Theor. Comput. Sci., 1993

Translating Dependent Type Theory into Higher Order Logic.

Bart Jacobs, Thomas F. Melham

Proceedings of the Typed Lambda Calculi and Applications, 1993

Semantics of lambda-I and of other substructure lambda calculi.

Bart Jacobs

Proceedings of the Typed Lambda Calculi and Applications, 1993

1992

Filter Models with Polymorphic Types.

Bart Jacobs, Ines Margaria, Maddalena Zacchi

Theor. Comput. Sci., 1992

1991

Semantics of the Second Order Lambda Calculus.

Bart Jacobs

Math. Struct. Comput. Sci., 1991

Relating Models of Impredicative Type Theories.

Bart Jacobs, Eugenio Moggi, Thomas Streicher

Proceedings of the Category Theory and Computer Science, 1991

1989

The inconsistency of higher order extensions of Martin-Löf's type theory.

Bart Jacobs

J. Philos. Log., 1989

On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa.

Bart Jacobs

Proceedings of the Category Theory and Computer Science, 1989