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
- 2 Konferenceartikel i proceeding
-
Elimination of Detached Regions in Dependency Graph Verification
Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer, Bind LNCS 13872. s. 163-179 17 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (red.). Springer, s. 151-173 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13182 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)