Michael Pedersen

12 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
Ex Vivo Simultaneous H215O Positron Emission Tomography and Magnetic Resonance Imaging of Porcine Kidneys - A Feasibility Study.
J. Imaging
Maibritt Meldgaard Arildsen, Christian Østergaard Mariager, Christoffer Vase Overgaard, Thomas Vorre, Martin Bøjesen, Niels Moeslund, Aage Kristian Olsen Alstrup, Lars Poulsen Tolbod, Mikkel Holm Vendelbo, Steffen Ringgaard, Michael Pedersen, Niels Henrik Buus
2014 J jnl
Bio Simulators: a web UI for biological simulation.
Bioinform.
Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips
2013 — conf
Canonical Labelling of Site Graphs.
CompMod
Nicolas Oury, Michael Pedersen, Rasmus L. Petersen
2011 — conf
A Syntactic Abstraction for Rule-Based Languages with Binding.
CS2Bio@DisCoTec
Michael Pedersen
2010 J jnl
A Language for Biochemical Systems: Design and Formal Specification.
Trans. Comp. Sys. Biology
Michael Pedersen, Gordon D. Plotkin
2008 — conf
A Language for Biochemical Systems.
CMSB
Michael Pedersen, Gordon D. Plotkin
2008 — conf
An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware.
ISBI
Baudouin Denis de Senneville, Karsten O. Noe, Mario Ries, Michael Pedersen, Chrit T. W. Moonen, Thomas Sangild Sørensen
2008 — conf
Compositional Definitions of Minimal Flows in Petri Nets.
CMSB
Michael Pedersen
2007 J jnl
Coexistence of two species in a strongly coupled cooperative model.
Math. Comput. Model.
Zhi Ling, Michael Pedersen
2006 J jnl
MRI-guided focused ultrasound: methodology and applications.
IEEE Trans. Medical Imaging
S. L. Hokland, Michael Pedersen, Rares Salomir, Bruno Quesson, Hans Stødkilde-Jørgensen, Chrit T. W. Moonen
2006 — conf
Separating Underdetermined Convolutive Speech Mixtures.
ICA
Michael Pedersen, DeLiang Wang, Jan Larsen, Ulrik Kjems
2001 J jnl
Blow-up analysis for a system of heat equations coupled through a nonlinear boundary condition.
Appl. Math. Lett.
Michael Pedersen, Zhigui Lin