Projekter pr. år
Personlig profil
Emneord
- Datalogi
- Indlejrede systemer
- Matematik og Statistik
- Elektronik
Fingerprint
- 1 Lignende profiler
Netværk
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
-
Støtte- og styringssystem til rutebusser
Lahrmann, H., Larsen, K. G., Tibo, A., Skov, M. B., Øhlenschlæger, R., Stakenaite, D., Gøeg, P. R. & Christensen, A. E.
01/08/2020 → 30/11/2021
Projekter: Projekt › Forskning
-
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
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
Publikationer
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control
Bøgh, S., Jensen, P. G., Kristjansen, M., Nyman, U. & Larsen, K. G., 15 jun. 2022, I: Proceedings International Conference on Automated Planning and Scheduling, ICAPS.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Economic heat control of mixing loop for residential buildings supplied by low-temperature district heating
Golmohammadi, H. & Larsen, K. G., 1 apr. 2022, I: Journal of Building Engineering. 46, s. 1-14 14 s., 103286.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)4 Downloads (Pure) -
Integration of flexibility potentials of district heating systems into electricity markets: A review
Golmohammadi, H., Larsen, K. G., Jensen, P. G. & Riaz, I., 2022, I: Renewable and Sustainable Energy Reviews. 159, 112200.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
3 Citationer (Scopus) -
A bayesian framework for large-scale identification of nonlinear hybrid systems
Madary, A., Momeni, H. R., Abate, A. & Larsen, K. G., 1 jul. 2021, I: IFAC-PapersOnLine. 54, 5, s. 259-264 6 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil8 Downloads (Pure) -
ADTLANG: A Programming Language Approach to Attack Defense Trees
Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 jan. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 1, s. 89-104 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Forskningsdatasæt
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2015
DOI: https://doi.org/10.4230/oasics.syncop.2015.77, https://doi.org/10.4230%2Foasics.syncop.2015.77
Datasæt
Priser
-
Best Paper Award
Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, N. (Modtager), Bouyer, P. (Modtager), Fahrenberg, U. (Modtager) & Reynier, P. (Modtager), 17 jul. 2018
Pris: Konferencepriser
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Modtager), 27 nov. 2007
Pris: Øvrige priser
-
Aktiviteter
-
International Symposium on Mathematical Foundations of Computer Science (Begivenhed)
Kim Guldstrand Larsen (Fagfællebedømmer), Hans L. Bodlaender (Redaktør) & Jean-François Raskin (Redaktør)
21 aug. 2017 → 25 aug. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Deltager)
12 dec. 2007 → 14 dec. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Deltager)
17 okt. 2007 → 20 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Deltager)
10 okt. 2007 → 12 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Deltager)
30 sep. 2007 → 1 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
Presse/medier
-
-
Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
02/12/2021 → 06/12/2021
6 elementer af Mediedækning
Presse/medie
-
Vejen til it i verdensklasse er belagt med samarbejde
Kim Guldstrand Larsen & Peter Axel Nielsen
23/11/2021
1 element af Mediedækning
Presse/medie
-
Ny forskning kan "være nøglen" til at forhindre oversvømmelser
07/11/2021
1 element af Mediedækning
Presse/medie
-
Ny forskning kan »være nøglen« til at forhindre oversvømmelser som i Tyskland
27/10/2021
1 element af Mediedækning
Presse/medie