POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
Theoretical Computer Science
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Declarative definition of group indexed data structures and approximation of their domains
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Rewriting systems and the modelling of biological systems: Conference Reviews
Comparative and Functional Genomics
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A domain specific language for complex natural and artificial systems simulations
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
The modeling and the simulation of the fluid machines of synthetic biology
CMC'11 Proceedings of the 12th international conference on Membrane Computing
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
| Hi-index | 0.01 |
Systems biology aims at integrating processes at various time and spatial scales into a single and coherent formal description to allow computer modeling. In this context, we focus on rule-based modeling and its integration in the domain-specific language MGS . Through the notions of topological collections and transformations, MGS allows the modeling of biological processes at various levels of description. We validate our approach through the description of various models of the genetic switch of the 驴 phage, from a very simple biochemical description of the process to an individual-based model on a Delaunay graph topology. This approach is a first step into providing the requirements for the emerging field of spatial systems biology which integrates spatial properties into systems biology.