A compositional approach to performance modelling
A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Probabilistic representation of gene regulatory networks
Bioinformatics
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Modelling of Biochemical Reactions by Stochastic Automata Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science (ENTCS)
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Intracellular Fate of FGF Receptors With BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational expressiveness of Genetic Systems
Theoretical Computer Science
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
A Systemic Approach to the Validation of Self---Organizing Dynamics within MAS
Agent-Oriented Software Engineering IX
Evolving stochastic processes using feature tests and genetic programming
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
A process model of Rho GTP-binding proteins
Theoretical Computer Science
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
CoBiC: Context-dependent Bioambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Using genetic programming to synthesize monotonic stochastic processes
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
Equivalences for a biological process algebra
Theoretical Computer Science
Modeling signal transduction using p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Compositional reachability analysis of genetic networks
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
The evolution of higher-level biochemical reaction models
Genetic Programming and Evolvable Machines
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
General patterns of interaction in stochastic fusion
Natural Computing: an international journal
Hi-index | 0.00 |
We propose a compositional approach to the dynamics of gene regu-latory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can be used to build complex circuits in a transparent and efficient way. To demonstrate the power of the approach we apply it to several artificial networks, such as the repressilator and combinatorial gene circuits first studied in Combinatorial Synthesis of Genetic Networks [1]. For two examples of the latter systems, we point out how the topology of the circuits and the interplay of the stochastic gate interactions influence the circuit behavior. Our approach may be useful for the testing of biological mechanisms proposed to explain the experimentally observed circuit dynamics.