2006/01/01 by Henrik Pilegaard, Pilegaard, Henrik, Hanne Riis Nielson +3 · 1 citation
Arts and Humanities · Biochemistry, Genetics and Molecular Biology · Computer Science · #BioAmbients #Computational Drug Discovery Methods #Gene Regulatory Network Analysis #LDL Degradation Pathway #Philosophy and History of Science #Static analysis #Systems Biology
paper · doi:10.4230/dagsemproc.06161.9
openalex publication_date 2006/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static program analysis can be used to compute safe approximations of the behaviour of system models. We use these tools to model and analyse the production of cholesterol in living cells and show that we are able to pinpoint the difference in behaviour between models of healthy systems and models of mutated systems giving rise to known diseases.