Søren M. Nielsen

From MaRDI portal
Person:1662532

Available identifiers

zbMath Open nielsen.soren-mMaRDI QIDQ1662532

List of research outcomes





PublicationDate of PublicationType
Model checking and synthesis for branching multi-weighted logics2019-06-20Paper
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*2018-10-02Paper
Extended dependency graphs and efficient distributed fixed-point computation2018-08-20Paper
Microbial enhanced oil recovery -- a modeling study of the potential of spore-forming bacteria2018-07-27Paper

Research outcomes over time

This page was built for person: Søren M. Nielsen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1662532&oldid=10953981"
Powered by MediaWiki