Publikationer pr. år
Publikationer pr. år
Publikationer
- 2 resultater
Søgeresultater
-
2020
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) -
2018
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I: Fundamenta Informaticae. 161, 4, s. 351-381Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
9 Citationer (Scopus)