Author Search Results

Kim Guldstrand Larsen

Kim Guldstrand Larsen R (born 1957) is a Danish scientist and professor of computer science at Aalborg University, Denmark. His field of research includes modeling, validation and verification, performance analysis, and synthesing of real-time, embedded, and cyber-physical systems utilizing and contributing to concurrency theory and model checking. Within this domain, he has been instrumental in the invention and continuous development of one of the most widely used verification tools, and has received several awards and honors for his work. Provided by Wikipedia

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / / edited by Jan Friso Groote, Kim Guldstrand Larsen.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12651

Other Authors: “...Larsen, Kim Guldstrand....”

Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12652

Other Authors: “...Larsen, Kim Guldstrand....”

Links: Get full text

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12651

Other Authors: “...Larsen, Kim Guldstrand....”

Links: Get full text

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12652

Other Authors: “...Larsen, Kim Guldstrand....”

Sustainable Energy Systems Planning, Integration and Management

Participants: Mohammadi-ivatloo, Behnam [ ]; Asadi, Somayeh [ ]; Anvari-Moghaddam, Amjad [ ]; Larsen, Kim Guldstrand [ ]; Shahidehpour, Mohammad [ ]
Published: 2020

Other Authors: “...Larsen, Kim Guldstrand...”