Projekter pr. år
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.
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
- 1 Afsluttet
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G. (PI (principal investigator)), Stoustrup, J. (CoPI), Jensen, P. G. (Projektdeltager), Mikučionis, M. (Projektdeltager), Jørgensen, K. Y. (Projektdeltager), Muniz Rodriguez, M. A. (Projektdeltager), Poulsen, D. B. (Projektdeltager) & Tschaikowski, M. (Projektdeltager)
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 adgangFil5 Citationer (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. (Medlem af forfattergruppering), Brandt, J. (Medlem af forfattergruppering), Knutsson, S. (Medlem af forfattergruppering), Sørensen, E. A. (Medlem af forfattergruppering) & Nymann, T. (Medlem af forfattergruppering) & 36 flere, , 13 dec. 2021, I: Nature Communications. 12, 1, 7251.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil66 Citationer (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. (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
4 Citationer (Scopus)
Forskningsdatasæt
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Mikučionis, M. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Datasæ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
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
Krogsgaard, M. & Castrone, A.
24/09/2020
1 element af Mediedækning
Presse/medie