{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T19:56:44Z","timestamp":1790884604264,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540260325","type":"print"},{"value":"9783540321118","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11428831_102","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:14:05Z","timestamp":1279080845000},"page":"820-827","source":"Crossref","is-referenced-by-count":7,"title":["Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Spicher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Michel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"102_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-44881-0_16","volume-title":"Rewriting Techniques and Applications","author":"J.L. Giavitto","year":"2003","unstructured":"Giavitto, J.L.: Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 208\u2013233. Springer, Heidelberg (2003)"},{"key":"102_CR2","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1242\/jcs.115.2.367","volume":"115","author":"D. Bottino","year":"2002","unstructured":"Bottino, D., Mogilner, A., Roberts, T., Stewart, M., Oster, G.: How nematode sperm crawl. Journal of Cell Science\u00a0115, 367\u2013384 (2002)","journal-title":"Journal of Cell Science"},{"key":"102_CR3","series-title":"Handbook of Theoretical Computer Science","first-page":"244","volume-title":"Rewrite systems","author":"N. Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud, J.P.: Rewrite systems. Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 244\u2013320. Elsevier Science, Amsterdam (1990)"},{"key":"102_CR4","unstructured":"Giavitto, J.L., Godin, C., Michel, O., Prusinkiewicz, P.: Computational Models for Integrative and Developmental Biology. In: Modelling and Simulation of biological processes in the context of genomics, Hermes (2002)"},{"key":"102_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/FUN-2002-491-310","volume":"49","author":"J.L. Giavitto","year":"2002","unstructured":"Giavitto, J.L., Michel, O.: The topological structures of membrane computing. Fundamenta Informaticae\u00a049, 107\u2013129 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"102_CR6","unstructured":"Bottino, D.: Ascaris suum sperm model documentation (2000)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11428831_102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:07:23Z","timestamp":1740262043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11428831_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260325","9783540321118"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11428831_102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}