Alexandre David (Aalborg University

Identifiers

• name variant Alexandre David (Aalborg University 0.60 · backfill

Papers (2)

1. UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata cs.LO · 2012 · author #3
2. Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach cs.GT · 2012 · author #3

Mentions

• 1207.1272 #3 · backfill · confidence 0.70 Alexandre David (Aalborg University
• 1202.4506 #3 · backfill · confidence 0.70 Alexandre David (Aalborg University

Frequent Coauthors

• Axel Legay (INRIA Rennes 2 shared papers
• Denmark) 2 shared papers
• Marius Miku\v{c}ionis (Aalborg University 2 shared papers
• Peter Bulychev (Aalborg University 2 shared papers
• Aalborg University 1 shared papers
• China) 1 shared papers
• Danny B{\o}gsted Poulsen (Aalborg University 1 shared papers
• France 1 shared papers
• France/Aalborg University 1 shared papers
• Kim G. Larsen (Aalborg University 1 shared papers
• Kim Gulstrand Larsen (Aalborg University 1 shared papers
• Zheng Wang (East China Normal University 1 shared papers