Henning Kerstan

According to our database, Henning Kerstan authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Coalgebraic Behavioral Metrics.

Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König

Log. Methods Comput. Sci., 2018

2016

Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses.

Henning Kerstan

PhD thesis, 2016

2015

Towards Trace Metrics via Functor Lifting.

Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Behavioral Metrics via Functor Lifting.

Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.

Henning Kerstan, Barbara König, Bram Westerbaan

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems.

Henning Kerstan, Barbara König

Log. Methods Comput. Sci., 2013

2012

Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.

Henning Kerstan, Barbara König

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012