Statistics
Publications
8
Citations
237
H-Index
8
Active since
2000
Mikkel L. Pedersen is an author at Aalborg University specializing in computer science, computing, and abstraction.
Publications per year
2000–2013
8
8
Benoı̂t Caillaud, Benoît Delahaye, Kim G. Larsen et al. · Theoretical Computer Science · 2011 · 56 citations
Compositional Design Methodology with Constraint Markov Chains
Benoı̂t Caillaud, Benoît Delahaye, Kim G. Larsen et al. · 2010 · 48 citations · Full text
Abstract probabilistic automata
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen et al. · RWTH Publications (RWTH Aachen) · 2011 · 32 citations
Characteristic Formulae for Timed Automata
Luca Aceto, Anna Ingólfsdóttir, Mikkel L. Pedersen et al. · RAIRO - Theoretical Informatics and Applications · 2000 · 29 citations · Full text
New Results on Abstract Probabilistic Automata
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen et al. · 2011 · 22 citations
1–5 of 8