{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:20:01Z","timestamp":1742944801302,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":41,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811534140"},{"type":"electronic","value":"9789811534157"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-981-15-3415-7_10","type":"book-chapter","created":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T19:02:58Z","timestamp":1585767778000},"page":"115-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing"],"prefix":"10.1007","author":[{"given":"Ying-Jie","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Fei","family":"Nan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shao-Huan","family":"Ban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing-Lei","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,2]]},"reference":[{"issue":"6","key":"10_CR1","first-page":"881","volume":"30","author":"J Xu","year":"2007","unstructured":"Xu, J., Tan, G., Fan, Y., Guo, Y.: DNA computer principle, advances and difficulties (IV): on the models of DNA computer. Chin. J. Comput. 30(6), 881\u2013893 (2007). (In Chinese)","journal-title":"Chin. J. Comput."},{"issue":"5187","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L Adleman","year":"1994","unstructured":"Adleman, L.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021\u20131023 (1994)","journal-title":"Science"},{"issue":"5210","key":"10_CR3","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R Lipton","year":"1995","unstructured":"Lipton, R.: DNA solution of hard computational problems. Science 268(5210), 542\u2013545 (1995)","journal-title":"Science"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1089\/cmb.1998.5.615","volume":"5","author":"S Roweis","year":"1998","unstructured":"Roweis, S., et al.: A sticker-based model for DNA computation. J. Comput. Biol. 5(4), 615\u2013629 (1998)","journal-title":"J. Comput. Biol."},{"issue":"5337","key":"10_CR5","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1126\/science.278.5337.446","volume":"278","author":"Q Ouyang","year":"1997","unstructured":"Ouyang, Q., Peter, D., Liu, S., Libchaber, A.: DNA solution of the maximal clique problem. Science 278(5337), 446\u2013449 (1997)","journal-title":"Science"},{"issue":"1","key":"10_CR6","first-page":"78","volume":"12","author":"L Pan","year":"2003","unstructured":"Pan, L., Xu, J., Liu, Y.: A surface-based DNA algorithm for the minimal vertex cover problem. Prog. Nat. Sci. 12(1), 78\u201380 (2003)","journal-title":"Prog. Nat. Sci."},{"issue":"11","key":"10_CR7","first-page":"1947","volume":"30","author":"K Li","year":"2007","unstructured":"Li, K., Yao, F., Xu, J., Li, R.: An O(1.414n) volume molecular solutions for the subset-sum problem on DNA-based supercomputing. Chin. J. Comput. 30(11), 1947\u20131953 (2007). (in Chinese)","journal-title":"Chin. J. Comput."},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TNB.2011.2160996","volume":"10","author":"J Xu","year":"2011","unstructured":"Xu, J., Qiang, X., Yang, Y., Wang, B.: An unenumerative DNA computing model for vertex coloring problem. IEEE Trans. Nanobiosci. 10(2), 94\u201398 (2011)","journal-title":"IEEE Trans. Nanobiosci."},{"issue":"5469","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1126\/science.288.5469.1223","volume":"288","author":"K Sakamoto","year":"2000","unstructured":"Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., Hagiya, M.: Molecular computation by DNA hairpin formation. Science 288(5469), 1223\u20131226 (2000)","journal-title":"Science"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.eng.2018.02.011","volume":"4","author":"J Xu","year":"2018","unstructured":"Xu, J., Qiang, X., Zhang, K., Zhang, C., Yang, J.: A DNA computing model for the graph vertex coloring problem based on a probe graph. Engineering 4(1), 61\u201377 (2018)","journal-title":"Engineering"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1166\/nnl.2018.2616","volume":"10","author":"J Yang","year":"2018","unstructured":"Yang, J., Yin, Z., Huang, K., Cui, J.: The maximum matching problem based on self-assembly model of molecular beacon. Nanosci. Nanotechnol. Lett. 10, 213\u2013218 (2018)","journal-title":"Nanosci. Nanotechnol. Lett."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11493785_37","volume-title":"DNA Computing","author":"P Yin","year":"2005","unstructured":"Yin, P., Turberfield, A.J., Sahu, S., Reif, J.H.: Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol. 3384, pp. 426\u2013444. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11493785_37"},{"issue":"6693","key":"10_CR13","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1038\/28998","volume":"394","author":"E Winfree","year":"1998","unstructured":"Winfree, E., Liu, F., Wenzler, L., Seeman, N.: Design and self-assembly of two-dimensional DNA crystals. Nature 394(6693), 539\u2013544 (1998)","journal-title":"Nature"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1504\/IJBRA.2009.022465","volume":"5","author":"I Mart\u00ednez-P\u00e9rez","year":"2009","unstructured":"Mart\u00ednez-P\u00e9rez, I., Zimmermann, K., Ignatova, Z.: An autonomous DNA model for finite state automata. Int. J. Bioinform. Res. Appl. 5(1), 81\u201396 (2009)","journal-title":"Int. J. Bioinform. Res. Appl."},{"issue":"7","key":"10_CR15","doi-asserted-by":"publisher","first-page":"1405","DOI":"10.1109\/TNNLS.2016.2555845","volume":"27","author":"J Xu","year":"2016","unstructured":"Xu, J.: Probe machine. IEEE Trans. Neural Netw. Learn. Syst. 27(7), 1405\u20131416 (2016)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"31","key":"10_CR16","doi-asserted-by":"publisher","first-page":"14785","DOI":"10.1039\/C6NR02695H","volume":"8","author":"X Shi","year":"2016","unstructured":"Shi, X., Wu, X., Song, T., Li, X.: Construction of DNA nanotubes with controllable diameters and patterns by using hierarchical DNA sub-tiles. Nanoscale 8(31), 14785\u201314792 (2016)","journal-title":"Nanoscale"},{"issue":"46","key":"10_CR17","doi-asserted-by":"publisher","first-page":"18223","DOI":"10.1039\/C7NR06484E","volume":"9","author":"L Pan","year":"2017","unstructured":"Pan, L., Wang, Z., Li, Y., Zhang, C.: Nicking enzyme-controlled toehold regulation for DNA logic circuits. Nanoscale 9(46), 18223\u201318228 (2017)","journal-title":"Nanoscale"},{"issue":"16","key":"10_CR18","doi-asserted-by":"publisher","first-page":"8532","DOI":"10.1093\/nar\/gky663","volume":"46","author":"J Yang","year":"2018","unstructured":"Yang, J., et al.: Entropy-driven DNA logic circuits regulated by DNAzyme. Nucleic Acids Res. 46(16), 8532\u20138541 (2018)","journal-title":"Nucleic Acids Res."},{"issue":"49","key":"10_CR19","doi-asserted-by":"publisher","first-page":"34054","DOI":"10.1021\/acsami.6b10266","volume":"8","author":"J Yang","year":"2016","unstructured":"Yang, J., Jiang, S., Liu, X., Pan, L., Zhang, C.: Aptamer-binding directed DNA origami pattern for logic gates. ACS Appl. Mater. Interfaces 8(49), 34054\u201334060 (2016)","journal-title":"ACS Appl. Mater. Interfaces"},{"issue":"34","key":"10_CR20","doi-asserted-by":"publisher","first-page":"22451","DOI":"10.1021\/acsami.6b04992","volume":"8","author":"J Yang","year":"2016","unstructured":"Yang, J., Song, Z., Liu, S., Zhang, Q., Zhang, C.: Dynamically arranging gold nanoparticles on DNA origami for molecular logic gates. ACS Appl. Mater. Interfaces 8(34), 22451\u201322456 (2016)","journal-title":"ACS Appl. Mater. Interfaces"},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1021\/acs.nanolett.5b04608","volume":"16","author":"C Zhang","year":"2016","unstructured":"Zhang, C., Yang, J., Jiang, S., Liu, Y., Yan, H.: DNAzyme-mediated DNA origami pattern for logic gates. Nano Lett. 16(1), 736\u2013741 (2016)","journal-title":"Nano Lett."},{"issue":"14","key":"10_CR22","doi-asserted-by":"publisher","first-page":"9370","DOI":"10.1021\/acsami.6b00847","volume":"8","author":"C Zhang","year":"2016","unstructured":"Zhang, C., Shen, L., Liang, C., Dong, Y., Yang, J., Xu, J.: DNA sequential logic gate using two-ring DNA. ACS Appl. Mater. Interfaces 8(14), 9370\u20139376 (2016)","journal-title":"ACS Appl. Mater. Interfaces"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/TNANO.2019.2904842","volume":"18","author":"Y Wang","year":"2019","unstructured":"Wang, Y., Han, Q., Cui, G., Sun, J.: Hiding messages based on DNA sequence and recombinant DNA technique. IEEE Trans. Nanotechnol. 18, 299\u2013307 (2019)","journal-title":"IEEE Trans. Nanotechnol."},{"issue":"27","key":"10_CR24","first-page":"1","volume":"429","author":"Y Benenson","year":"2004","unstructured":"Benenson, Y., Gil, B., Ben-Dor, U., Adar, R., Shapiro, E.: An autonomous molecular computer for logical control of gene expression. Nature 429(27), 1\u20136 (2004)","journal-title":"Nature"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/11753681_16","volume-title":"DNA Computing","author":"H Nakagawa","year":"2006","unstructured":"Nakagawa, H., Sakamoto, K., Sakakibara, Y.: Development of an In Vivo computer based on Escherichia coli. In: Carbone, A., Pierce, N.A. (eds.) DNA 2005. LNCS, vol. 3892, pp. 203\u2013212. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11753681_16"},{"issue":"1","key":"10_CR26","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1186\/1471-2105-8-365","volume":"8","author":"IM Mart\u00ednez-P\u00e9rez","year":"2007","unstructured":"Mart\u00ednez-P\u00e9rez, I.M., Zhang, G., Ignatova, Z., Zimmermann, K.H.: Computational genes: a tool for molecular diagnosis and therapy of aberrant mutational phenotype. BMC Bioinform. 8(1), 365\u2013365 (2007)","journal-title":"BMC Bioinform."},{"issue":"7","key":"10_CR27","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1038\/nbt1307","volume":"25","author":"K Rinaudo","year":"2007","unstructured":"Rinaudo, K., Bleris, L., Maddamsetti, R., Subramanian, S., Weiss, R., Benenson, Y.: A universal RNAi-based logic evaluator that operates in mammalian cells. Nat. Biotechnol. 25(7), 795\u2013801 (2007)","journal-title":"Nat. Biotechnol."},{"issue":"6047","key":"10_CR28","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1126\/science.1205527","volume":"333","author":"Z Xie","year":"2011","unstructured":"Xie, Z., Wroblewska, L., Prochazka, L., Weiss, R., Benenson, Y.: Multi-input RNAi-based logic circuit for identification of specific cancer cells. Science 333(6047), 1307\u20131311 (2011)","journal-title":"Science"},{"key":"10_CR29","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"4","key":"10_CR30","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"JR Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., McMillan, K.L., David, L.D.: Symbolic model checking for sequential circuit verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(4), 401\u2013424 (1994)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"2","key":"10_CR31","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF01383968","volume":"6","author":"EM Clarke","year":"1995","unstructured":"Clarke, E.M., et al.: Verification of the futurebus+ cache coherence protocol. Formal Methods Syst. Des. 6(2), 217\u2013232 (1995). \nhttps:\/\/doi.org\/10.1007\/BF01383968","journal-title":"Formal Methods Syst. Des."},{"issue":"7","key":"10_CR32","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W Chan","year":"1998","unstructured":"Chan, W., et al.: Model checking large software specifications. IEEE Trans. Softw. Eng. 24(7), 498\u2013520 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"10_CR33","first-page":"127","volume":"549","author":"S Fu","year":"2014","unstructured":"Fu, S., Tayssir, T.: Efficient CTL model-checking for pushdown systems. Theoret. Comput. Sci. 549(3), 127\u2013145 (2014)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-38874-3_3","volume-title":"Formal Methods for Dynamical Systems","author":"L Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., \u0160afr\u00e1nek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63\u2013112. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-38874-3_3"},{"issue":"4","key":"10_CR35","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1142\/S0129054106004078","volume":"17","author":"EA Emerson","year":"2006","unstructured":"Emerson, E.A., Hager, K.D., Konieczka, J.H.: Molecular model checking. Int. J. Found. Comput. Sci. 17(4), 733\u2013742 (2006)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"10_CR36","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-981-10-3611-8_2","volume-title":"Bio-inspired Computing \u2013 Theories and Applications","author":"W Zhu","year":"2016","unstructured":"Zhu, W., Wang, Y., Zhou, Q., Nie, K.: Model checking computational tree logic using sticker automata. In: Gong, M., Pan, L., Song, T., Zhang, G. (eds.) BIC-TA 2016. CCIS, vol. 681, pp. 12\u201320. Springer, Singapore (2016). \nhttps:\/\/doi.org\/10.1007\/978-981-10-3611-8_2"},{"key":"10_CR37","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-981-10-7179-9_11","volume-title":"Bio-inspired Computing: Theories and Applications","author":"Y Han","year":"2017","unstructured":"Han, Y., Zhou, Q., Jiao, L., Nie, K., Zhang, C., Zhu, W.: Model checking for computation tree logic with past based on DNA computing. In: He, C., Mo, H., Pan, L., Zhao, Y. (eds.) BIC-TA 2017. CCIS, vol. 791, pp. 131\u2013147. Springer, Singapore (2017). \nhttps:\/\/doi.org\/10.1007\/978-981-10-7179-9_11"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Logics of Programs","author":"O Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The glory of the past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196\u2013218. Springer, Heidelberg (1985). \nhttps:\/\/doi.org\/10.1007\/3-540-15648-8_16"},{"issue":"2012","key":"10_CR39","first-page":"981","volume":"78","author":"O Kupferman","year":"1995","unstructured":"Kupferman, O., Pnueli, A.: Once and for all. J. Comput. Syst. Sci. 78(2012), 981\u2013996 (1995)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1\u20132","key":"10_CR40","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"156","author":"F Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: Specification in CTL+Past for verification in CTL. Inf. Comput. 156(1\u20132), 236\u2013263 (2000)","journal-title":"Inf. Comput."},{"key":"10_CR41","unstructured":"NUPACK. \nhttp:\/\/www.nupack.org\n\n. Accessed 9 Aug 2019"}],"container-title":["Communications in Computer and Information Science","Bio-inspired Computing: Theories and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-15-3415-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T01:23:18Z","timestamp":1585790598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-15-3415-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9789811534140","9789811534157"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-981-15-3415-7_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"2 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIC-TA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bio-Inspired Computing: Theories and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zhengzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"22 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bicta2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2019.bicta.org","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":"197","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":"121","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":"61% - 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":"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":"3","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)"}}]}}