Mathias John

According to our database, Mathias John authored at least 20 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Predicting changes of reaction networks with partial kinetic information.

Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques

Biosyst., 2016

2015

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information.

Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques

Proceedings of the Computational Methods in Systems Biology, 2015

2013

Constructing and visualizing chemical reaction networks from pi-calculus models.

Mathias John, Hans-Jörg Schulz, Heidrun Schumann, Adelinde M. Uhrmacher, Andrea Unger

Formal Aspects Comput., 2013

Knockout Prediction for Reaction Networks with Partial Kinetic Information.

Mathias John, Mirabelle Nebut, Joachim Niehren

Proceedings of the Verification, 2013

2011

Biochemical Reaction Rules with Constraints.

Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari

Proceedings of the Programming Languages and Systems, 2011

2010

Reaction constraints for the pi-calculus: a language for the stochastic and spatial modeling of cell-biological processes.

Mathias John

PhD thesis, 2010

The Attributed Pi-Calculus with Priorities.

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher

Trans. Comp. Sys. Biology, 2010

A flexible architecture for performance experiments with the pi-Calculus and its extensions.

Stefan Leye, Mathias John, Adelinde M. Uhrmacher

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

2009

Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative pi-Calculus.

Orianne Mazemondet, Mathias John, Carsten Maus, Adelinde M. Uhrmacher, Arndt Rolfs

Proceedings of the 2009 Winter Simulation Conference, 2009

Dynamic Compartments in the Imperative <i>pi</i>-Calculus.

Mathias John, Cédric Lhoussaine, Joachim Niehren

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems.

Andreas Schäfer, Mathias John

Proceedings of the Conceptual Modelling 2009, 2009

2008

Visual and analytical extensions for the table lens.

Mathias John, Christian Tominski, Heidrun Schumann

Proceedings of the Visualization and Data Analysis 2008, 2008

Visual Analysis of Bipartite Biological Networks.

Hans-Jörg Schulz, Mathias John, Andrea Unger, Heidrun Schumann

Proceedings of the Eurographics Workshop on Visual Computing for Biomedicine, 2008

Hierarchical Modeling for Computational Biology.

Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher

Proceedings of the Formal Methods for Computational Systems Biology, 2008

Die Modellierung von Raum und Struktur in molekularbiologischen Systemen.

Mathias John

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.

Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

The Attributed Pi Calculus.

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

A Spatial Extension to the pi Calculus.

Mathias John, Roland Ewald, Adelinde M. Uhrmacher

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Visual support for modeling and simulation of cell biological systems.

Andrea Unger, Susanne Biermann, Mathias John, Adelinde M. Uhrmacher, Heidrun Schumann

Proceedings of the Winter Simulation Conference, 2007

Combining micro and macro-modeling in DEVS for computational biology.

Adelinde M. Uhrmacher, Roland Ewald, Mathias John, Carsten Maus, Matthias Jeschke, Susanne Biermann

Proceedings of the Winter Simulation Conference, 2007