Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
-
Abstract Dependency Graphs for Model Verification
Enevoldsen, S., 2022, Aalborg Universitetsforlag. 191 s.Publikation: Ph.d.-afhandling
Åben adgangFil136 Downloads (Pure) -
Extended Abstract Dependency Graphs
Enevoldsen, S., Larsen, K. G. & Srba, J., feb. 2022, I: International Journal on Software Tools for Technology Transfer. 24, 1, s. 49-65 17 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
2 Citationer (Scopus) -
Web of Things Semantic Interoperability in Smart Buildings
Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, I: Procedia Computer Science. 207, s. 997-1006 10 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil18 Downloads (Pure) -
Dependency graphs with applications to verification
Enevoldsen, S., Larsen, K. G., Mariegaard, A. & Srba, J., 1 okt. 2020, I: International Journal on Software Tools for Technology Transfer. 22, 5, s. 635-654 20 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
3 Citationer (Scopus) -
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, s. 249-268 20 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Forskningsdatasæt
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Bidrager), Larsen, K. G. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Datasæt