@inproceedings(Baoetal2010, author = "Yifei Bao and Adriana B. Compagnoni and Joseph Glavy and Tommy White", year = "2010", title = "Computational Modeling for the Activation Cycle of {G}-proteins by {G}-protein-coupled Receptors", booktitle = "MeCBIC'10", series = "EPTCS", volume = "40", pages = "39--53", doi = "10.4204/EPTCS.40.4", ) @article(BDGT12, author = "Livio Bioglio and Mariangiola Dezani-Ciancaglini and Paola Giannini and Angelo Troina", year = "2012", title = "Typed stochastic semantics for the calculus of looping sequences", journal = "Theoretical Computer Science", volume = "431", pages = "165--180", doi = "10.1016/j.tcs.2011.12.062", ) @inproceedings(Bittig10, author = "Arne T. Bittig and Adelinde M. Uhrmacher", year = "2010", title = "Spatial modeling in cell biology at multiple levels", booktitle = "Winter Simulation Conference", pages = "608--619", ) @article(CardelliGTP09, author = "Luca Cardelli and Emmanuelle Caron and Philippa Gardner and Ozan Kahramano{\u {g}}ullar{\i } and Andrew Phillips", year = "2009", title = "{A process model of Rho GTP-binding proteins}", journal = "Theoretical Computer Science", volume = "410", number = "33", pages = "3166--3185", doi = "10.1016/j.tcs.2009.04.029", ) @inproceedings(BioScape:CS2Bio, author = "Adriana Compagnoni and Vishakha Sharma and Yifei Bao and Philippe Bidinger and Livio Bioglio and Eduardo Bonelli and Matthew Libera and Svetlana Sukhishvili", year = "2012", title = "BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions", booktitle = "CS2Bio'12", series = "ENTCS", note = "To appear", ) @article(CWCTCS, author = "M. Coppo and F. Damiani and M. Drocco and E. Grassi and E. Sciacca and S. Spinella and A. Troina", year = "2012", title = "Simulation {T}echniques for the {C}alculus of {W}rapped {C}ompartments", journal = "Theoretical Computer Science", volume = "431", pages = "75--95", doi = "10.1016/j.tcs.2011.12.063", ) @article(Gillespie_1977, author = "Daniel T. Gillespie", year = "1977", title = "Exact stochastic simulation of coupled chemical reactions", journal = "The Journal of Physical Chemistry", volume = "81", number = "25", pages = "2340--2361", doi = "10.1021/j100540a008", ) @article(spacePi, author = "Mathias John and Roland Ewald and Adelinde M. Uhrmacher", year = "2008", title = "A Spatial Extension to the $\pi $ Calculus", journal = "ENTCS", volume = "194", number = "3", pages = "133--148", doi = "10.1016/j.entcs.2007.12.010", ) @article(ABMS, author = "CM Macal and MJ North", year = "2010", title = "Tutorial on agent-based modelling and simulation", journal = "Journal of Simulation", volume = "4", number = "3", pages = "151--162", doi = "10.1057/jos.2010.3", ) @article(LeNovereEtAl:2001, author = "Nicolas Le Nov\`ere and Thomas Simon Shimuzu", year = "2001", title = "StochSim: modelling of stochastic biomolecular processes", journal = "BioInformatics", volume = "17", number = "6", pages = "575--576", doi = "10.1093/bioinformatics/17.6.575", ) @article(CImmSim, author = "Francesco Pappalardo and Pierluigi Lollini and Filippo Castiglione and Santo Motta", year = "2005", title = "Modeling and simulation of cancer immunoprevention vaccine", journal = "Bioinformatics", volume = "21", number = "12", pages = "2891--2897", doi = "10.1093/bioinformatics/bti426", ) @inproceedings(Phillips07, author = "Andrew Phillips and Luca Cardelli", year = "2007", title = "Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus", booktitle = "CMSB'07", series = "LNCS", volume = "4695", publisher = "Springer", pages = "184--199", doi = "10.1007/978-3-540-75140-3-13", ) @inproceedings(PathSim, author = "Nicholas F. Polys and Doug A. Bowman and Chris North and Reinhard Laubenbacher and Karen Duca", year = "2004", title = "PathSim visualizer: an Information-Rich Virtual Environment framework for systems biology", booktitle = "Web3D'04", publisher = "ACM Press", pages = "7--14", doi = "10.1145/985040.985042", ) @article(Priami01, author = "Corrado Priami and Aviv Regev and Ehud Y. Shapiro and William Silverman", year = "2001", title = "Application of A Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes", journal = "Information Processing Letters", volume = "80", number = "1", pages = "25--31", doi = "10.1016/S0020-0190(01)00214-9", ) @article(ISSO, author = "Nicolas Rapin and Ole Lund and Filippo Castiglione", year = "2011", title = "Immune System Simulation Online", journal = "Bioinformatics", doi = "10.1093/bioinformatics/btr335", ) @inproceedings(lpi, author = "A. Stefanek and M. Vigliotti and J. T. Bradley", year = "2009", title = "Spatial extension of stochastic pi calculus", booktitle = "8th Workshop on Process Algebra and Stochastically Timed Activities", pages = "109--117", ) @article(DCA, author = "David S. Wishart and Robert Yang and David Arndt and Peter Tang and Joseph Cruz", year = "2005", title = "Dynamic cellular automata: an alternative approach to cellular simulation", journal = "In Silico Biology", volume = "5", number = "2", pages = "139--161", )