Folgen
Henning Kerstan
Henning Kerstan
-
Bestätigte E-Mail-Adresse bei henningkerstan.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Coalgebraic behavioral metrics
P Baldan, F Bonchi, H Kerstan, B König
Logical Methods in Computer Science 14, 2018
592018
Behavioral Metrics via Functor Lifting
P Baldan, F Bonchi, H Kerstan, B König
Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2014
422014
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
H Kerstan, B König
Logical Methods in Computer Science 9 (4), 1–34, 2013
322013
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
122015
Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
H Kerstan, B König
CONCUR 2012–Concurrency Theory, 410-424, 2012
122012
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
82014
Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses
H Kerstan
Universität Duisburg-Essen, 2016
22016
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
A Sokolova, F Bonchi, V Vignudelli
Logical Methods in Computer Science 2022 (18 (2)), 2022
2022
Distribution Bisimilarity via the Power of Convex Algebras
A Sokolova, F Bonchi, A Silva
Logical Methods in Computer Science 2021 (17), 2021
2021
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
J Adamek, S Milius, H Urbat, A Balan, A Kurz, J Velebil, P Baldan, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015
2015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12