{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:46:25Z","timestamp":1725749185467},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407079"},{"type":"electronic","value":"9783642407086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_8","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:37:00Z","timestamp":1379497020000},"page":"92-105","source":"Crossref","is-referenced-by-count":2,"title":["Using Probabilistic Strategies to Formalize and Compare \u03b1-Synuclein Aggregation and Propagation under Different Scenarios"],"prefix":"10.1007","author":[{"given":"Lucian","family":"Bentea","sequence":"first","affiliation":[]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[]},{"given":"Eduard","family":"Bentea","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Bai, Y., Sznajder, N., Talcott, C.L., Tiwari, A.: Quantitative and probabilistic modeling in Pathway Logic. In: BIBE, pp. 922\u2013929. IEEE (2007)","DOI":"10.1109\/BIBE.2007.4375669"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. ENTCS\u00a0153(2) (2006)","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jtbi.2011.08.038","volume":"290","author":"T.J. Anastasio","year":"2011","unstructured":"Anastasio, T.J.: Data-driven modeling of Alzheimer disease pathogenesis. Journal of Theoretical Biology\u00a0290, 60\u201372 (2011)","journal-title":"Journal of Theoretical Biology"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-37635-1_5","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Bentea","year":"2013","unstructured":"Bentea, L., \u00d6lveczky, P.C.: A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 77\u201394. Springer, Heidelberg (2013)"},{"key":"8_CR5","unstructured":"Bentea, L., \u00d6lveczky, P.C., Bentea, E.: Formalization and simulation of \u03b1-synuclein aggregation and propagation under different pathobiological conditions in PSMaude, http:\/\/folk.uio.no\/lucianb\/publications\/asyn.pdf (manuscript)"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.bbadis.2011.10.002","volume":"1822","author":"L. Breydo","year":"2012","unstructured":"Breydo, L., Wu, J.W., Uversky, V.N.: \u03b1-Synuclein misfolding and Parkinson\u2019s disease. Biochimica et Biophysica Acta - Molecular Basis of Disease\u00a01822(2), 261\u2013285 (2012)","journal-title":"Biochimica et Biophysica Acta - Molecular Basis of Disease"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1002\/ana.22588","volume":"71","author":"A.S. Buchman","year":"2012","unstructured":"Buchman, A.S., et al.: Nigral pathology and parkinsonian signs in elders without Parkinson disease. Annals of Neurology\u00a071(2), 258\u2013266 (2012)","journal-title":"Annals of Neurology"},{"issue":"33-34","key":"8_CR8","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1038\/nrn3039","volume":"12","author":"T.J. Collier","year":"2011","unstructured":"Collier, T.J., Kanaan, N.M., Kordower, J.H.: Ageing as a primary risk factor for Parkinson\u2019s disease: evidence from studies of non-human primates. Nature Reviews Neuroscience\u00a012(6), 359\u2013366 (2011)","journal-title":"Nature Reviews Neuroscience"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Crews, L., et al.: Selective molecular alterations in the autophagy pathway in patients with Lewy body disease and in models of \u03b1-synucleinopathy. PLoS ONE\u00a05(2) (2010)","DOI":"10.1371\/journal.pone.0009313"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1172\/JCI43366","volume":"121","author":"C. Hansen","year":"2011","unstructured":"Hansen, C., et al.: \u03b1-synuclein propagates from mouse brain to grafted dopaminergic neurons and seeds aggregation in cultured human cells. The Journal of Clinical Investigation\u00a0121(2), 715\u2013725 (2011)","journal-title":"The Journal of Clinical Investigation"},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1142\/S0129054111008441","volume":"22","author":"T.A. Henzinger","year":"2011","unstructured":"Henzinger, T.A., Jobstmann, B., Wolf, V.: Formalisms for specifying Markovian population models. Int. J. Found. Comput. Sci.\u00a022(4), 823\u2013841 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0022-2836(02)00775-1","volume":"322","author":"W. Hoyer","year":"2002","unstructured":"Hoyer, W., Antony, T., Cherny, D., Heim, G., Jovin, T.M., Subramaniam, V.: Dependence of \u03b1-synuclein aggregate morphology on solution conditions. Journal of Molecular Biology\u00a0322(2), 383\u2013393 (2002)","journal-title":"Journal of Molecular Biology"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1186\/1471-2202-12-79","volume":"12","author":"T. Kaul","year":"2011","unstructured":"Kaul, T., et al.: Region-specific tauopathy and synucleinopathy in brain of the alpha-synuclein overexpressing mouse model of Parkinson\u2019s disease. BMC Neuroscience\u00a012(1), 79 (2011)","journal-title":"BMC Neuroscience"},{"issue":"5959","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1533","DOI":"10.1126\/science.1178250","volume":"326","author":"T.P.J. Knowles","year":"2009","unstructured":"Knowles, T.P.J., et al.: An analytical solution to the kinetics of breakable filament assembly. Science\u00a0326(5959), 1533\u20131537 (2009)","journal-title":"Science"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1177\/2160763X12438746","volume":"1","author":"J.M. Korth-Bradley","year":"2012","unstructured":"Korth-Bradley, J.M., et al.: Comparative sirolimus pharmacokinetics after single-dose administration of two prototype 0.5-mg tablets in healthy volunteers. Clinical Pharmacology in Drug Development\u00a01(2), 52\u201356 (2012)","journal-title":"Clinical Pharmacology in Drug Development"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Lecca, P.: Stochastic pi-calculus models of the molecular bases of Parkinson\u2019s disease. In: BIOCOMP 2008, pp. 298\u2013304. CSREA Press (2008)","DOI":"10.1016\/B978-0-323-03280-3.50042-9"},{"issue":"1-2","key":"8_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.nbd.2008.06.003","volume":"32","author":"T. Pan","year":"2008","unstructured":"Pan, T., et al.: Neuroprotection of rapamycin in lactacystin-induced neurodegeneration via autophagy enhancement. Neurobiology of Disease\u00a032(1), 16\u201325 (2008)","journal-title":"Neurobiology of Disease"},{"issue":"6645","key":"8_CR21","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1038\/42166","volume":"388","author":"M.G. Spillantini","year":"1997","unstructured":"Spillantini, M.G., Schmidt, M.L., Lee, V.M.Y., Trojanowski, J.Q., Jakes, R., Goedert, M.: \u03b1-synuclein in Lewy bodies. Nature\u00a0388(6645), 839\u2013840 (1997)","journal-title":"Nature"},{"issue":"6","key":"8_CR22","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1289\/ehp.1002839","volume":"119","author":"C.M. Tanner","year":"2011","unstructured":"Tanner, C.M., et al.: Rotenone, paraquat, and Parkinson\u2019s disease. Environmental Health Perspectives\u00a0119(6), 866\u2013872 (2011)","journal-title":"Environmental Health Perspectives"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40708-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T22:59:25Z","timestamp":1715986765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}