Henning Kerstan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Coalgebraic behavioral metrics (available as arXiv preprint) | 2018-09-26 | Paper |
| Towards trace metrics via functor lifting (available as arXiv preprint) | 2017-07-11 | Paper |
| Behavioral metrics via functor lifting (available as arXiv preprint) | 2017-04-25 | Paper |
| Lifting adjunctions to coalgebras to (re)discover automata constructions Advanced Information Systems Engineering | 2015-09-11 | Paper |
| Coalgebraic trace semantics for continuous probabilistic transition systems Logical Methods in Computer Science | 2014-01-08 | Paper |
| Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory Lecture Notes in Computer Science | 2012-09-25 | Paper |
Research outcomes over time
This page was built for person: Henning Kerstan
