Theoretical Computer Science
Information Processing Letters
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Simulation and verification for computational modelling of signalling pathways
Proceedings of the 38th conference on Winter simulation
Cell Cycle Control in Eukaryotes: A BioSpi model
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Abstract machines of systems biology
Transactions on Computational Systems Biology III
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
The Equivalence between Biology and Computation
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Process algebras in 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
Hi-index | 0.01 |
In this paper we consider a model for different sorting of receptors of Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the different compartments of the cell by the ligand-receptor complex, we use the stochastic version of Bioambients. The stochastic simulation is carried out using BAM (BioAmbient Machine), which is a Java implementation of BioAmbients via Gillespie's Algorithm. Our model and the associated results of the simulation shed light on different mechanisms that influence the spatial distribution of the different components in the pathway.