BIOCHAM. Available at http://contraintes.inria.fr/BIOCHAM/.
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.
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:10.1.1.77.4707.
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.
Luca Cardelli (2005):
Brane Calculi. Interactions of Biological Membranes.
In: Computational Methods in Systems Biology (CMSB'04),
LNCS 3082.
Springer,
pp. 257–280,
doi:10.1.1.105.8399.
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.
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.
Vincent Danos & Cosimo Laneve (2004):
Formal Molecular Biology.
Theoretical Computer Science 325,
pp. 69–110,
doi:10.1016/j.tcs.2004.03.065.
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.
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.
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.
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.
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.
Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian & Jeremy Gunawardena:
little b.
Available at http://www.littleb.org.
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.
Gheorghe Păun (2002):
Membrane Computing. An Introduction.
Springer.
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.
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.
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.
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.