Projects per year
Personal profile
Keywords
- Computer Science
- Mathematics and Statistics
- Electronics
Fingerprint
Dive into the research topics where Kim Guldstrand Larsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ODAQS: Optimal Design Automation towards a Performant Quantum Software Stack
Larsen, K. G. (PI), Schilling, C. (CoI), Holik, L. (CoI) & Vester, J. (Project Participant)
01/05/2026 → 31/07/2029
Project: Research
-
SWiM: Sustainable Water-Based Cooling in Megacities
Anvari-Moghaddam, A. (PI), Ghaemi, S. (CoI), Pugliese, A. A. (Project Coordinator), Pedersen, T. B. (PI), Larsen, K. G. (PI), Wisniewski, R. (PI), Sorknæs, P. (PI), Pomianowski, M. Z. (PI), Ahrendsen, L. B. (Project Participant), Schaffer, M. (Project Participant) & Maccarini, A. (Project Participant)
01/01/2026 → 31/12/2030
Project: Research
-
Classique - Center for Classical Communication in the Quantum Era
Popovski, P. (PI), Østergaard, J. (CoI), Pedersen, T. G. (CoI), Cornean, H. (CoI) & Larsen, K. G. (CoI)
Danish National Research Foundation
01/02/2025 → 31/01/2031
Project: Research
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI), Tschaikowski, M. (CoI) & Al-Rousan, S. (Project Participant)
15/12/2024 → 14/12/2027
Project: Research
-
AAU Water
Lykke, A. (Project Coordinator), Quist-Jensen, C. A. (PI), Vollertsen, J. (PI), Nielsen, P. H. (PI), Larsen, K. G. (PI), Ali, A. (PI), Aschmoneit, F. J. (PI), Pomianowski, M. Z. (PI) & Wisniewski, R. (PI)
01/05/2024 → …
Project: Research
Research output
-
Optimal control strategies for stormwater detention ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R., Srba, J. & Zhao, G., Aug 2024, In: Nonlinear Analysis: Hybrid Systems. 53, 101504.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)201 Downloads (Pure) -
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 1 Mar 2025, (Submitted) In: Journal - in the process . p. 1-18 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Data-Selective Online Battery Identification Using Extended Time Regular Expressions
Weinreich, N. A., Muniz Rodriguez, M. A., Mikučionis, M., Larsen, K. G. & Teodorescu, R., 2026, IFAC Publisher.Research output: Working paper/Preprint › Preprint
-
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
Fränzle, M., Grosen, T. M., Larsen, K. G. & Zimmermann, M., Jun 2026, In: Formal Aspects of Computing. 38, 2, 17.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Model Checking, Performance Analysis, Synthesis and Learning for Cyber Physical Systems
Larsen, K. G. & Mikučionis, M., 26 May 2026, Engineering Trustworthy Software Systems - 7th International School, SETSS 2025, Tutorial Lectures. Bowen, J. P. & Turrini, A. (eds.). Springer, p. 159-210 52 p. (Lecture Notes in Computer Science, Vol. 16481 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Dataset
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Creator) & Larsen, K. G. (Creator), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 3 Dec 2015
DOI: 10.4230/oasics.syncop.2015.77, https://doi.org/10.4230%2Foasics.syncop.2015.77
Dataset
Prizes
-
Best Paper Award
Bacci, G. (Recipient), Larsen, K. G. (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P.-A. (Recipient), 17 Jul 2018
Prize: Conference prizes
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, K. G. (Recipient), 27 Nov 2007
Prize: Other prizes
-
Activities
-
International Symposium on Mathematical Foundations of Computer Science (Event)
Larsen, K. G. (Peer reviewer), Bodlaender, H. L. (Editor) & Raskin, J.-F. (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
Larsen, K. G. (Participant)
12 Dec 2007 → 14 Dec 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Workshop : ESI en STW Progress
Larsen, K. G. (Participant)
17 Oct 2007 → 20 Oct 2007Activity: Attending an event › Conference organisation or participation
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Larsen, K. G. (Participant)
10 Oct 2007 → 12 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Week : Foundations of Component-based Design
Larsen, K. G. (Participant)
30 Sept 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
Press/Media
-
Eksterne midler går ofte hånd i hånd med høje forskerlønninger
Popovski, P., Blaabjerg, F., Jess, T., Jensen, C. S., Larsen, K. G., Dahl, M. S., Scherpe, J. M., Graven-Nielsen, T., Bukh, P. N. & Moeslund, T. B.
05/05/2026
3 items of Media coverage
Press/Media: Press / Media
-
Danish ODAQS project aims to simplify quantum computing for drug discovery
05/03/2026
1 item of Media coverage
Press/Media: Press / Media
-
Nyt forskningsprojekt skal bringe kvanteteknologi tættere på anvendelse i sundhedssektoren
23/02/2026 → 24/02/2026
6 items of Media coverage
Press/Media: Press / Media
-
Denmark invests in ODAQS initiative to simplify quantum programming and bring technology closer to healthcare applications
23/02/2026
1 item of Media coverage
Press/Media: Press / Media
-
Slusen i Hvide Sande skal automatiseres - hvad vil det betyde for borgerne i lokalsamfundet?
25/01/2026 → 28/01/2026
3 items of Media coverage
Press/Media: Press / Media