Talks
Given at Conferences and Meetings

Tensor of Quantitative Equational Theories,

An Algebraic Theory of Markov Processes,

On the Metricbased Approximate Minimization of Markov Chains,

Complete Axiomatization for the Total Variation Distance of Markov Chains,

Complete Axiomatization for the Bisimilarity Distance on Markov Chains,

Converging from Branching to Linear Metrics on Markov Chains,

On the Total Variation Distance of SemiMarkov Chains,

Finding a Forest in a Tree,

Computing Behavioral Distances, Compositionally,

The BisimDist Library,

OntheFly Exact Computation of Bisimilarity Distances,

Structural Operational Semantics for Continuous State Probabilistic Processes,

On Decidability of Bigraphical Sortings,

Measurable Stochastic for Brane Calculus,

A Bigraphbased Framework for Protein and Cell Interactions,

Undecidability of Model Checking in Brane Logic,
Informal or Invited

A Coinductive Topology for Reasoning about Markov Processes,

Quantitative Algebraic Effects: Sum and Tensor,

Quantitative Algebraic Reasoning: an Overview,

On the Metricbased Approximate Minimization of Markov Chains,

Metricbased State Space Reduction for Markov Chains,

Complete Axiomatization for the Bisimilarity Distance on Markov Chains,

Converging from Branching to Linear Metrics for Weighted Transition Systems,

Converging from Branching to Linear Metrics on Markov Chains,

On the Total Variation Distance of Semi Markov Chains,

Finding a Forest in a Tree,
Nov 2014, Breakfast Talks (Aalborg, Denmark)
(slides)

Computing Behavioral Distances, Compositionally,
Aug 2013, MTLAB Meeting (Copenhagen, Denmark)
(slides)

Structural Operational Semantics for Continuous State Probabilistic Processes,
May 2012, Breakfast Talks (Aalborg, Denmark)
(slides)
The slides might contain imprecisions and/or errors that have been consciously introduced
to keeping the content at a reasonable level of simplicity for focusing only on the key ideas.
For a rigorous formal description of the subject one should always refer to the papers.
