• Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Danmark

  • Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1987 …2020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi
  • Indlejrede systemer
  • Matematik og Statistik
  • Elektronik

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 18 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

  • Publikationer

    Controlling Signalized Intersections using Machine Learning

    Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2020, I : Transportation Research Procedia. 48, 2020, s. 987-997

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
    Fil
  • 2 Downloads (Pure)

    Sustainable Energy Systems Planning, Integration and Management

    Anvari-Moghaddam, A. (red.), Mohammadi-Ivatloo, B. (red.), Asadi, S. (red.), Shahidehpour, M. (red.), Rusu, E., Wang, C-N., Gebresenbet, G., Garcia, D., Germer, S., Liu, T., Luo, P., Ruz-Hernandez, J. A., He, H., Wang, C., Wang, S., Orosa, J. A., Liu, Y., Chen, C. & Larsen, K. G., jan. 2020, MDPI AG. 286 s.

    Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

    Åben adgang
    Fil
  • Abstract Dependency Graphs and Their Application to Model Checking

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 4 Citationer (Scopus)
    14 Downloads (Pure)

    Analyzing spreadsheets for parallel execution via model checking

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • 1 Citationer (Scopus)

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    8 Downloads (Pure)

    Priser

    Best Paper Award

    Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Nicolas Markey (Modtager), Patricia Bouyer (Modtager), Uli Fahrenberg (Modtager) & Pierre-Alain Reynier (Modtager), 17 jul. 2018

    Pris: Konferencepriser

  • Ridder af Dannebrog

    Larsen, Kim Guldstrand (Modtager), 1 aug. 2007

    Pris: Ærespriser og udnævnelser

    Aktiviteter

    • 14 Organisering af eller deltagelse i konference
    • 6 Foredrag og præsentationer i privat eller offentlig virksomhed
    • 1 Redaktør af serie
    • 1 Undervisning og kursusvirksomhed ved andre universiteter

    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. 201725 aug. 2017

    Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

    FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

    Kim Guldstrand Larsen (Deltager)

    12 dec. 200714 dec. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

    Embedded Systems Workshop : ESI en STW Progress

    Kim Guldstrand Larsen (Deltager)

    17 okt. 200720 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

    NWPT07 : The 19th Nordic Workshop on Programming Theory

    Kim Guldstrand Larsen (Deltager)

    10 okt. 200712 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

    Embedded Systems Week : Foundations of Component-based Design

    Kim Guldstrand Larsen (Deltager)

    30 sep. 20071 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference