Edit Profile (opens in new tab) Olesen, Mads Christian Compute Distance To: Compute Author ID: olesen.mads-christian Published as: Olesen, Mads Chr.; Olesen, Mads Christian External Links: ORCID Documents Indexed: 5 Publications since 2012 Co-Authors: 17 Co-Authors with 5 Joint Publications 371 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Larsen, Kim Guldstrand 3 Dalsgaard, Andreas Engelbredt 2 Enevoldsen, Søren 2 Fogh, Peter 2 Hansen, René Rydhof 2 Jensen, Lasse S. 2 Jepsen, Tobias S. 2 Kaufmann, Isabella 2 Nielsen, Søren M. 2 Pastva, Samuel 2 Srba, Jiří 1 Bøgsted Poulsen, Danny 1 Gadyatskaya, Olga 1 Jensen, Peter Gjøl 1 Laarman, Alfons W. 1 Legay, Axel 1 van de Pol, Jan Cornelis Serials 1 Fundamenta Informaticae Fields 5 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ Modelling attack-defense trees using timed automata. Zbl 1433.68251Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted 2 2016 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 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 Modelling attack-defense trees using timed automata. Zbl 1433.68251Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted 2 2016 all top 5 Cited by 17 Authors 3 Larsen, Kim Guldstrand 3 Srba, Jiří 1 André, Étienne 1 Audinot, Maxime 1 Enevoldsen, Søren 1 Jensen, Lasse S. 1 Jensen, Mathias Claus 1 Karra, Shyam Lal 1 Kaufmann, Isabella 1 Kordy, Barbara 1 Lime, Didier 1 Mariegaard, Anders 1 Muñiz, Marco 1 Nielsen, Søren M. 1 Pinchinat, Sophie 1 Ramparison, Mathias 1 Stoelinga, Mariëlle Cited in 2 Serials 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 5 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year