×
Author ID: jensen.lasse-s Recent zbMATH articles by "Jensen, Lasse S."
Published as: Jensen, Lasse S.; Jensen, Lasse; Jensen, L. S.
Documents Indexed: 4 Publications since 2006
Co-Authors: 14 Co-Authors with 4 Joint Publications
236 Co-Co-Authors

Publications by Year

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.68284
Jensen, 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.68098
Dalsgaard, 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.68070
Dalsgaard, 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.68284
Jensen, 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.68070
Dalsgaard, 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.68098
Dalsgaard, 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

Citations by Year