Henning Kerstan
This website requires JavaScript. Please enable JavaScript for this website.

Vorträge

DE EN

Dies ist eine Liste der wissenschaftlichen Vorträge, die ich gehalten habe oder halten werde.

2016

Coalgebraic Behavior Analysis — From Qualitative To Quantitative Analyses (PhD Defense)

2015

Towards Trace Metrics via Functor Lifting (Slides)

Behavioral Metrics via Functor Lifting

2014

Behavioral Metrics via Functor Lifting (Slides)

Lifting Adjunctions to (Co)Algebras to (Re)Discover Automata Constructions

Trace Semantics for Continuous Probabilistic Transition Systems

2013

Trace Semantics for Probabilistic Transition Systems based on Measure Theory

Lifting Coalgebras To Adjunctions (Best Presentation Award, Slides)

Trace Semantics for Probabilistic Transition Systems based on Measure Theory