Administration, Department of Computer Science

Fingerprint

Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
Se alle 19 profiler
  • 4 Konferenceartikel i proceeding
  • 1 Bidrag til bog/antologi
  • 1 Preprint

  • Extended Timed Regular Expressions

    Muniz Rodriguez, M. A., Mikučionis, M. & Larsen, K. G., 12 sep. 2025, Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings. Könighofer, B. & Torfah, H. (red.). Graz, Austria: Springer Nature, s. 233-251 18 s. (Lecture Notes in Computer Science (LNCS), Bind 16087).

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

  • GPU Accelerating Statistical Model Checking for Extended Timed Automata

    Bak, O. S., Christiansen, M. W. B., Eriksen, O. V., Feo-Arenis, S., Jensen, P. G., Jensen, M. D., Juozapaitis, S., Larsen, K. G., Mikučionis, M., Muñiz, M. & Windfeld, A., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (red.). Springer, s. 267-292 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15261 LNCS).

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

    1 Citationer (Scopus)

  • Textual Annotation in the Prediction of Heart and Lung Transplantation Outcomes from Donor Data*

    Klang, M., Bäcklund, R., Li, Q., Medved, D., Nugues, P., Olsson, R., Soormally, C., Stenson, D., Tanveer, M. A. & Nilsson, J., 18 jul. 2025, 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE (Institute of Electrical and Electronics Engineers), Bind 2025. s. 1-4 4 s. 11254175. (IEEE Engineering in Medicine and Biology Society. Conference Proceedings).

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

    Åben adgang
    Fil
    1 Downloads (Pure)
Se alle 6 publikationer