{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:15:34Z","timestamp":1743092134279,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030630607"},{"type":"electronic","value":"9783030630614"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63061-4_14","type":"book-chapter","created":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T20:34:36Z","timestamp":1607546076000},"page":"145-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic Characterisation of Non-coding RNA"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7615-4060","authenticated-orcid":false,"given":"Stefano","family":"Maestri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1321-4134","authenticated-orcid":false,"given":"Emanuela","family":"Merelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,10]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Aceto, L.: Reactive Systems: Modelling. Specification and Verification. Cambridge University Press (2007). https:\/\/doi.org\/10.1017\/CBO9780511814105","DOI":"10.1017\/CBO9780511814105"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-319-25150-9_33","volume-title":"Theoretical Aspects of Computing - ICTAC 2015","author":"JR Andersen","year":"2015","unstructured":"Andersen, J.R., et al.: CAAL: Concurrency Workbench, Aalborg\u00a0edition. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 573\u2013582. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25150-9_33"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s11047-018-9673-2","volume":"17","author":"A Bernini","year":"2018","unstructured":"Bernini, A., Brodo, L., Degano, P., Falaschi, M., Hermith, D.: Process calculi for biological processes. Natural Comput. 17(2), 345\u2013373 (2018). https:\/\/doi.org\/10.1007\/s11047-018-9673-2","journal-title":"Natural Comput."},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Cannata, N., Corradini, F., Merelli, E.: Multiagent modelling and simulation of carbohydrate oxidation in cell. Int. J. Model. Ident. Control 3 (2008). https:\/\/doi.org\/10.1504\/IJMIC.2008.018191","DOI":"10.1504\/IJMIC.2008.018191"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoret. Comput. Sci. 325(1), 69\u2013110 (2004). https:\/\/doi.org\/10.1016\/j.tcs.2004.03.065. Computational Systems Biology","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1038\/nsmb932","volume":"12","author":"J Doudna","year":"2005","unstructured":"Doudna, J., Lorsch, J.: Ribozyme catalysis: not different, just worse. Nat. Struct. Mol. Biol. 12, 395\u2013402 (2005). https:\/\/doi.org\/10.1038\/nsmb932","journal-title":"Nat. Struct. Mol. Biol."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1017\/S0033583510000144","volume":"43","author":"A Ferr\u00e9-D\u2019Amar\u00e9","year":"2010","unstructured":"Ferr\u00e9-D\u2019Amar\u00e9, A.: The glmS ribozyme: use of a small molecule coenzyme by a gene-regulatory RNA. Q. Rev. Biophys. 43, 423\u201347 (2010). https:\/\/doi.org\/10.1017\/S0033583510000144","journal-title":"Q. Rev. Biophys."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1159\/000215946","volume":"52","author":"A Fukushima","year":"2009","unstructured":"Fukushima, A., et al.: Development of a chimeric DNA-RNA hammerhead ribozyme targeting SARS virus. Intervirology 52, 92\u20139 (2009). https:\/\/doi.org\/10.1159\/000215946","journal-title":"Intervirology"},{"issue":"4","key":"14_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"NR Jennings","year":"2001","unstructured":"Jennings, N.R.: An agent-based approach for building complex software systems. Commun. ACM 44(4), 35\u201341 (2001). https:\/\/doi.org\/10.1145\/367211.367250","journal-title":"Commun. ACM"},{"key":"14_CR10","doi-asserted-by":"publisher","unstructured":"Jimenez, R., Polanco, J., Lupt\u00e1k, A.: Chemistry and biology of self-cleaving ribozymes. Trends Biochem. Sci. 40 (2015). https:\/\/doi.org\/10.1016\/j.tibs.2015.09.001","DOI":"10.1016\/j.tibs.2015.09.001"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(90)90038-J","volume":"72","author":"K Larsen","year":"1990","unstructured":"Larsen, K.: Proof systems for satisfiability in Hennessy-Milner logic with recursion. Theoret. Comput. Sci. 72, 265\u2013288 (1990). https:\/\/doi.org\/10.1016\/0304-3975(90)90038-J","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR12","unstructured":"Lucasharr: Ribozyme structure picutres, CC BY-SA 4.0 (2014). https:\/\/commons.wikimedia.org\/wiki\/File:Ribozyme_structure_picutres.png. Accessed 06 June 2020"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1038\/s41598-018-36965-1","volume":"9","author":"S Maestri","year":"2019","unstructured":"Maestri, S., Merelli, E.: Process calculi may reveal the equivalence lying at the heart of RNA and proteins. Sci. Rep. 9(1), 559 (2019). https:\/\/doi.org\/10.1038\/s41598-018-36965-1","journal-title":"Sci. Rep."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.4204\/EPTCS.231.3","volume":"231","author":"A Mamuye","year":"2016","unstructured":"Mamuye, A., Merelli, E., Tesei, L.: A graph grammar for modelling RNA folding. Electron. Proc. Theoret. Comput. Sci. 231, 31\u201341 (2016). https:\/\/doi.org\/10.4204\/EPTCS.231.3","journal-title":"Electron. Proc. Theoret. Comput. Sci."},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Mamuye, A., Rucco, M., Tesei, L., Merelli, E.: Persistent homology analysis of RNA. Mol. Based Math. Biol. 4 (2016). https:\/\/doi.org\/10.1515\/mlbmb-2016-0002","DOI":"10.1515\/mlbmb-2016-0002"},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11047-014-9436-7","volume":"14","author":"E Merelli","year":"2014","unstructured":"Merelli, E., Pettini, M., Rasetti, M.: Topology driven modeling: the IS metaphor. Natural Comput. 14(3), 421\u2013430 (2014). https:\/\/doi.org\/10.1007\/s11047-014-9436-7","journal-title":"Natural Comput."},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-030-31514-6_12","volume-title":"From Reactive Systems to Cyber-Physical Systems","author":"E Merelli","year":"2019","unstructured":"Merelli, E., Wasilewska, A.: Topological interpretation of interactive computation. In: Bartocci, E., Cleaveland, R., Grosu, R., Sokolsky, O. (eds.) From Reactive Systems to Cyber-Physical Systems. LNCS, vol. 11500, pp. 205\u2013224. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31514-6_12"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.3233\/MGS-2007-3206","volume":"3","author":"E Merelli","year":"2007","unstructured":"Merelli, E., Young, M.: Validating mas simulation models with mutation. Multiagent Grid Syst. 3, 225\u2013243 (2007). https:\/\/doi.org\/10.3233\/MGS-2007-3206","journal-title":"Multiagent Grid Syst."},{"key":"14_CR19","doi-asserted-by":"publisher","unstructured":"Pandey, A., Kumar, P., Sanicas, M., Meseko, C., Khanna, M., Kumar, B.: Advancements in nucleic acid based therapeutics against respiratory viral infections. J. Clin. Med. 8, 6 (2018). https:\/\/doi.org\/10.3390\/jcm8010006","DOI":"10.3390\/jcm8010006"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11905455_7","volume":"4230","author":"A Phillips","year":"2006","unstructured":"Phillips, A., Cardelli, L., Castagna, G.: A graphical representation for biological processes in the stochastic pi-calculus. Trans. Comput. Syst. Biol. TCSB 4230, 123\u2013152 (2006). https:\/\/doi.org\/10.1007\/11905455_7","journal-title":"Trans. Comput. Syst. Biol. TCSB"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"107576","DOI":"10.1016\/j.jmgm.2020.107576","volume":"97","author":"M Piangerelli","year":"2020","unstructured":"Piangerelli, M., Maestri, S., Merelli, E.: Visualising 2-simplex formation in metabolic reactions. J. Mol. Graph. Model. 97, 107576 (2020). https:\/\/doi.org\/10.1016\/j.jmgm.2020.107576","journal-title":"J. Mol. Graph. Model."},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Quadrini, M., Tesei, L., Merelli, E.: An algebraic language for RNA pseudoknots comparison. BMC Bioinformatics 20 (2019). https:\/\/doi.org\/10.1186\/s12859-019-2689-5","DOI":"10.1186\/s12859-019-2689-5"},{"key":"14_CR23","doi-asserted-by":"publisher","unstructured":"Rahmani, Z., Mojarrad, M., Moghbeli, M.: Long non-coding RNAs as the critical factors during tumor progressions among Iranian population: an overview. Cell Biosci. 10 (2020). https:\/\/doi.org\/10.1186\/s13578-020-0373-0","DOI":"10.1186\/s13578-020-0373-0"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-981-10-5203-3\\_7","volume":"1008","author":"A Renganathan","year":"2017","unstructured":"Renganathan, A., Felley-Bosco, E.: Long noncoding RNAs in cancer and therapeutic potential. Adv. Exp. Med. Biol. 1008, 199\u2013222 (2017). https:\/\/doi.org\/10.1007\/978-981-10-5203-3_7","journal-title":"Adv. Exp. Med. Biol."},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1038\/nrg2172","volume":"8","author":"A Serganov","year":"2007","unstructured":"Serganov, A., Patel, D.: Ribozymes, riboswitches and beyond: regulation of gene expression without proteins. Nat. Rev. Genet. 8, 776\u2013790 (2007). https:\/\/doi.org\/10.1038\/nrg2172","journal-title":"Nat. Rev. Genet."},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1002\/jmv.1890420411","volume":"42","author":"X Tang","year":"1994","unstructured":"Tang, X., Hobom, G., Luo, D.: Ribozyme mediated destruction of influenza a virus. J. Med. Virol. 42, 385\u201395 (1994). https:\/\/doi.org\/10.1002\/jmv.1890420411","journal-title":"J. Med. Virol."},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"9123","DOI":"10.1021\/bi1012645","volume":"49","author":"J Zhang","year":"2010","unstructured":"Zhang, J., Lau, M., Ferr\u00e9-D\u2019Amar\u00e9, A.: Ribozymes and riboswitches: modulation of RNA function by small molecules. Biochemistry 49, 9123\u201331 (2010). https:\/\/doi.org\/10.1021\/bi1012645","journal-title":"Biochemistry"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence Methods for Bioinformatics and Biostatistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63061-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T23:25:44Z","timestamp":1619306744000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63061-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030630607","9783030630614"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63061-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"CIBB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergamo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cibb2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dinamico2.unibg.it\/cazzaniga\/cibb2019\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"55","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"51% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}