Coalgebraic behavioral metrics P Baldan, F Bonchi, H Kerstan, B König Logical Methods in Computer Science 14, 2018 | 53 | 2018 |
Behavioral Metrics via Functor Lifting P Baldan, F Bonchi, H Kerstan, B König Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2014 | 41 | 2014 |
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems H Kerstan, B König Logical Methods in Computer Science 9 (4), 1–34, 2013 | 31 | 2013 |
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 | 12 | 2015 |
Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory H Kerstan, B König CONCUR 2012–Concurrency Theory, 410-424, 2012 | 12 | 2012 |
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 | 8 | 2014 |
Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses H Kerstan Universität Duisburg-Essen, 2016 | 2 | 2016 |
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 | | |