Projekter pr. år
Fingerprint
Samarbejde i de sidste fem år
Profiler
-
Claus Munk Andersen
- IT-Services - IT-supporter
- IT Support AAL - IT-supporter
- Teknologi, Sourcing og Support - IT-supporter
Person: TAP
-
Sebastian K. Andersen
- Fælles Service - Studerende, div. stillinger, Studerende, IT-medarbejder
- IT-Services - Studerende, div. stillinger, Studerende, IT-medarbejder
- Support - Studerende, div. stillinger, Studerende, IT-medarbejder
- Teknologi, Sourcing og Support - Studerende, div. stillinger, Studerende, IT-medarbejder
- IT Support AAL - Studerende, div. stillinger, Studerende, IT-medarbejder
Person: TAP
-
Anja Mørck Bredal
- Fælles Service - Teamleder
- IT-Services - Teamleder
- Teknologi, Sourcing og Support - Teamleder
- Support - Teamleder
- IT Support AAL - Teamleder
Person: TAP
Projekter
- 1 Afsluttet
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Bilgram, A., Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Muñiz, M., Poulsen, D. B. & Taankvist, P., dec. 2022, I: Decision Analytics Journal. 5, 100141.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)65 Downloads (Pure) -
Increased transmissibility of SARS-CoV-2 lineage B.1.1.7 by age and viral load
Lyngse, F. P., Mølbak, K., Skov, R. L., Christiansen, L. E., Mortensen, L. H., Albertsen, M., Møller, C. H., Krause, T. G., Rasmussen, M., Michaelsen, T. Y., Voldstedlund, M., Fonager, J., Steenhard, N., Danish Covid-19 Genome Consortium, Kirkeby, C. T., Albertsen, M., Brandt, J., Knutsson, S., Sørensen, E. A., Nymann, T., & 36 flere , 13 dec. 2021, I: Nature Communications. 12, 1, 7251.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil54 Citationer (Scopus)46 Downloads (Pure) -
Fluid Model-Checking in UPPAAL for Covid-19
Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
3 Citationer (Scopus)
Forskningsdatasæt
-
DEIS-Tools/libstrategy: 1.0.8b
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Rendal, R. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499738, https://zenodo.org/record/5499738
Datasæt
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Datasæt
Presse/medier
-
Universiteter aflyser eksaminer: Finder stor svaghed i vigtige it-systemer med studerendes data
14/12/2021
2 elementer af Mediedækning
Presse/medie
-
Coronakrisen betød kæmpe udrulning af videobarer på Aalborg Universitet
28/06/2021
1 element af Mediedækning
Presse/medie
-
Ny afsløring om IT-angreb på Aalborg Universitet: Også sundhedsdata er lækket
Michael Krogsgaard & Antonino Castrone
24/09/2020
1 element af Mediedækning
Presse/medie