Sren Enevoldsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2022
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | KES | Web of Things Semantic Interoperability in Smart Buildings. | Amir Laadhar, Junior Dongo, Sren Enevoldsen, Frdric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen |
| 2020 | LOPSTR | Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. | Sren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jir Srba |
| 2019 | TACAS | Abstract Dependency Graphs and Their Application to Model Checking. | Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2016 | SETTA | Distributed Computation of Fixed Points on Dependency Graphs. | Andreas Engelbredt Dalsgaard, Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2015 | ICTAC | CAAL: Concurrency Workbench, Aalborg Edition. | Jesper Rank Andersen, Nicklas Andersen, Sren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jir Srba, Jacob K. Wortmann |