Projects per year
Personal profile
Keywords
- Computer Science
- Mathematics and Statistics
- Electronics
Fingerprint
- 1 Similar Profiles
Network
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
-
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
Project: Research
-
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
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Project: Research
-
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
Project: Research
Research output
-
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, In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile1 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, In: Journal of Building Engineering. 46, p. 1-14 14 p., 103286.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus)2 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, In: Renewable and Sustainable Energy Reviews. 159, 112200.Research output: Contribution to journal › Review article › Research › peer-review
1 Citation (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, In: IFAC-PapersOnLine. 54, 5, p. 259-264 6 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile5 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, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
Datasets
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Creator) & Larsen, K. G. (Creator), 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
Dataset
Prizes
-
Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P. (Recipient), 17 Jul 2018
Prize: Conference prizes
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Recipient), 27 Nov 2007
Prize: Other prizes
-
Ridder af Dannebrog
Larsen, Kim Guldstrand (Recipient), 1 Aug 2007
Prize: Honorary prizes and appointments
Activities
-
International Symposium on Mathematical Foundations of Computer Science (Event)
Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor) & Jean-François Raskin (Editor)
21 Aug 2017 → 25 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Participant)
12 Dec 2007 → 14 Dec 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 2007Activity: Attending an event › Conference organisation or participation
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)
10 Oct 2007 → 12 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)
30 Sep 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
Press / Media
-
Ny teknologi skal forhindre oversvømmelser
28/12/2021
1 item of Media coverage
Press/Media: Press / Media
-
Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
02/12/2021 → 06/12/2021
6 items of Media coverage
Press/Media: Press / Media
-
Vejen til it i verdensklasse er belagt med samarbejde
Kim Guldstrand Larsen & Peter Axel Nielsen
23/11/2021
1 item of Media coverage
Press/Media: Press / Media
-
Ny forskning kan "være nøglen" til at forhindre oversvømmelser
07/11/2021
1 item of Media coverage
Press/Media: Press / Media
-
Ny forskning kan »være nøglen« til at forhindre oversvømmelser som i Tyskland
27/10/2021
1 item of Media coverage
Press/Media: Press / Media