Billede af Theodor Risager

Vis Scopus-profil

Theodor Risager

Bachelor i Datalogi

  • Fredrik Bajers Vej 1, Åbent Kontor mod Øst på 2 sal

    9220 Aalborg Ø

    Danmark

20232023

Publikationer pr. år

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint
  • 1 Konferenceartikel i proceeding

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer Nature Switzerland AG, s. 180-187 8 s. (Lecture Notes in Computer Science; Nr. 13872).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review