Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. - Henning Kerstan; Barbara König 001 (CONCUR, 2012)

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems. - Henning Kerstan; Barbara König 001 (Log. Methods Comput. Sci., 2013)

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. - Henning Kerstan; Barbara König 001; Bram Westerbaan (CMCS, 2014)

Behavioral Metrics via Functor Lifting. - Paolo Baldan; Filippo Bonchi; Henning Kerstan; Barbara König 001 (FSTTCS, 2014)

Towards Trace Metrics via Functor Lifting. - Paolo Baldan; Filippo Bonchi; Henning Kerstan; Barbara König 001 (CALCO, 2015)

Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses. - Henning Kerstan (2016)

Coalgebraic Behavioral Metrics. - Paolo Baldan; Filippo Bonchi; Henning Kerstan; Barbara König 001 (Log. Methods Comput. Sci., 2018)