CAAL: Concurrency Workbench, Aalborg Edition. - Jesper Rank Andersen; Nicklas Andersen; Søren Enevoldsen; Mathias M. Hansen; Kim G. Larsen; Simon R. Olesen; Jirí Srba; Jacob K. Wortmann (ICTAC, 2015)

Distributed Computation of Fixed Points on Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (SETTA, 2016)

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Petri Nets, 2017)

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. - Mads Kronborg Agesen; Søren Enevoldsen; Thibaut Le Guilly; Anders Mariegaard; Petur Olsen; Arne Skou (Models, Algorithms, Logics and Tools, 2017)

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Peter Gjøl Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Fundam. Informaticae, 2018)

Model Verification Through Dependency Graphs. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (SPIN, 2019)

Abstract Dependency Graphs and Their Application to Model Checking. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (TACAS (1), 2019)

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. - Søren Enevoldsen; Mathias Claus Jensen; Kim Guldstrand Larsen; Anders Mariegaard; Jirí Srba (LOPSTR, 2020)

Dependency graphs with applications to verification. - Søren Enevoldsen; Kim G. Larsen; Anders Mariegaard; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2020)

Web of Things Semantic Interoperability in Smart Buildings. - Amir Laadhar; Junior Dongo; Søren Enevoldsen; Frédéric Revaz; Dominique Gabioud; Torben Bach Pedersen; Martin Meyer; Brian Nielsen; Christian Thomsen 001 (KES, 2022)

Extended abstract dependency graphs. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2022)