1. BIOCHAM. Available at
  2. Rajeev Alur, Calin Belta, Vijay Kumar & Max Mintz (2001): Hybrid Modeling and Simulation of Biomolecular Networks. In: Hybrid Systems: Computation and Control, LNCS 2034. Springer, pp. 19–32, doi:10.1007/3-540-45351-2_6.
  3. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2006): A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticæ 72(1–3), pp. 21–35, doi:
  4. Sara Capecchi & Angelo Troina (2010): Types for BioAmbients. In: From Biology To Concurrency and back, EPTCS 19, pp. 103–115, doi:10.4204/EPTCS.19.7.
  5. Luca Cardelli (2005): Brane Calculi. Interactions of Biological Membranes. In: Computational Methods in Systems Biology (CMSB'04), LNCS 3082. Springer, pp. 257–280, doi:
  6. Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages & Vincent Schachter (2004): Modeling and Querying Biomolecular Interaction Networks. Theoretical Computer Science 325, pp. 25–44, doi:10.1016/j.tcs.2004.03.063.
  7. Michele Curti, Pierpaolo Degano, Corrado Priami & Cosima Tatiana Baldari (2004): Modelling Biochemical Pathways through enhanced π-calculus. Theoretical Computer Science 325(1), pp. 111–140, doi:10.1016/j.tcs.2004.03.066.
  8. Vincent Danos, Jér^ome Feret, Walter Fontana, Russ Harmer & Jean Krivine (2009): Rule-Based Modelling and Model Perturbation. Transactions on Computational Systems Biology XI 11, pp. 116–137, doi:10.1007/978-3-642-04186-0_6.
  9. Vincent Danos & Cosimo Laneve (2004): Formal Molecular Biology. Theoretical Computer Science 325, pp. 69–110, doi:10.1016/j.tcs.2004.03.065.
  10. Mariangiola Dezani-Ciancaglini, Paola Giannini & Angelo Troina (2009): A Type System for Required/Excluded Elements in CLS. In: Developments in Computational Models (DCM'09), EPTCS 9, pp. 38–48, doi:10.4204/EPTCS.9.5.
  11. Daniel D\'ıaz-Pernil, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez & Agustin Riscos-Núñez (2008): A P-Lingua Programming Environment for Membrane Computing. In: Workshop on Membrane Computing, pp. 187–203, doi:10.1007/978-3-540-95885-7_14.
  12. François Fages & Sylvain Soliman (2008): Abstract interpretation and types for systems biology. Theoretical Computer Science 403(1), pp. 52–70, doi:10.1016/j.tcs.2008.04.024.
  13. Jochen S. Hub & Bert L. de Groot (2008): Mechanism of selectivity in aquaporins and aquaglyceroporins. In: Proceedings of National Academy of Sciences of the USA 105, pp. 1198––1203, doi:10.1073/pnas.0707662104.
  14. Atsushi Igarashi, Benjamin C. Pierce & Philip Wadler (2001): Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and System 23, pp. 396–450, doi:10.1145/503502.503505.
  15. Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian & Jeremy Gunawardena: little b. Available at
  16. Hiroshi Matsuno, Atsushi Doi, Masao Nagasaki & Satoru Miyano (2000): Hybrid Petri Net Representation of Gene Regulatory Networks. In: Pacific Symposium on Biocomputing (PSB'00). World Scientific Press, pp. 341–352.
  17. Gheorghe Păun (2002): Membrane Computing. An Introduction. Springer.
  18. Michael Pedersen & Gordon D. Plotkin (2010): A Language for Biochemical Systems: Design and Formal Specification. Transactions on Computational Systems Biology 12, pp. 77–145, doi:10.1007/978-3-642-11712-1.
  19. Corrado Priami & Paola Quaglia (2005): Beta Binders for Biological Interactions. In: Computational Methods in Systems Biology (CMSB'04), LNCS 3082, pp. 20–33, doi:10.1007/978-3-540-25974-9_3.
  20. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli & Ehud Shapiro (2004): BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325, pp. 141–167, doi:10.1016/j.tcs.2004.03.061.
  21. Aviv Regev, William Silverman & Ehud Shapiro (2001): Representation and Simulation of Biochemical Processes using the Pi-Calculus Process Algebra. In: Pacific Symposium on Biocomputing (PCB'01) 6, pp. 459–470.

Comments and questions to:
For website issues: