Seguir
Mikkel Larsen Pedersen
Mikkel Larsen Pedersen
Postdoc, Department of Computer Science, Aalborg University, Denmark
Email confirmado em cs.aau.dk
Título
Citado por
Citado por
Ano
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
662010
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
612011
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
512011
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
492010
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
312011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
302013
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
222011
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
162011
Compositional design methodology with constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
INRIA, 2009
82009
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20