
Ghost Signals: Verifying Termination of BusyWaiting
Programs for multiprocessor machines commonly perform busywaiting for s...
read it

A Separation Logic to Verify Termination of BusyWaiting for Abrupt Program Exit
Programs for multiprocessor machines commonly perform busywaiting for s...
read it

A Separation Logic to Verify Termination of BusyWaiting for Abrupt Program Exit: Technical Report
Programs for multiprocessor machines commonly perform busywaiting for s...
read it

Steps and Traces
In the theory of coalgebras, trace semantics can be defined in various d...
read it

Relating Apartness and Bisimulation
A bisimulation for a coalgebra of a functor on the category of sets can ...
read it

The differential calculus of causal functions
Causal functions of sequences occur throughout computer science, from th...
read it

Abstract I/O Specification
We recently proposed an approach for the specification and modular forma...
read it

Causal Inference by String Diagram Surgery
Extracting causal relationships from observed correlations is a growing ...
read it

Categorical Aspects of Parameter Learning
Parameter learning is the technique for obtaining the probabilistic para...
read it

Lower and Upper Conditioning in Quantum Bayesian Theory
Updating a probability distribution in the light of new evidence is a ve...
read it

A Mathematical Account of Soft Evidence, and of Jeffrey's `destructive' versus Pearl's `constructive' updating
Evidence in probabilistic reasoning may be `hard' or `soft', that is, it...
read it

A Channelbased Exact Inference Algorithm for Bayesian Networks
This paper describes a new algorithm for exact Bayesian inference that i...
read it

The Logical Essentials of Bayesian Reasoning
This chapter offers an accessible introduction to the channelbased appr...
read it

Neural Nets via Forward State Transformation and Backward Loss Transformation
This article studies (multilayer perceptron) neural networks with an emp...
read it

Distances between States and between Predicates
This paper gives a systematic account of various metrics on probability ...
read it

Disintegration and Bayesian Inversion, Both Abstractly and Concretely
The notions of disintegration and Bayesian inversion are fundamental in ...
read it

Increased security through open source
In this paper we discuss the impact of open source on both the security ...
read it
Bart Jacobs
is this you? claim profile