Mathias John

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Venues

CMSB

VMCAI

Formal Aspects Comput.

Biosyst.

University of Rostock (PHD)

Education History

University of Rostock

PHD

Publications

Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques
Predicting changes of reaction networks with partial kinetic information. Biosyst. 149 (2016)
Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. CMSB (2015)
Mathias John, Hans-Jörg Schulz, Heidrun Schumann, Adelinde M. Uhrmacher, Andrea Unger
Constructing and visualizing chemical reaction networks from pi-calculus models. Formal Aspects Comput. 25 (5) (2013)
Mathias John, Mirabelle Nebut, Joachim Niehren
Knockout Prediction for Reaction Networks with Partial Kinetic Information. VMCAI (2013)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
Biochemical Reaction Rules with Constraints. ESOP (2011)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
The Attributed Pi-Calculus with Priorities. Trans. Comp. Sys. Biology 12 (2010)
Stefan Leye, Mathias John, Adelinde M. Uhrmacher
A flexible architecture for performance experiments with the pi-Calculus and its extensions. SimuTools (2010)
Mathias John, Cédric Lhoussaine, Joachim Niehren
-Calculus. CMSB (2009)
Orianne Mazemondet, Mathias John, Carsten Maus, Adelinde M. Uhrmacher, Arndt Rolfs
Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative pi-Calculus. WSC (2009)
Andreas Schäfer, Mathias John
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. APCCM (2009)
Mathias John, Christian Tominski, Heidrun Schumann
Visual and analytical extensions for the table lens. Visualization and Data Analysis (2008)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
The Attributed Pi Calculus. CMSB (2008)
Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher
Hierarchical Modeling for Computational Biology. SFM (2008)
Mathias John
Die Modellierung von Raum und Struktur in molekularbiologischen Systemen. Modellierung (2008)
Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. FMSB (2008)
Mathias John, Roland Ewald, Adelinde M. Uhrmacher
A Spatial Extension to the pi Calculus. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Hans-Jörg Schulz, Mathias John, Andrea Unger, Heidrun Schumann
Visual Analysis of Bipartite Biological Networks. VCBM (2008)
Andrea Unger, Susanne Biermann, Mathias John, Adelinde M. Uhrmacher, Heidrun Schumann
Visual support for modeling and simulation of cell biological systems. WSC (2007)
Adelinde M. Uhrmacher, Roland Ewald, Mathias John, Carsten Maus, Matthias Jeschke, Susanne Biermann
Combining micro and macro-modeling in DEVS for computational biology. WSC (2007)

Mathias John.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathias John