Formal molecular biology

By Vincent Danos, Cosimo Laneve. Theoretical Computer Science, 2004

539 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Bio-PEPA: A framework for the modelling and analysis of biological systems (2009, background): “Another language for the modelling of biological systems is the κ-calculus [27,28], based on the description of protein interactions.”
Rule-based modeling of biochemical systems with BioNetGen. (2009, background): “The limitations of conventional approaches to model specification noted above have prompted the development of formal languages specially designed for representing proteins and protein-protein interactions, the κ-calculus being an early and notable example ( 24 ).”
Rule-Based Modelling of Cellular Signalling (2007, unknown): “We shall use the language κ [2,3], as a direct and transparent formalisation of molecular agents and their interactions in signalling networks.”
A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. (2006, background): “One proposal is κ -calculus ( 120 ).”