Analyzing and Synthesizing Genomic Logic Functions
暂无分享,去创建一个
[1] Ezio Bartocci,et al. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits , 2013, CMSB.
[2] Swarat Chaudhuri,et al. Bridging boolean and quantitative synthesis using smoothed proof search , 2014, POPL.
[3] Sumit Gulwani,et al. From program verification to program synthesis , 2010, POPL '10.
[4] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[5] Isabelle S. Peter,et al. Predictive computation of genomic logic processing functions in embryonic development , 2012, Proceedings of the National Academy of Sciences.
[6] Calin Belta,et al. Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..
[7] Amir Pnueli,et al. "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models , 2007, TACAS.
[8] Hillel Kugler,et al. Synthesizing Biological Theories , 2011, CAV.
[9] Armando Solar-Lezama,et al. Programming by sketching for bit-streaming programs , 2005, PLDI '05.
[10] Rastislav Bodík,et al. Synthesis of biological models from mutation experiments , 2013, POPL.
[11] Philippe Schnoebelen,et al. Temporal logic with forgettable past , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[12] Ian Stark,et al. The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.
[13] Hillel Kugler,et al. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications , 2009, TACAS.
[14] Hillel Kugler,et al. Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains , 2014, QEST.
[15] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[16] Hillel Kugler,et al. SMT-Based Analysis of Biological Computation , 2013, NASA Formal Methods.
[17] Hillel Kugler,et al. Z34Bio: An SMT-based Framework for Analyzing Biological Computation , 2013 .
[18] Eric H. Davidson,et al. A gene regulatory network controlling the embryonic specification of endoderm , 2011, Nature.