Projects per year
Fingerprint
Collaborations from the last five years
Profiles
-
Claus Munk Andersen
- IT-Services - IT Support Staff Member
- IT Support AAL - IT Support Staff Member
- Technology, Sourcing and Support - IT Support Staff Member
Person: TAP
-
Sebastian K. Andersen
- AAU Shared Services - Student assistent, !!Studerende, IT-medarbejder
- IT-Services - Student assistent, !!Studerende, IT-medarbejder
- Support - Student assistent, !!Studerende, IT-medarbejder
- Technology, Sourcing and Support - Student assistent, !!Studerende, IT-medarbejder
- IT Support AAL - Student assistent, !!Studerende, IT-medarbejder
Person: TAP
-
Anja Mørck Bredal
- AAU Shared Services - Team Leader
- IT-Services - Team Leader
- Technology, Sourcing and Support - Team Leader
- Support - Team Leader
- IT Support AAL - Team Leader
Person: TAP
Projects
- 1 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in 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
Project: Research
-
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, In: Decision Analytics Journal. 5, 100141.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 Citations (Scopus)61 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 others , 13 Dec 2021, In: Nature Communications. 12, 1, 7251.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile53 Citations (Scopus)45 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. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (Scopus)
Datasets
-
DEIS-Tools/libstrategy: 1.0.8b
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Rendal, R. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499738, https://zenodo.org/record/5499738
Dataset
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Mikucionis, M. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Dataset
Press/Media
-
Universiteter aflyser eksaminer: Finder stor svaghed i vigtige it-systemer med studerendes data
14/12/2021
2 items of Media coverage
Press/Media: Press / Media
-
Coronakrisen betød kæmpe udrulning af videobarer på Aalborg Universitet
28/06/2021
1 item of Media coverage
Press/Media: Press / Media
-
Ny afsløring om IT-angreb på Aalborg Universitet: Også sundhedsdata er lækket
Michael Krogsgaard & Antonino Castrone
24/09/2020
1 item of Media coverage
Press/Media: Press / Media