{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:24:17Z","timestamp":1767651857278},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_67","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T19:05:25Z","timestamp":1181415925000},"page":"702-712","source":"Crossref","is-referenced-by-count":3,"title":["Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franjo","family":"Ivan\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harvey","family":"Rubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Schug","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Webb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,18]]},"reference":[{"key":"67_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Embedded Software, First Intern. Workshop","author":"R. Alur","year":"2001","unstructured":"R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivan\u010di\u0107, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling of embedded systems. In Embedded Software, First Intern. Workshop, LNCS 2211. 2001. 703, 704"},{"key":"67_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"Hybrid Systems: Computation and Control, Fifth International Workshop","author":"R. Alur","year":"2002","unstructured":"R. Alur, T. Dang, and F. Ivan\u010di\u0107. Reachability analysis of hybrid systems via predicate abstraction. In Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289, pages 35\u201348. Springer-Verlag, March 2002. 711"},{"issue":"7","key":"67_CR3","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971\u2013984, July 2000. 711","journal-title":"Proceedings of the IEEE"},{"key":"67_CR4","unstructured":"C. Belta, L. Habets, and V. Kumar. Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. CDC 2002, Dec. 2002. 711"},{"key":"67_CR5","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997. 704"},{"key":"67_CR6","doi-asserted-by":"crossref","unstructured":"M. Elowitz and S. Leibler. Asynthetic oscillatory network of transciptional regulators. Nature, 403:335\u2013338, January 2000. 702","DOI":"10.1038\/35002125"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"J. Esposito and V. Kumar. Efficient dynamic simulation of robotic systems with hierarchy. In Intl. Conf. on Robotics and Automation, pages 2818\u20132823, 2001. 710","DOI":"10.1109\/ROBOT.2001.933049"},{"key":"67_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J. Esposito","year":"2001","unstructured":"J. Esposito, V. Kumar, and G. Pappas. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, 2001. 710"},{"key":"67_CR9","doi-asserted-by":"crossref","unstructured":"R. Ghosh and C. J. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In HSCC, Rome, Italy, Mar 28\u201330 2001. 703","DOI":"10.1007\/3-540-45351-2_21"},{"key":"67_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 9th Intl. Conf. on Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In Proc. 9th Intl. Conf. on Computer Aided Verification, LNCS 1254, 1997. 711"},{"key":"67_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987. 704","journal-title":"Science of Computer Programming"},{"issue":"6761 Suppl)","key":"67_CR12","doi-asserted-by":"crossref","first-page":"C47","DOI":"10.1038\/35011540","volume":"402","author":"L.H. Hartwell","year":"1999","unstructured":"L.H. Hartwell, J. J. Hopfield, S. Leibler, and A.W. Murray. From molecular to modular cellbiology. Nature, 402((6761 Suppl)):C47-52, December 1999. 702","journal-title":"Nature"},{"key":"67_CR13","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. 704"},{"key":"67_CR14","unstructured":"B. Lewin. Genes VII. Oxford University Press, 2000. 703"},{"key":"67_CR15","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1093\/bioinformatics\/14.10.869","volume":"10","author":"P. Mendes","year":"1998","unstructured":"P. Mendes and D. B. Kell. Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation. Bioinformatics, 10:869\u2013883, 1998. 702","journal-title":"Bioinformatics"},{"key":"67_CR16","unstructured":"M. Ptashne. A Genetic Switch: Phage \u03bb and Higher Organisms. Cell Press and Blackwell Science, 1992. 703"},{"issue":"5507","key":"67_CR17","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.1126\/science.1058040","volume":"291","author":"J. C. Venter","year":"2001","unstructured":"J. C. Venter et al. The sequence of the human genome. Science, 291(5507): 1304\u201351, 2001. 702","journal-title":"Science"}],"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_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:08:16Z","timestamp":1556496496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36265-7_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003038","9783540362654"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36265-7_67","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}