Kim G. Larsen (Aalborg University

Identifiers

• name variant Kim G. Larsen (Aalborg University 0.60 · backfill

Papers (3)

1. Refinement and Difference for Probabilistic Automata cs.LO · 2012 · author #5
2. Continuous Markovian Logics - Axiomatization and Quantified Metatheory cs.LO · 2012 · author #5
3. Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach cs.GT · 2012 · author #5

Mentions

• 1212.4288 #5 · backfill · confidence 0.70 Kim G. Larsen (Aalborg University
• 1211.5190 #5 · backfill · confidence 0.70 Kim G. Larsen (Aalborg University
• 1202.4506 #5 · backfill · confidence 0.70 Kim G. Larsen (Aalborg University

Frequent Coauthors

• Denmark) 3 shared papers
• Alexandre David (Aalborg University 1 shared papers
• Axel Legay (Inria / IRISA Rennes 1 shared papers
• Axel Legay (INRIA Rennes 1 shared papers
• Beno\^it Delahaye (Universit\'e de Nantes 1 shared papers
• France) 1 shared papers
• France/Aalborg University 1 shared papers
• Luca Cardelli (Microsoft Research Cambridge 1 shared papers
• Marius Miku\v{c}ionis (Aalborg University 1 shared papers
• Peter Bulychev (Aalborg University 1 shared papers
• Radu Mardare (Aalborg University 1 shared papers
• UK) 1 shared papers
• Uli Fahrenberg (Inria / IRISA Rennes 1 shared papers