Edit Profile (opens in new tab) Krämer, Julia Co-Author Distance Author ID: kramer.julia Published as: Krämer, Julia Documents Indexed: 2 Publications since 2013 Co-Authors: 7 Co-Authors with 2 Joint Publications 230 Co-Co-Authors all top 5 Co-Authors 0 single-authored 1 Eisentraut, Christian 1 Hermanns, Holger 1 Kelmendi, Edon 1 Křetínský, Jan 1 Turrini, Andrea 1 Weininger, Maximilian 1 Zhang, Lijun Serials Fields 1 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 13 times in 13 Documents Cited by ▼ Year ▼ Value iteration for simple stochastic games: stopping criterion and learning algorithm. Zbl 1511.91010 Kelmendi, Edon; Krämer, Julia; Křetínský, Jan; Weininger, Maximilian 7 2018 Deciding bisimilarities on distributions. Zbl 1398.68364 Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 6 2013 Value iteration for simple stochastic games: stopping criterion and learning algorithm. Zbl 1511.91010 Kelmendi, Edon; Krämer, Julia; Křetínský, Jan; Weininger, Maximilian 7 2018 Deciding bisimilarities on distributions. Zbl 1398.68364 Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 6 2013 all cited Publications top 5 cited Publications all top 5 Cited by 37 Authors 3 Křetínský, Jan 2 Eisentraut, Christian 2 Godskesen, Jens Chr. 2 Hermanns, Holger 2 Kwiatkowska, Marta Z. 2 Norman, Gethin 2 Santos, Gabriel Pinheiro Alves 2 Song, Lei 2 Weininger, Maximilian 2 Zhang, Lijun 1 Agarwal, Chaitanya 1 Baldan, Paolo 1 Bonchi, Filippo 1 Eggert, Richard 1 Eisentraut, Julia 1 Enevoldsen, Søren 1 Gebler, Daniel E. 1 Guha, Shibashis 1 Hashemi, Vahid 1 Jansen, David N. 1 Jensen, Mathias Claus 1 Kelmendi, Edon 1 König, Barbara 1 Larsen, Kim Guldstrand 1 Mariegaard, Anders 1 Muruganandham, Pazhamalai 1 Padoan, Tommaso 1 Ramneantu, Emanuel 1 Schuster, Johann Christoph 1 Sharma, Arpit 1 Siegle, Markus 1 Silva, Alexandra 1 Slivinskiy, Alexander 1 Sokolova, Ana 1 Srba, Jiří 1 Turrini, Andrea 1 Yang, Pengfei Cited in 5 Serials 3 Information and Computation 1 Acta Informatica 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Logical Methods in Computer Science Cited in 5 Fields 12 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year