{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T17:10:52Z","timestamp":1790788252811,"version":"4.1.0"},"reference-count":39,"publisher":"Public Library of Science (PLoS)","issue":"5","license":[{"start":{"date-parts":[[2007,5,18]],"date-time":"2007-05-18T00:00:00Z","timestamp":1179446400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"DOI":"10.1371\/journal.pcbi.0030092","type":"journal-article","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T07:46:39Z","timestamp":1179215199000},"page":"e92","update-policy":"https:\/\/doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":78,"title":["Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development"],"prefix":"10.1371","volume":"3","author":[{"given":"Jasmin","family":"Fisher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Hajnal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas A","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"340","published-online":{"date-parts":[[2007,5,18]]},"reference":[{"key":"pcbi-0030092-b001","doi-asserted-by":"crossref","unstructured":"FisherJHenzingerTA 2006 Executable biology. In Proceedings of the 39th Winter Simulation Conference. Track on Modeling and Simulation in Computational Biology 3\u20136 December, 2006; Monterey, California, United States. Monterey (California) IEEE Computer Society Press pp. 1675 1682","DOI":"10.1109\/WSC.2006.322942"},{"key":"pcbi-0030092-b002","first-page":"236","article-title":"Combining state-based and scenario-based approaches in modeling biological systems.","volume":"3082","year":"2004","journal-title":"Lecture Notes Comp Sci"},{"key":"pcbi-0030092-b003","doi-asserted-by":"crossref","first-page":"1951","DOI":"10.1073\/pnas.0409433102","article-title":"Computational insights into Caenorhabditis elegans vulval development.","volume":"102","year":"2005","journal-title":"Proc Natl Acad Sci U S A"},{"key":"pcbi-0030092-b004","unstructured":"ClarkeEMGrumbergOPeledD 1999 Model checking Cambridge (Massachusetts) The MIT Press 330 pp."},{"key":"pcbi-0030092-b005","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-36481-1_2","article-title":"Formal modeling of C. elegans development: A scenario-based approach.","volume":"2602","year":"2003","journal-title":"Lecture Notes Comp Sci"},{"key":"pcbi-0030092-b006","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1016\/0092-8674(89)90103-7","article-title":"The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans.","volume":"58","year":"1989","journal-title":"Cell"},{"key":"pcbi-0030092-b007","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/0012-1606(80)90353-X","article-title":"Regulation and cell autonomy during postembryonic development of Caenorhabditis elegans.","volume":"78","year":"1980","journal-title":"Dev Biol"},{"key":"pcbi-0030092-b008","first-page":"7617","article-title":"Pattern formation during vulval development in C. elegans.","volume":"44","year":"1986","journal-title":"Cell"},{"key":"pcbi-0030092-b009","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.1126\/science.1055642","article-title":"Notch inhibition of RAS signaling through MAP kinase phosphatase LIP-1 during C. elegans vulval development.","volume":"291","year":"2001","journal-title":"Science"},{"key":"pcbi-0030092-b010","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1126\/science.1091639","article-title":"Crosstalk between the EGFR and LIN-12\/Notch pathways in C. elegans vulval development.","volume":"303","year":"2004","journal-title":"Science"},{"key":"pcbi-0030092-b011","doi-asserted-by":"crossref","first-page":"1825","DOI":"10.1101\/gad.1330605","article-title":"The love\u2013hate relationship between Ras and Notch.","volume":"19","year":"2005","journal-title":"Genes Dev"},{"key":"pcbi-0030092-b012","doi-asserted-by":"crossref","first-page":"1947","DOI":"10.1242\/dev.126.9.1947","article-title":"Cell cycle-dependent sequencing of cell fate decisions in Caenorhabditis elegans vulva precursor cells.","volume":"126","year":"1999","journal-title":"Development"},{"key":"pcbi-0030092-b013","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S1534-5807(04)00021-8","article-title":"The lateral signal for LIN-12\/Notch in C. elegans vulval development comprises redundant secreted and transmembrane DSL proteins.","volume":"6","year":"2004","journal-title":"Dev Cell"},{"key":"pcbi-0030092-b014","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/0092-8674(83)90377-X","article-title":"The lin-12 locus specifies cell fates in Caenorhabditis elegans.","volume":"34","year":"1983","journal-title":"Cell"},{"key":"pcbi-0030092-b015","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1016\/j.devcel.2006.04.001","article-title":"SynMuv genes redundantly inhibit lin-3\/EGF expression to prevent inappropriate vulval induction in C. elegans.","volume":"10","year":"2006","journal-title":"Dev Cell"},{"key":"pcbi-0030092-b016","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/0012-1606(81)90152-4","article-title":"Alterations in cell lineage following laser ablation of cells in the somatic gonad of Caenorhabditis elegans.","volume":"87","year":"1981","journal-title":"Dev Biol"},{"key":"pcbi-0030092-b017","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1016\/0092-8674(90)90382-O","article-title":"Cell interactions coordinate the development of the C. elegans egg-laying system.","volume":"62","year":"1990","journal-title":"Cell"},{"key":"pcbi-0030092-b018","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1038\/nature01234","article-title":"Endocytosis-mediated downregulation of LIN-12\/Notch upon Ras activation in Caenorhabditis elegans.","volume":"420","year":"2002","journal-title":"Nature"},{"key":"pcbi-0030092-b019","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1126\/science.1094409","article-title":"Developmental biology. A pattern of precision.","volume":"303","year":"2004","journal-title":"Science"},{"key":"pcbi-0030092-b020","first-page":"7","article-title":"Reactive modules.","volume":"15","year":"1996","journal-title":"Formal Methods System Design"},{"key":"pcbi-0030092-b021","first-page":"521","article-title":"Mocha: Modularity in model checking. In Proceedings of the Tenth International Conference on Computer Aided Verification. CAV'98; 28 June to 2 July 1998; Vancouver, Canada.","volume":"142","year":"1998","journal-title":"Lecture Notes Comp Sci"},{"key":"pcbi-0030092-b022","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1038\/335551a0","article-title":"Lateral inhibition during vulval induction in Caenorhabditis elegans.","volume":"335","year":"1988","journal-title":"Nature"},{"key":"pcbi-0030092-b023","doi-asserted-by":"crossref","first-page":"899","DOI":"10.1093\/genetics\/126.4.899","article-title":"The let-60 locus controls the switch between vulval and nonvulval cell fates in Caenorhabditis elegans.","volume":"126","year":"1990","journal-title":"Genetics"},{"key":"pcbi-0030092-b024","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1038\/375142a0","article-title":"Sequential signaling during Caenorhabditis elegans vulval induction.","volume":"375","year":"1995","journal-title":"Nature"},{"key":"pcbi-0030092-b025","first-page":"459","article-title":"Representation and simulation of biochemical processes using the pi-calculus process algebra.","volume":"2001","year":"2001","journal-title":"Pac Symp Biocomput"},{"key":"pcbi-0030092-b026","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","article-title":"Application of a stochastic name-passing calculus to representation and simulation of molecular processes.","volume":"80","year":"2001","journal-title":"Inf Process Lett"},{"key":"pcbi-0030092-b027","doi-asserted-by":"crossref","unstructured":"KamNHarelDCohenIR 2001 The immune system as a reactive system: Modeling T cell activation with statecharts. In Proceedings of the 2001 IEEE Symposia on Human-Centric Computing Languages and Environments. Symposia on Visual Languages and Formal Methods 5\u20137 September 2001; Stresa, Italy. IEEE Computer Society PE00474 15 22","DOI":"10.1109\/HCC.2001.995228"},{"key":"pcbi-0030092-b028","doi-asserted-by":"crossref","first-page":"2485","DOI":"10.1101\/gr.1215303","article-title":"Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T cell maturation.","volume":"13","year":"2003","journal-title":"Genome Res"},{"key":"pcbi-0030092-b029","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1089\/omi.2004.8.370","article-title":"A formal language for computational systems biology.","volume":"8","year":"2004","journal-title":"Omics"},{"key":"pcbi-0030092-b030","article-title":"Emergent dynamics of thymocyte development and lineage determination.","volume":"3","year":"2007","journal-title":"PLoS Comput Biol"},{"key":"pcbi-0030092-b031","doi-asserted-by":"crossref","first-page":"1328","DOI":"10.1101\/gad.333505","article-title":"The C. elegans homolog of the mammalian tumor suppressor Dep-1\/Scc1 inhibits EGFR signaling to regulate binary cell fate decisions.","volume":"19","year":"2005","journal-title":"Genes Dev"},{"key":"pcbi-0030092-b032","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1532\/IJH97.05099","article-title":"Paradigms of notch signaling in mammals.","volume":"82","year":"2005","journal-title":"Int J Hematol"},{"key":"pcbi-0030092-b033","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1038\/43199","article-title":"Robustness in simple biochemical networks.","volume":"387","year":"1997","journal-title":"Nature"},{"key":"pcbi-0030092-b034","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1038\/16483","article-title":"Robustness in bacterial chemotaxis.","volume":"397","year":"1999","journal-title":"Nature"},{"key":"pcbi-0030092-b035","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1038\/35018085","article-title":"The segment polarity network is a robust developmental module.","volume":"406","year":"2000","journal-title":"Nature"},{"issue":"Supplement 1","key":"pcbi-0030092-b036","first-page":"i19","article-title":"Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli.","volume":"21","year":"2005","journal-title":"Bioinformatics"},{"key":"pcbi-0030092-b037","unstructured":"CalderMVyshemirskyVGilbertDOrtonR 2005 Analysis of signaling pathways using the PRISM Model Checker. In: PlotkinG Proceedings of the 3rd International Conference on Computational Methods in Systems Biology CMSB; 2\u20134 April 2005; Edinburgh, Scotland. Edinburgh University of Edinburgh pp. 179 190"},{"key":"pcbi-0030092-b038","doi-asserted-by":"crossref","unstructured":"HeathJKwiatkowskaMNormanGParkerDTymchyshynO 2006 Probabilistic model checking of complex biological pathways. In: PriamiC Proceedings of the 4th International Conference on Computational Methods in Systems Biology CMSB; 18\u201319 October 2006; Trento, Italy. CSMB' 06: 32\u201348.","DOI":"10.1007\/11885191_3"},{"key":"pcbi-0030092-b039","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/genetics\/77.1.71","article-title":"The genetics of Caenorhabditis elegans.","volume":"77","year":"1974","journal-title":"Genetics"}],"container-title":["PLoS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.0030092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T03:31:55Z","timestamp":1736998315000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.0030092"}},"subtitle":[],"editor":[{"given":"Satoru","family":"Miyano","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2007,5,18]]},"references-count":39,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2007,5,18]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.0030092","relation":{"has-review":[{"id-type":"doi","id":"10.3410\/f.1084920.537864","asserted-by":"object"}]},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,18]]}}}