Henning Kerstan
Henning Kerstan
-
Verified email at henningkerstan.de - Homepage
Title
Cited by
Cited by
Year
Behavioral Metrics via Functor Lifting
P Baldan, F Bonchi, H Kerstan, B König
Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2014
252014
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
H Kerstan, B König
Logical Methods in Computer Science 9 (4), 1–34, 2013
232013
Coalgebraic behavioral metrics
P Baldan, F Bonchi, H Kerstan, B König
arXiv preprint arXiv:1712.07511, 2017
132017
Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
H Kerstan, B König
CONCUR 2012–Concurrency Theory, 410-424, 2012
122012
Towards Trace Metrics via Functor Lifting
P Baldan, F Bonchi, H Kerstan, B König
6th Conference on Algebra and Coalgebra in Computer Science (CALCO), 2015
72015
Lifting Adjunctions To Coalgebras to (Re)Discover Automata Constructions
H Kerstan, B König, B Westerbaan
Coalgebraic Methods in Computer Science (CMCS), 168-188, 2014
62014
Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses
H Kerstan
Universität Duisburg-Essen, 2016
32016
Coalgebraic Behavioral Metrics
B König, H Kerstan, F Bonchi, P Baldan
Logical Methods in Computer Science 14, 2018
2018
Trace Semantics for Probabilistic Transition Systems
H Kerstan
Diploma Thesis, University of Duisburg-Essen, 2011
2011
SS 2012: Modellierung nebenläufiger Systeme
B König, H Kerstan
The system can't perform the operation now. Try again later.
Articles 1–10