Edit Profile (opens in new tab) Schuster, Johann Christoph Co-Author Distance Author ID: schuster.johann-christoph Published as: Schuster, Johann Documents Indexed: 6 Publications since 2009 Biographic References: 1 Publication Co-Authors: 8 Co-Authors with 6 Joint Publications 180 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Siegle, Markus 2 Eisentraut, Christian 2 Hermanns, Holger 2 Turrini, Andrea 2 Zhang, Lijun 1 Bachmann, Jens 1 Griebl, Ludwig 1 Riedl, Martin Serials 2 Information and Computation 1 Formal Methods in System Design Fields 6 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 15 times in 11 Documents Cited by ▼ Year ▼ Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states. Zbl 1360.68571 Schuster, Johann; Siegle, Markus 7 2014 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115 Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. Zbl 1206.68208 Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus 1 2009 Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states. Zbl 1360.68571 Schuster, Johann; Siegle, Markus 7 2014 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115 Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. Zbl 1206.68208 Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus 1 2009 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 4 Hermanns, Holger 3 Eisentraut, Christian 3 Turrini, Andrea 3 Zhang, Lijun 2 Gebler, Daniel E. 2 Godskesen, Jens Chr. 2 Hashemi, Vahid 2 Jansen, David N. 2 Schuster, Johann Christoph 2 Siegle, Markus 2 Song, Lei 1 Dehnert, Christian 1 Ferrer Fioriti, Luis María 1 Fischer, Nick 1 Macià Soler, Hermenegilda 1 Moghari, Somaye 1 Tarasyuk, Igor’ Valer’evich 1 Tati, Bharath Siva Kumar 1 Valero Ruiz, Valentín 1 van Glabbeek, Robert Jan 1 Volpato, Michele 1 Yang, Pengfei 1 Zahedi, Mohammad Mehdi all top 5 Cited in 6 Serials 2 Information and Computation 1 Acta Informatica 1 Formal Aspects of Computing 1 Journal of Applied Mathematics and Computing 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 11 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) Citations by Year