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.
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 1 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)
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 AccessFile5 Citations (Scopus)108 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. (Member of study group), Brandt, J. (Member of study group), Knutsson, S. (Member of study group), Sørensen, E. A. (Member of study group) & Nymann, T. (Member of study group) & 36 others, , 13 Dec 2021, In: Nature Communications. 12, 1, 7251.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile63 Citations (Scopus)63 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
4 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) & Mikučionis, 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
Krogsgaard, M. & Castrone, A.
24/09/2020
1 item of Media coverage
Press/Media: Press / Media