Edit Profile (opens in new tab) Nielsen, Søren M. Compute Distance To: Compute Author ID: nielsen.soren-m Published as: Nielsen, Søren M.; Nielsen, S. M. Documents Indexed: 5 Publications since 1993 Co-Authors: 13 Co-Authors with 4 Joint Publications 240 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Jensen, Lasse S. 3 Kaufmann, Isabella 3 Larsen, Kim Guldstrand 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 Allen, Edward James 1 Coskun, Erhan 1 Ganguly, Keshab 1 Jensen, Peter Gjøl 1 Nesterov, I. A. 1 Shapiro, Andrew A. Serials 1 Journal of Computational Physics 1 Computational Geosciences 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Integral equations (45-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) Publications by Year Citations contained in zbMATH Open 4 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 On the discrete-ordinates method via Case’s solution. Zbl 0779.65089Ganguly, K.; Allen, Edward J.; Coskun, Erhan; Nielsen, S. 1 1993 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 On the discrete-ordinates method via Case’s solution. Zbl 0779.65089Ganguly, K.; Allen, Edward J.; Coskun, Erhan; Nielsen, S. 1 1993 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