{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:34:44Z","timestamp":1725485684835},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003038"},{"type":"electronic","value":"9783540362654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36265-7_69","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T15:05:25Z","timestamp":1181401525000},"page":"715-724","source":"Crossref","is-referenced-by-count":7,"title":["Reachability Analysis of Delta-Notch Lateral Inhibition Using Predicate Abstraction"],"prefix":"10.1007","author":[{"given":"Inseok","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamsa","family":"Balakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronojoy","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,18]]},"reference":[{"key":"69_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"5th International Workshop, Hybrid Systems: Computation and Control","author":"R. Alur","year":"2002","unstructured":"R. Alur, T. Dang, and F. Ivan\u010di\u0107. Reachability analysis of hybrid sytems via predicate abstraction. In C. Tomlin and M. Greenstreet, eds., 5th International Workshop, Hybrid Systems: Computation and Control, volume LNCS 2289, pages 35\u201348, Stanford, CA, USA, 2002. Springer. 715"},{"key":"69_CR2","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1126\/science.284.5415.770","volume":"284","author":"Artavanis-Tsakonas Spyros","year":"1999","unstructured":"Spyros Artavanis-Tsakonas, Matthew D. Rand, and Robert J. Lake. Notch signaling: cell fate control and signal integration in development. Science, 284:770\u2013776, April 1999. 716","journal-title":"Science"},{"key":"69_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_16","volume-title":"Computer Aided Verification, 11th international Conference","author":"S. Das","year":"1999","unstructured":"S. Das, D. Dill, and S. Park. Experience with predicate abstraction. In Computer Aided Verification, 11th international Conference, volume LNCS 1633, 1999. 715"},{"key":"69_CR4","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1038\/17389","volume":"397","author":"Manolis Fanto and Marek Mlodzik","year":"1999","unstructured":"Manolis Fanto and Marek Mlodzik. Asymmetric notch activation specifies photoreceptors R3 and R4 and planar polarity in the Drosophila eye. Nature, 397:523\u2013526, February 1999. 716","journal-title":"Nature"},{"key":"69_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"4th International Workshop, Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2001","unstructured":"R. Ghosh and C. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In 4th International Workshop, Hybrid Systems: Computation and Control, volume LNCS 2034, pages 232\u2013246, Rome, Italy, 2001. 715, 718, 721, 722, 723"},{"key":"69_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Computer Aided Verification, 9th International Conference","author":"S. Graf","year":"1997","unstructured":"S. Graf and H. Saidi. Construction of abstract state graphs with pvs. In Computer Aided Verification, 9th International Conference, volume LNCS 1254, 1997. 715"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"H. Hong. An improvement of the projection operator in cylindrical algebraic decomposition. In Proceedings of ISAAC 90, pages 261\u2013264, 1990. 719","DOI":"10.1145\/96877.96943"},{"issue":"3","key":"69_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"G. Lafferriere, G.J. Pappas, and S. Yovine. Symbolic reachability computation for families of linear vector fields. Journal of Symbolic Computation, 32(3):231\u2013253, September 2001. 715","journal-title":"Journal of Symbolic Computation"},{"key":"69_CR9","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1006\/scdb.1998.0266","volume":"9","author":"J. Lewis","year":"1998","unstructured":"Julian Lewis. Notch signalling and the control of cell fate choices in vertebrates. Seminars in Cell & Developmental Biology, 9:583\u2013589, 1998. 716","journal-title":"Seminars in Cell & Developmental Biology"},{"key":"69_CR10","unstructured":"G. Marnellos, G. A. Deblandre, E. Mjolsness, and C. Kintner. Delta-notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: experimental observations and a gene network model. In Pacific Symposium on Biocomputing, pages 5:326\u2013337, 2000. 716"},{"key":"69_CR11","unstructured":"O. Sokolsky and H. Hong. Qualitative modeling of hybrid systems. In Proceedings of the Monterey Workshop, June 2001. 715"},{"key":"69_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"5th International Workshop, Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2002","unstructured":"A. Tiwari and G. Khanna. Series of abstractions for hybrid automata. In C. Tomlin and M. Greenstreet, eds., 5th International Workshop, Hybrid Systems: Computation and Control, volume LNCS 2289, pages 465\u2013478, Stanford, CA, USA, 2002. 715, 718, 720"},{"key":"69_CR13","unstructured":"A. Tiwari and P. Lincoln. Automated techniques for stability analysis of delta notch lateral inhibition mechanism. 2002. 715"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing \u2014 HiPC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36265-7_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T03:12:48Z","timestamp":1550373168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36265-7_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003038","9783540362654"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36265-7_69","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}