Henning Kerstan

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Transition Systems

Multiresolution

Formal Semantics

Wavelet Transform

Top Venues

Log. Methods Comput. Sci.

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. CoRR (2017)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CALCO (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CoRR (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. FSTTCS (2014)
Henning Kerstan, Barbara König, Bram Westerbaan
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. CMCS (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. CoRR (2014)
Henning Kerstan, Barbara König
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems. Log. Methods Comput. Sci. 9 (4) (2013)
Henning Kerstan, Barbara König
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. CONCUR (2012)