Edit Profile (opens in new tab) Kaufmann, Isabella Compute Distance To: Compute Author ID: kaufmann.isabella Published as: Kaufmann, Isabella; Kaufmann, I. Documents Indexed: 4 Publications since 2017 Co-Authors: 11 Co-Authors with 4 Joint Publications 230 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Larsen, Kim Guldstrand 4 Srba, Jiří 3 Jensen, Lasse S. 3 Nielsen, Søren M. 2 Dalsgaard, Andreas Engelbredt 2 Enevoldsen, Søren 2 Fogh, Peter 2 Jepsen, Tobias S. 2 Olesen, Mads Christian 2 Pastva, Samuel 1 Jensen, Peter Gjøl Serials 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. 2 2019 Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2017 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 1 2018 Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. 2 2019 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 1 2018 Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2017 all top 5 Cited by 14 Authors 4 Larsen, Kim Guldstrand 4 Srba, Jiří 2 Kaufmann, Isabella 1 Belkhir, Walid 1 Enevoldsen, Søren 1 Jensen, Lasse S. 1 Jensen, Mathias Claus 1 Karra, Shyam Lal 1 Lenczner, Michel 1 Mariegaard, Anders 1 Muñiz, Marco 1 Nguyen, Duc Duy 1 Nielsen, Søren M. 1 Ratier, Nicolas Cited in 1 Serial 2 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 5 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year