Edit Profile (opens in new tab) Eisentraut, Christian Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 8 Hermanns, Holger 7 Zhang, Lijun 3 Turrini, Andrea 2 Godskesen, Jens Chr. 2 Schuster, Johann Christoph 2 Song, Lei 1 Jansen, David N. 1 Katoen, Joost-Pieter 1 Krämer, Julia 1 Yang, Pengfei Serials 1 Acta Informatica 1 Information and Computation Fields 8 Computer science (68-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 56 Authors 8 Hermanns, Holger 5 Katoen, Joost-Pieter 4 Eisentraut, Christian 4 Turrini, Andrea 4 Zhang, Lijun 3 Gebler, Daniel E. 2 Bonchi, Filippo 2 Bruni, Roberto 2 Ferrer Fioriti, Luis María 2 Godskesen, Jens Chr. 2 Hashemi, Vahid 2 Hatefi, Hassan 2 Jansen, David N. 2 Melgratti, Hernán 2 Montanari, Ugo G. 2 Quatmann, Tim 2 Schuster, Johann Christoph 2 Silva, Alexandra 2 Sokolova, Ana 2 Song, Lei 1 Arnold, Florian 1 Asadi, Ali Naghash 1 Azgomi, Mohammad Abdollahi 1 Barbot, Benoît 1 Becker, Bernd 1 Bowler, Nathan 1 Braitling, Bettina 1 Dehnert, Christian 1 Deng, Yuxin 1 Entezari-Maleki, Reza 1 Fischer, Nick 1 Forejt, Vojtěch 1 Garavel, Hubert 1 Guck, Dennis 1 Jančar, Petr 1 Joye, Marc 1 Junges, Sebastian 1 Kiefer, Stefan 1 Kwiatkowska, Marta Z. 1 Lang, Frédéric 1 Levy, Paul Blain 1 Macià Soler, Hermenegilda 1 Minami, Kiraku 1 Plotkin, Gordon D. 1 Sharma, Arpit 1 Siegle, Markus 1 Stoelinga, Mariëlle 1 Tarasyuk, Igor’ Valer’evich 1 Timmer, Mark 1 Valero Ruiz, Valentín 1 van de Pol, Jan Cornelis 1 van Glabbeek, Robert Jan 1 Volpato, Michele 1 Wimmer, Ralf D. 1 Worrell, James B. 1 Yang, Pengfei all top 5 Cited in 9 Serials 3 Theoretical Computer Science 3 Information and Computation 3 Logical Methods in Computer Science 2 Formal Aspects of Computing 1 Acta Informatica 1 Computing 1 Formal Methods in System Design 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 29 Computer science (68-XX) 4 Probability theory and stochastic processes (60-XX) 3 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year