{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:48:40Z","timestamp":1725515320534},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_30","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"493-502","source":"Crossref","is-referenced-by-count":1,"title":["StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes"],"prefix":"10.1007","author":[{"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[]},{"given":"Flavio","family":"Corradini","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Emanuela","family":"Merelli","sequence":"additional","affiliation":[]},{"given":"Oliviero","family":"Riganelli","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Angeletti, M., Baldoncini, A., Cannata, N., Corradini, F., Culmone, R., Forcato, C., Mattioni, M., Merelli, E., Piergallini, R.: Orion: a spatial multiagent system framework for computational cellular dynamics of metabolic pathways. In: Bioinformatics Italian Society Meeting, BITS 2006 (2007)"},{"key":"30_CR2","unstructured":"Bartocci, E., Corradini, F., Di Berardini, M., Entcheva, E., Grosu, R., Smolka, S.: Spatial Networks of Hybrid I\/O Automata for Modeling Excitable Tissue. In: The proceedings of FBTC 2007, pp. 86\u2013102 (2007)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Corradini, F., Entcheva, E., Grosu, R., Smolka, S.A.: Cellexcite: An efficient simulation environment for excitable cells. BMC Bioinformatics\u00a09 (2007)","DOI":"10.1186\/1471-2105-9-S2-S3"},{"key":"30_CR4","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1113\/jphysiol.1977.sp011853","volume":"268","author":"G. Beeler","year":"1977","unstructured":"Beeler, G., Reuter, H.: Recostruction of the action potential of ventricular mycardial fibres. J Physiol\u00a0268, 177\u2013210 (1977)","journal-title":"J Physiol"},{"key":"30_CR5","volume-title":"Advances in Computers: Highly Dependable Software","author":"A. Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. In: Zelkowitz, M. (ed.) Advances in Computers: Highly Dependable Software, vol.\u00a058, Academic Press, London (2003)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11599128_8","volume":"3737","author":"N. Cannata","year":"2005","unstructured":"Cannata, N., Corradini, F., Merelli, E., Omicini, A., Ricci, A.: An agent-oriented conceptual framework for systems biology. Transactions on Computational Systems Biology III\u00a03737, 105\u2013122 (2005)","journal-title":"Transactions on Computational Systems Biology III"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/11419822_8","volume-title":"Formal Methods for Mobile Computing","author":"F. Corradini","year":"2005","unstructured":"Corradini, F., Merelli, E.: Hermes: Agent-based middleware for mobile computing. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 234\u2013270. Springer, Heidelberg (2005)"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1007\/0-387-25465-X_62","volume-title":"The Data Mining and Knowledge Discovery Handbook","author":"E. Frank","year":"2005","unstructured":"Frank, E., Hall, M.A., Holmes, G., Kirkby, R., Pfahringer, B., Witten, I.H., Trigg, L.: WEKA \u2013 a machine learning workbench for data mining. In: The Data Mining and Knowledge Discovery Handbook, pp. 1305\u20131314. Springer, Heidelberg (2005)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Grosu, R., Bartocci, E., Corradini, F., Entcheva, E., Smolka, S.A., Wasilewska, A.: Learning and detecting emergent behavior in networks of cardiac myocytes. In: Proc.\u00a0of HSCC 2008,\u00a0the 11th International Conference on Hybrid Systems: Computation and Control (2008)","DOI":"10.1007\/978-3-540-78929-1_17"},{"key":"30_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-71493-4_21","volume-title":"Hybrid Systems: Computation and Control","author":"R. Grosu","year":"2007","unstructured":"Grosu, R., Mitra, S., Ye, P., Entcheva, E., Ramakrishnan, I., Smolka, S.: Learning cycle-linear hybrid automata for excitable cells. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 245\u2013258. Springer, Heidelberg (2007)"},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","volume":"117","author":"A.L. Hodgkin","year":"1952","unstructured":"Hodgkin, A.L., Huxley, A.F.: A quantitative description of membrane currents and its application to conduction and excitation in nerve. J Physiol\u00a0117, 500\u2013544 (1952)","journal-title":"J Physiol"},{"key":"30_CR12","unstructured":"Kwon, Y., Agha, G.: Scalable modeling and performance evaluation of wireless sensor networks. In: IEEE Real Time Technology and Applications Symposium, pp. 49\u201358 (2006)"},{"key":"30_CR13","unstructured":"Lu, Y.: Concept hierarchy in data mining: Specification, generation and implementation. Master\u2019s thesis, Simon Fraser University (1997)"},{"issue":"6","key":"30_CR14","doi-asserted-by":"crossref","first-page":"1071","DOI":"10.1161\/01.RES.74.6.1071","volume":"74","author":"C.H. Luo","year":"1994","unstructured":"Luo, C.H., Rudy, Y.: A dynamic model of the cardiac ventricular action potential. i. simulations of ionic currents and concentration changes. Circ. Res.\u00a074(6), 1071\u20131096 (1994)","journal-title":"Circ. Res."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Miyazaki, R., Yoshida, S., Nishita, T., Dobashi, Y.: A method for modeling clouds based on atmospheric fluid dynamics. In: Pacific Conference on Computer Graphics and Applications, pp. 363\u2013373 (2001)","DOI":"10.1109\/PCCGA.2001.962893"},{"issue":"34","key":"30_CR16","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1111\/j.1467-8659.2007.01012.x","volume":"26","author":"J.D. Owens","year":"2007","unstructured":"Owens, J.D.: A survey of general-purpose computation on graphics hardware. Computer Graphics Forum.\u00a026(34), 80\u2013113 (2007)","journal-title":"Computer Graphics Forum."},{"issue":"2","key":"30_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/83.277901","volume":"3","author":"E. Shusterman","year":"1994","unstructured":"Shusterman, E., Feder, M.: Image compression via improved quadtree decomposition algorithms. IEEE Transactions on Image Processing\u00a03(2), 207\u2013215 (1994)","journal-title":"IEEE Transactions on Image Processing"},{"issue":"1-4","key":"30_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-2789(00)00094-4","volume":"143","author":"S.H. Strogatz","year":"2000","unstructured":"Strogatz, S.H.: From kuramoto to crawford: exploring the onset of synchronization in populations of coupled oscillators. Phys. D\u00a0143(1-4), 1\u201320 (2000)","journal-title":"Phys. D"},{"key":"30_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-45351-2_40","volume-title":"Hybrid Systems: Computation and Control","author":"P. Tabuada","year":"2001","unstructured":"Tabuada, P., Pappas, G.J.: Hybrid abstractions that preserve timed languages. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 501\u2013514. Springer, Heidelberg (2001)"},{"key":"30_CR20","doi-asserted-by":"crossref","first-page":"3150","DOI":"10.1109\/IEMBS.2006.260402","volume-title":"Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society","author":"M. True","year":"2006","unstructured":"True, M., Entcheva, E., Smolka, S., Ye, P., Grosu, R.: Efficient event-driven simulation of excitable hybrid automata. In: Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, pp. 3150\u20133153. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"30_CR21","unstructured":"Ye, P., Entcheva, E., Grosu, R., Smolka, S.: Efficient modeling of excitable cells using hybrid automata. In: Proc.\u00a0of CMSB 2005,\u00a0the 3rd Workshop on Computational Methods in Systems Biology, pp. 216\u2013227 (2005)"},{"key":"30_CR22","unstructured":"Ye, P., Entcheva, E., Smolka, S., Grosu, R.: A cycle-linear hybrid-automata model for excitable cells. IET Journal of Systems Biology (SYB) (2007)"},{"key":"30_CR23","doi-asserted-by":"crossref","first-page":"3931","DOI":"10.1109\/IEMBS.2006.259874","volume-title":"Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society","author":"P. Ye","year":"2006","unstructured":"Ye, P., Entcheva, E., True, M.R., Smolka, S.A., Grosu, R.: A cycle-linear approach to modeling action potentials. In: Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, pp. 3931\u20133934. IEEE Press, Los Alamitos (2006)"},{"key":"30_CR24","doi-asserted-by":"crossref","first-page":"4151","DOI":"10.1109\/IEMBS.2006.259294","volume-title":"Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society","author":"P. Ye","year":"2006","unstructured":"Ye, P., Entcheva, E., True, M., Smolka, S., Grosu, R.: Hybrid automata as a unifying framework for modeling cardiac cells. In: Proc.\u00a0of EMBS 2006,\u00a0the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, pp. 4151\u20134154. IEEE Press, Los Alamitos (2006)"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Hu, G., Cerdeira, H.A., Chen, S., Braun, T., Yao, Y.: Partial synchronization and spontaneous spatial ordering in coupled chaotic systems. Physical Review E\u00a063(2) (2001)","DOI":"10.1103\/PhysRevE.63.026211"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T01:47:30Z","timestamp":1557625650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}