Edit Profile (opens in new tab) Jensen, Lasse S. Co-Author Distance 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 236 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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 6 times in 6 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ří 2 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ří 2 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 cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 5 Larsen, Kim Guldstrand 5 Srba, Jiří 2 Kaufmann, Isabella 2 Muñiz, Marco 1 Belkhir, Walid 1 Bønneland, Frederik Meyer 1 Enevoldsen, Søren 1 Jensen, Lasse S. 1 Jensen, Mathias Claus 1 Jensen, Peter Gjøl 1 Karra, Shyam Lal 1 Lenczner, Michel 1 Mariegaard, Anders 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 6 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