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
Comparison of post-weld treatment of high-strength steel welded joints in medium cycle fatigue
MM Pedersen, OĜ Mouritsen, MR Hansen, JG Andersen, J Wenderby
Welding in the World 54 (7), R208-R217, 2010
852010
Re-analysis of fatigue data for welded joints using the notch stress approach
MM Pedersen, OĜ Mouritsen, MR Hansen, JG Andersen, J Wenderby
International Journal of Fatigue 32 (10), 1620-1626, 2010
822010
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
International Workshop on Verification, Model Checking, and Abstract …, 2011
602011
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
592010
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
472010
Multiaxial fatigue assessment of welded joints using the notch stress approach
MM Pedersen
International Journal of Fatigue 83, 269-279, 2016
352016
Experience with the notch stress approach for fatigue assessment of welded joints
MM Pedersen, OĜ Mouritsen, MR Hansen, JG Andersen
Proceedings of Swedish Conference on Lightweight Optimised Welded Structures …, 2010
342010
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
292011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
282013
Developing a tool point control scheme for a hydraulic crane using interactive real-time dynamic simulation
MM Pedersen, MR Hansen, M Ballebye
Modelling, Identification, and Control 31 (4), 133, 2010
242010
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
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
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
152012
Introduction to metal fatigue
MM Pedersen
and no.: Technical report ME-TR-11, 91, 2018
122018
Compositional design methodology with constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
INRIA, 2009
82009
Design of biped robot AAU-BOT1
MM Pedersen, AA Nielsen, LF Christiansen
Aalborg University, 2007
82007
Comparison of Post Weld Treatment of High Strength Steel Welded Joints in Medium Cycle Fatigue, IIW doc
MM Pedersen, OĜ Mouritsen, MR Hansen, JG Andersen, J Wenderby
72009
Investigation of the thickness effect for butt welded joints
MM Pedersen, JG Andersen, ÓM Ólafsson
62012
Thickness effect in fatigue of welded butt joints: A review of experimental works
MM Pedersen
International Journal of Steel Structures 19 (6), 1930-1938, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20