Publications

(2020). Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws. Logic in Computer Science.

PDF

(2019). From Structuring Elements to Structuring Neighborhood Systems. Mathematical Morphology and Its Applications to Signal and Image Processing.

PDF

(2018). (In)finite Trace Equivalence of Probabilistic Transition Systems. Coalgebraic Methods in Computer Science.

PDF