Projects per year
Fingerprint
The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.
Network
Dive into details by clicking on the dots.
Profiles
-
Daniel Agassi
- AAU Shared Services - IT Support Trainee
- IT-Services - IT Support Trainee
- Support - IT Support Trainee
- IT Support AAL - IT Support Trainee
- Technology, Sourcing and Support - IT Support Trainee
Person: TAP
-
Claus Munk Andersen
- AAU Shared Services - IT Support Staff Member
- IT-Services - IT Support Staff Member
- Support - IT Support Staff Member
- IT Support AAL - IT Support Staff Member
- Technology, Sourcing and Support - IT Support Staff Member
Person: TAP
-
Jannie Andersen
- AAU Shared Services - IT Support Staff Member
- IT-Services - IT Support Staff Member
- Support - IT Support Staff Member
- IT Support AAL - IT Support Staff Member
- Technology, Sourcing and Support - IT Support Staff Member
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
-
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 AccessFile1 Citation (Scopus)7 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
2 Citations (Scopus)
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