@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",
 url          = "http://dx.doi.org/10.4204/EPTCS.40.4",
)
@article(DBLP:journals/cuza/BartocciCBMT10,
 author       = "Ezio Bartocci and Flavio Corradini and Maria Rita Di Berardini and Emanuela Merelli and Luca Tesei",
 year         = "2010",
 title        = "Shape Calculus. A Spatial Mobile Calculus for 3D Shapes",
 journal      = "Sci. Ann. Comp. Sci.",
 volume       = "20",
 pages        = "1--31",
 url          = "http://www.info.uaic.ro/bin/Annals/Article?v=XX&a=0",
)
@article(BernardoG98,
 author       = "Marco Bernardo and Roberto Gorrieri",
 year         = "1998",
 title        = "A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time",
 journal      = "Theor. Comput. Sci.",
 volume       = "202",
 number       = "1–2",
 pages        = "1--54",
 url          = "http://dx.doi.org/10.1016/S0304-3975(97)00127-8",
)
@article(BioShape,
 author       = "F. Buti and D. Cacciagrano and F. Corradini and E. Merelli and L. Tesei",
 year         = "2010",
 title        = "BioShape: a spatial shape-based scale-independent simulation environment for biological systems",
 journal      = "Procedia Computer Science",
 volume       = "1",
 number       = "1",
 pages        = "827--835",
 url          = "http://dx.doi.org/10.1016/j.procs.2010.04.090",
)
@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      = "Theor. Comput. Sci.",
 volume       = "410",
 number       = "33",
 pages        = "3166--3185",
 url          = "http://dx.doi.org/10.1016/j.tcs.2009.04.029",
)
@article(CardelliActin09,
 author       = "Luca Cardelli and Emmanuelle Caron and Philippa Gardner and Ozan Kahramanogullari and Andrew Phillips",
 year         = "2009",
 title        = "A Process Model of Actin Polymerisation",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "229",
 number       = "1",
 pages        = "127--144",
 url          = "http://dx.doi.org/10.1016/j.entcs.2009.02.009",
)
@article(DBLP:journals/tcs/CardelliG12,
 author       = "Luca Cardelli and Philippa Gardner",
 year         = "2012",
 title        = "Processes in Space",
 journal      = "Theor. Comput. Sci.",
 volume       = "431",
 pages        = "40--55",
 url          = "http://dx.doi.org/10.1016/j.tcs.2011.12.051",
)
@article(Biopepa09,
 author       = "Federica Ciocchetta and Jane Hillston",
 year         = "2009",
 title        = "{Bio-PEPA: A framework for the modelling and analysis of biological systems}",
 journal      = "Theor. Comput. Sci.",
 volume       = "410",
 number       = "33-34",
 pages        = "3065--3084",
 url          = "http://dx.doi.org/10.1016/j.tcs.2009.02.037",
)
@inproceedings(PBioScape:Mecbic,
 author       = "Adriana B. Compagnoni and Mariangiola Dezani-Ciancaglini and Paola Giannini and Karin Sauer and Vishakha Sharma and Angelo Troina",
 year         = "2012",
 title        = "Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions",
 booktitle    = "MeCBIC",
 pages        = "101--106",
 url          = "http://dx.doi.org/10.4204/EPTCS.100.7",
)
@article(BioScape:ENTCS,
 author       = "Adriana B. Compagnoni and Vishakha Sharma and Yifei Bao and Matthew Libera and Svetlana Sukhishvili and Philippe Bidinger and Livio Bioglio and Eduardo Bonelli",
 year         = "2013",
 title        = "BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "293",
 pages        = "35--49",
 url          = "http://dx.doi.org/10.1016/j.entcs.2013.02.017",
)
@inproceedings(Hillston05,
 author       = "Jane Hillston",
 year         = "2005",
 title        = "Process algebras for quantitative analysis",
 booktitle    = "Logic in Computer Science, 2005. Proceedings. 20th Annual IEEE Symposium on",
 publisher    = "IEEE Computer Society",
 pages        = "239--248",
 url          = "http://dx.doi.org/10.1109/LICS.2005.35",
)
@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",
 url          = "http://dx.doi.org/10.1016/j.entcs.2007.12.010",
)
@article(CAD,
 author       = "Damien Lacroix and Josep A Planell and Patrick J Prendergast",
 year         = "2009",
 title        = "Computer-aided design and finite-element modelling of biomaterial scaffolds for bone tisse engineering",
 journal      = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
 volume       = "367",
 number       = "1895",
 pages        = "1993--2009",
 url          = "http://dx.doi.org/10.1098/rsta.2009.0024",
)
@inproceedings(BiAM,
 author       = "Vinod Mugathan and Andrew Phillips and Maria Vigliotti",
 year         = "2008",
 title        = "BAM: BioAmbient Machine",
 booktitle    = "Application of Concurrency to System Design",
 publisher    = "IEEE Computer Society",
 pages        = "45--49",
 url          = "http://dx.doi.org/10.1109/ACSD.2008.4574594",
)
@inproceedings(Phillips07,
 author       = "Andrew Phillips and Luca Cardelli",
 year         = "2007",
 title        = "Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus",
 booktitle    = "Computational Methods in Systems Biology",
 series       = "Lecture Notes in Computer Science",
 volume       = "4695",
 pages        = "184--199",
 url          = "http://dx.doi.org/10.1007/978-3-540-75140-3_13",
)
@article(Priami95,
 author       = "Corrado Priami",
 year         = "1995",
 title        = "Stochastic pi-Calculus",
 journal      = "Comput. J.",
 volume       = "38",
 number       = "7",
 pages        = "578--589",
 url          = "http://dx.doi.org/10.1093/comjnl/38.7.578",
)
@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",
 url          = "http://dx.doi.org/10.1016/S0020-0190(01)00214-9",
)
@inproceedings(Sharma2013,
 author       = "Vishakha Sharma and Adriana Compagnoni and Matthew Libera and Agnieszka K. Muszanska and Henk J. Busscher and Henny C. van der Mei",
 year         = "2013",
 title        = "Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating Using BioScape",
 booktitle    = "Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics",
 series       = "BCB'13",
 publisher    = "ACM",
 pages        = "613--613",
 url          = "http://dx.doi.org/10.1145/2506583.2506646",
)
@inproceedings(DBLP:conf/scsc/SharmaC13,
 author       = "Vishakha Sharma and Adriana B. Compagnoni",
 year         = "2013",
 title        = "{Computational and mathematical models of the JAK-STAT signal transduction pathway}",
 editor       = "Agostino G. Bruzzone and Peter Kropf and Linda Ann Riley and Maryam Davoudpour and Adriano O. Solis",
 booktitle    = "SummerSim",
 publisher    = "Society for Computer Simulation International / ACM DL",
 pages        = "15",
 url          = "http://dl.acm.org/citation.cfm?id=2557714",
)
@article(MARC:MARC200300193,
 author       = "Jack R. Smith and Agnieszka Seyda and Norbert Weber and Doyle Knight and Sascha Abramson and Joachim Kohn",
 year         = "2004",
 title        = "Integration of Combinatorial Synthesis, Rapid Screening, and Computational Modeling in Biomaterials Development",
 journal      = "Macromolecular Rapid Communications",
 volume       = "25",
 number       = "1",
 pages        = "127--140",
 url          = "http://dx.doi.org/10.1002/marc.200300193",
)
@article(Zygourakis1996,
 author       = "Kyriacos Zygourakis and Pauline A. Markenscoff",
 year         = "1996",
 title        = "Computer-aided design of bioerodible devices with optimal release characteristics: a cellular automata approach",
 journal      = "Biomaterials",
 volume       = "17",
 number       = "2",
 pages        = "125--135",
 url          = "http://dx.doi.org/10.1016/0142-9612(96)85757-7",
)