We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
We propose a statistical method for estimating a gene network based on Bayesian networks from microarray gene expression data together with biological knowledge including protein-...
The Distributed Annotation System (DAS) is a protocol for sharing of biological data which allows for dynamical data integration. It has become widely used in both the genome and p...
Andreas Prlic, Ewan Birney, Tony Cox, Thomas A. Do...