Mathias John

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