Synthesis of biological models from mutation experiments

DOI10.1145/2429069.2429125MaRDI QIDQ2931826zbMATH OpenOpenAlexFDO

Authors Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2429069.2429125

zbMATH Keywords

program synthesisexecutable biologyspecification ambiguity analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cell biology (92C37)

Recommendations

• Synthesis and simulation of ensembles of Boolean networks for cell fate decision
• scientific article; zbMATH DE number 1950545
• Model Checking Gene Regulatory Networks
• Model checking the evolution of gene regulatory networks
• Modular verification of interactive systems with an application to biology

Cited in

(6)

• Synthesis and simulation of ensembles of Boolean networks for cell fate decision
• A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
• Precise parameter synthesis for stochastic biochemical systems
• Modeling delayed dynamics in biological regulatory networks from time series data
• Experimental biological protocols with formal semantics
• scientific article; zbMATH DE number 1950545 (Why is no real title available?)

This page was built for publication: Synthesis of biological models from mutation experiments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931826)