Kim Guldstrand Larsen

Computational Theory and Mathematics · 1989–2018

A researcher in the Science corpus: 11 papers; trusts 5 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 20 citations into it; #4,977 of 12,182 by trust here, #3,448 by citations
• Artificial Intelligence — 19 citations into it; #15,317 of 35,345 by trust here, #18,186 by citations
• Software — 17 citations into it; #804 of 1,227 by trust here, #418 by citations
• Hardware and Architecture — 12 citations into it
• Computer Networks and Communications — 7 citations into it

Whom Kim Guldstrand Larsen trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Luca de Alfaro
2. Thomas A. Henzinger
3. Krzysztof Czarnecki
4. W. Hoeffding
5. Ulrich W. Eisenecker
6. John E. Hopcroft
7. Gerard J. Holzmann

Who trusts Kim Guldstrand Larsen overall

1. Christel Baier
2. Andrei Sabelfeld
3. N. Ferns
4. Prakash Panangaden
5. Doina Precup
6. Marta Z. Kwiatkowska
7. Jonathan Taylor
8. Lili Xu
9. Robert Givan
10. Gilles Barthe

Papers from Kim Guldstrand Larsen's perspective

Ordered by how strongly the researchers Kim Guldstrand Larsen trusts endorse each paper. Same corpus, a different order for every researcher.

1. Interface Theories for Component-Based Design (International Conference on Embedded Software)
2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
3. Generative Programming: Methods, Tools, and Applications
4. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)
5. Model Checking
6. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
7. The SPIN Model Checker
8. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design (Proceedings of the IEEE)
9. Abstract Interpretation Frameworks
10. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)

Their papers

• A Tutorial on Uppaal (2004) — 1,875 citations
• Efficient On-the-Fly Algorithms for the Analysis of Timed Games (2005) — 365 citations
• Minimum-Cost Reachability for Priced Timed Automata (2001) — 377 citations
• Probabilistic Extensions of Process Algebras (2001) — 171 citations
• UPPAAL-Tiga: Time for Playing Games! (2007) — 338 citations
• Contracts for System Design (2018) — 298 citations
• Model Checking Real-Time Systems (2018) — 569 citations
• Uppaal SMC tutorial (2015) — 470 citations
• Modal I/O Automata for Interface and Product Line Theories (2007) — 303 citations
• Bisimulation through Probabilistic Testing (1991)
• Bisimulation through probabilistic testing (preliminary report) (1989)