{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:53Z","timestamp":1761611213759,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006053"},{"type":"electronic","value":"9783540364818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36481-1_2","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T17:17:47Z","timestamp":1182014267000},"page":"4-20","source":"Crossref","is-referenced-by-count":45,"title":["Formal Modeling of C. elegans Development: A Scenario-Based Approach"],"prefix":"10.1007","author":[{"given":"Na\u2019aman","family":"Kam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rami","family":"Marelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. Jane Albert","family":"Hubbard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael J.","family":"Stern","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"volume-title":"Computational modeling of genetic and bio-chemical networks","year":"2001","key":"2_CR1","unstructured":"Bower, J. M., Bolouri, H. (eds.): Computational modeling of genetic and bio-chemical networks. The MIT Press, Cambridge, MA (2001)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Wilkins, A. S. (ed.): Modelling complex biological systems: a special issue. BioEssays 24(12) Wiley Periodicals, Inc., Hoboken, NJ (2002)","DOI":"10.1002\/bies.10209"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Kam, N., Cohen, I. R., Harel, D., The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts. To appear in Bull. Math. Bio. An extended abstract of this paper appeared in Proc. Visual Languages and Formal Methods (VLFM01), part of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC01), pp. 15\u201322 (2001)","DOI":"10.1109\/HCC.2001.995228"},{"key":"2_CR4","unstructured":"Efroni, S., Harel, D. and Cohen I. R., Reactive Animation, submitted (2002)"},{"key":"2_CR5","unstructured":"Damm, W. and Harel, D., LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design 19:1 (2001). (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999 ), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293\u2013312.)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D. and Marelly, R Come, Let\u2019s Play: A Scenario-Based Approach to Programming, Springer-Verlag, to appear (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D. and Marelly, R., Specifying and Executing Behavioral Requirements: The Play In\/Play-Out Approach, Software and System Modeling (SoSyM), to appear (2003)","DOI":"10.1007\/s10270-002-0015-5"},{"volume-title":"C. elegans II","year":"1997","key":"2_CR8","unstructured":"Riddle, D. L., Blumenthal, T., Meyer, B. J., Priess, J. R. (eds.): C. elegans II Cold Spring Harbor Laboratory Press Plainview, NY (1997)"},{"key":"2_CR9","first-page":"325","volume":"408","author":"A. G. Fraser","year":"2000","unstructured":"Fraser, A. G., Kamath, R. S., ZipperlenI, P., Martinez-Campos, M., Sohrmann, M., Ahringer, J.: Functional genomic analysis fo C. elegans chromosome I by systematic RNA interference Nature 408 (2000) 325\u2013330","journal-title":"Functional genomic analysis fo C. elegans chromosome I by systematic RNA interference Nature"},{"issue":"24","key":"2_CR10","first-page":"1619","volume":"10","author":"F. Piano","year":"2000","unstructured":"Piano, F., Schetter, A. J., Mangone, M., Stein, L., Kemphues, K. J.: RNAi analysis of genes expressed in the ovary of Caenorhabditis elegans Curr Biol 10(24) 2000 1619\u20131622","journal-title":"RNAi analysis of genes expressed in the ovary of Caenorhabditis elegans Curr Biol"},{"key":"2_CR11","first-page":"331","volume":"408","author":"P. Gonczy","year":"2000","unstructured":"Gonczy, P., Echeverri, C., Oegema, K., Coulson, A., Jones, S. J., Copley, R. R., Duperon, J., Oegema, J., Brehm, M., Cassin, E., Hannak, E., Kirkham, M., Pichler, S., Flohrs, K., Goessen, A., Leidel, S., Alleaume, A. M., Martin, C., Ozlu, N., Bork, P., Hyman, A. A.: Functional genomic analysis of cell division in C. elegans using RNAi of genes on chromosome III Nature 408 (2000) 331\u2013336","journal-title":"Functional genomic analysis of cell division in C. elegans using RNAi of genes on chromosome III Nature"},{"issue":"3","key":"2_CR12","first-page":"171","volume":"11","author":"I. Maeda","year":"2000","unstructured":"Maeda, I., Kohara, Y., Yamamoto, M., Sugimoto, A.: Large-scale analysis of gene function in Caenorhabditis elegans by high-throughput RNAi Curr Biol 11(3) (2000) 171\u2013176","journal-title":"Large-scale analysis of gene function in Caenorhabditis elegans by high-throughput RNAi Curr Biol"},{"key":"2_CR13","first-page":"189","volume":"51","author":"M. Wang","year":"2001","unstructured":"Wang, M., Sternberg, P. W.: Pattern formation during C. elegans vulval induction Curr Top Dev Biol 51 (2001) 189\u2013220","journal-title":"Pattern formation during C. elegans vulval induction Curr Top Dev Biol"},{"key":"2_CR14","first-page":"761","volume":"44","author":"P. W. Sternberg","year":"1986","unstructured":"Sternberg, P. W., Horvitz, H. R.: Pattern formation during vulval development in C. elegans Cell 44 (1986) 761\u2013772","journal-title":"Pattern formation during vulval development in C. elegans Cell"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D. and Marelly, R., Playing with Time: On the Specification and Execution of Time-Enriched LSCs, Proc. 10th IEEE\/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), Fort Worth, Texas (2002)","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Marelly, R., Harel, D. and Kugler, H., Multiple Instances and Symbolic Variables in Executable Sequence Charts, Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2002) 83\u2013100","DOI":"10.1145\/582419.582429"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H., Marelly, R. and Pnueli, A., Smart Play-Out of Behavioral Requirements, Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002) 378\u2013398","DOI":"10.1007\/3-540-36126-X_23"},{"key":"2_CR18","first-page":"551","volume":"335","author":"P. W. Sternberg","year":"1988","unstructured":"Sternberg, P. W.: Lateral inhibition during vulval induction in Caenorhabditis elegans Nature 335 (1988) 551\u2013554","journal-title":"Lateral inhibition during vulval induction in Caenorhabditis elegans Nature"},{"key":"2_CR19","unstructured":"Harel, D., A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal, position paper, UK Workshop on Grand Challenges in Computing Research, Oct. 2002; available at http:\/\/www.wisdom.weizmann.ac.il \/~dharel\/papers\/GrandChallenge.doc"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36481-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:15:27Z","timestamp":1737101727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}