Follow
Mikkel Larsen Pedersen
Mikkel Larsen Pedersen
Postdoc, Department of Computer Science, Aalborg University, Denmark
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Controlled release of biocide from silica microparticles in wood paint
G Sørensen, AL Nielsen, MM Pedersen, S Poulsen, H Nissen, M Poulsen, ...
Progress in Organic Coatings 68 (4), 299-306, 2010
732010
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
622011
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
542011
Compositional design methodology with constraint Markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
532010
Decision problems for interval Markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Language and Automata Theory and Applications: 5th International Conference …, 2011
332011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
322013
New results on abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
2011 Eleventh International Conference on Application of Concurrency to …, 2011
232011
Consistency and refinement for interval markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wa
The Journal of Logic and Algebraic Programming 81 (3), 209-226, 2012
192012
APAC: A tool for reasoning about abstract probabilistic automata
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
172011
Compositional design methodology with constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
INRIA, 2009
92009
New results for constraint markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Performance Evaluation 69 (7-8), 379-401, 2012
52012
Benchmarking av kostnader ved regionsykehus, sentralsykehus og lokalsykehus
M Pedersen, AL Sandvik
Trondheim: SINTEF Unimed, 2002
22002
Stuttering in Abstract Probabilistic Automata
B Delahaye, KG Larsen, A Legay, ML Pedersen
Nordic Workshop on Programming Theory, 8, 2011
2011
Specification Theories for Probabilistic Systems: A Thesis Submitted for the Degree of PhD
ML Pedersen
Department of Computer Science, The Faculties of Engineering, Science, and …, 2011
2011
Specification theories for probabilistic systems
ML Pedersen
2011
Compositional Design Methodology with Constraint Markov Chains
B Delahaye, F IRISA, KG Larsen, ML Pedersen, A Wasowski
2009
Institut for Datalogi
DS Bahr, PA Hede, KR Jensen, RD Larsen, ML Pedersen, ...
2006
Local Exhaust Optimization and Worker Exposure
M Pedersen, T Plath, P Heiselberg
Instituttet for Bygningsteknik, Aalborg Universitet, 2000
2000
Optimering af procesventilation ved trykkemaskine
PK Heiselberg, M Pedersen, T Plath
Ventilation 1 (4), 26-30, 1999
1999
A Study on a Ecosystem Approach for Model-Based Software Engineering
M Hartvigsen, M Pedersen
The system can't perform the operation now. Try again later.
Articles 1–20