Michael Pedersen

Orcid: 0000-0002-5166-2624

According to our database1, Michael Pedersen authored at least 11 papers between 2001 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Bio Simulators: a web UI for biological simulation.
Bioinform., 2014

2013
Canonical Labelling of Site Graphs.
Proceedings of the Proceedings Fourth International Workshop on Computational Models for Cell Processes, 2013

2011
A Syntactic Abstraction for Rule-Based Languages with Binding.
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

2010
A Language for Biochemical Systems: Design and Formal Specification.
Trans. Comp. Sys. Biology, 2010

2008
An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware.
Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2008

A Language for Biochemical Systems.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Compositional Definitions of Minimal Flows in Petri Nets.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Coexistence of two species in a strongly coupled cooperative model.
Math. Comput. Model., 2007

2006
MRI-guided focused ultrasound: methodology and applications.
IEEE Trans. Medical Imaging, 2006

Separating Underdetermined Convolutive Speech Mixtures.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2006

2001
Blow-up analysis for a system of heat equations coupled through a nonlinear boundary condition.
Appl. Math. Lett., 2001


  Loading...