{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:49:46Z","timestamp":1769852986680,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319088662","type":"print"},{"value":"9783319088679","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08867-9_23","type":"book-chapter","created":{"date-parts":[[2014,6,28]],"date-time":"2014-06-28T11:37:30Z","timestamp":1403955450000},"page":"343-357","source":"Crossref","is-referenced-by-count":16,"title":["Analyzing and Synthesizing Genomic Logic Functions"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Paoletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boyan","family":"Yordanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef","family":"Hamadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Wintersteiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"LNBI","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-40708-6_13","volume-title":"Computational Methods in Systems Biology","author":"E. Bartocci","year":"2013","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L.: A temporal logic approach to modular design of synthetic biological circuits. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS (LNBI), vol.\u00a08130, pp. 164\u2013177. Springer, Heidelberg (2013)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics\u00a023(18) (2007)","DOI":"10.1093\/bioinformatics\/btm362"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Clochard, M., Solar-Lezama, A.: Bridging Boolean and quantitative synthesis using smoothed proof search. In: POPL. ACM (2014)","DOI":"10.1145\/2535838.2535859"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Koksal, A., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., Piterman, N.: Synthesis of biological models from mutation experimentss. In: SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (2013)","DOI":"10.1145\/2429069.2429125"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-22110-1_46","volume-title":"Computer Aided Verification","author":"H. Kugler","year":"2011","unstructured":"Kugler, H., Plock, C., Roberts, A.: Synthesizing Biological Theories. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 579\u2013584. Springer, Heidelberg (2011)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-71209-1_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Kugler","year":"2007","unstructured":"Kugler, H., Pnueli, A., Stern, M.J., Hubbard, E.J.A.: \u201cDon\u2019t Care\u201d Modeling: A logical framework for developing predictive system models. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 343\u2013357. Springer, Heidelberg (2007)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-00768-2_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Kugler","year":"2009","unstructured":"Kugler, H., Segall, I.: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 77\u201391. Springer, Heidelberg (2009)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Peter, I.S., Davidson, E.H.: A gene regulatory network controlling the embryonic specification of endoderm. Nature\u00a0474(7353) (2011)","DOI":"10.1038\/nature10100"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Peter, I.S., Faure, E., Davidson, E.H.: Predictive computation of genomic logic processing functions in embryonic development. Proc. of the National Academy of Sciences\u00a0109(41) (2012)","DOI":"10.1073\/pnas.1207852109"},{"key":"23_CR11","unstructured":"Rabe, M.N., Wintersteiger, C.M., Kugler, H., Yordanov, B., Hamadi, Y.: Symbolic approximation of the bounded reachability probability in markov chains. In: QEST. LNCS, Springer (to appear, 2014)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R.M., Bod\u00edk, R., Ebcioglu, K.: Programming by sketching for bit-streaming programs. In: PLDI. ACM (2005)","DOI":"10.1145\/1065010.1065045"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: POPL. ACM (2010)","DOI":"10.1145\/1706299.1706337"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: Z34Bio: An SMT-based framework for analyzing biological computation. In: SMT (2013)","DOI":"10.1007\/978-3-642-38088-4_6"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08867-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T05:09:43Z","timestamp":1558933783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08867-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088662","9783319088679"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08867-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}