Michael Pedersen

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Graph Isomorphism

Simulation Software

Molecular Biology

Top Venues

Publications

Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips
Bio Simulators: a web UI for biological simulation. Bioinform. 30 (10) (2014)
Nicolas Oury, Michael Pedersen, Rasmus L. Petersen
Canonical Labelling of Site Graphs. CompMod (2013)
Michael Pedersen
A Syntactic Abstraction for Rule-Based Languages with Binding. Electron. Notes Theor. Comput. Sci. 277 (2011)
Michael Pedersen, Gordon D. Plotkin
A Language for Biochemical Systems: Design and Formal Specification. Trans. Comp. Sys. Biology 12 (2010)
Michael Pedersen
Compositional Definitions of Minimal Flows in Petri Nets. CMSB (2008)
Michael Pedersen, Gordon D. Plotkin
A Language for Biochemical Systems. CMSB (2008)
Baudouin Denis de Senneville, Karsten O. Noe, Mario Ries, Michael Pedersen, Chrit T. W. Moonen, Thomas Sangild Sørensen
An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware. ISBI (2008)
Zhi Ling, Michael Pedersen
Coexistence of two species in a strongly coupled cooperative model. Math. Comput. Model. 45 (3-4) (2007)
Michael Pedersen, DeLiang Wang, Jan Larsen, Ulrik Kjems
Separating Underdetermined Convolutive Speech Mixtures. ICA (2006)
S. L. Hokland, Michael Pedersen, Rares Salomir, Bruno Quesson, Hans Stødkilde-Jørgensen, Chrit T. W. Moonen
MRI-guided focused ultrasound: methodology and applications. IEEE Trans. Medical Imaging 25 (6) (2006)
Michael Pedersen, Zhigui Lin
Blow-up analysis for a system of heat equations coupled through a nonlinear boundary condition. Appl. Math. Lett. 14 (2) (2001)