Edit Profile (opens in new tab) Jensen, Lasse S. Compute Distance To: Compute Author ID: jensen.lasse-s Published as: Jensen, Lasse S.; Jensen, Lasse; Jensen, L. S. more...less Documents Indexed: 4 Publications since 2006 Co-Authors: 14 Co-Authors with 4 Joint Publications 232 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Kaufmann, Isabella 3 Larsen, Kim Guldstrand 3 Nielsen, Søren M. 3 Srba, Jiří 2 Dalsgaard, Andreas Engelbredt 2 Enevoldsen, Søren 2 Fogh, Peter 2 Jepsen, Tobias S. 2 Olesen, Mads Christian 2 Pastva, Samuel 1 Åstrand, Per-Olof 1 Esbensen, Anders L. 1 Jensen, Peter Gjøl 1 Mikkelsen, Kurt V. Serials 1 Fundamenta Informaticae 1 Journal of Computational Methods in Sciences and Engineering 1 Journal of Logical and Algebraic Methods in Programming Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ 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 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 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