×

Eisentraut, Christian

Author ID: eisentraut.christian Recent zbMATH articles by "Eisentraut, Christian"
Published as: Eisentraut, Christian
Documents Indexed: 8 Publications since 2008
Co-Authors: 10 Co-Authors with 8 Joint Publications
383 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 45 times in 30 Documents Cited by Year
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
15
2010
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
6
2013
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
6
2013
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
15
2010

Citations by Year