| 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 | 75 | 2010 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... International Workshop on Verification, Model Checking, and Abstract …, 2011 | 64 | 2011 |
| Constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski Theoretical Computer Science 412 (34), 4373-4404, 2011 | 56 | 2011 |
| 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 | 55 | 2010 |
| Decision problems for interval Markov chains B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski International Conference on Language and Automata Theory and Applications …, 2011 | 34 | 2011 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Information and Computation 232, 66-116, 2013 | 33 | 2013 |
| 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 | 23 | 2011 |
| 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 | 21 | 2012 |
| 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 | 17 | 2011 |
| Compositional design methodology with constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski INRIA, 2009 | 10 | 2009 |
| 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 | 5 | 2012 |
| Benchmarking av kostnader ved regionsykehus, sentralsykehus og lokalsykehus M Pedersen, AL Sandvik Trondheim: SINTEF Unimed, 2002 | 2 | 2002 |
| 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 | | |
