Christian Eisentraut
From MaRDI portal
Person:1671242
Available identifiers
zbMath Open eisentraut.christianMaRDI QIDQ1671242
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 |
|---|---|---|
| Probabilistic bisimulation for realistic schedulers | 2019-12-19 | Paper |
| The quest for minimal quotients for probabilistic and Markov automata | 2018-09-27 | Paper |
| Probabilistic bisimulation for realistic schedulers | 2018-09-06 | Paper |
| Deciding bisimilarities on distributions | 2014-05-12 | Paper |
| The quest for minimal quotients for probabilistic automata | 2013-08-05 | Paper |
| A semantics for every GSPN | 2013-06-28 | Paper |
| Concurrency and composition in a stochastic world | 2010-08-31 | Paper |
| Teaching Concurrency Concepts to Freshmen | 2009-02-03 | Paper |
Research outcomes over time
This page was built for person: Christian Eisentraut
