{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:27:45Z","timestamp":1778498865137,"version":"3.51.4"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030255398","type":"print"},{"value":"9783030255404","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25540-4_37","type":"book-chapter","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T15:02:35Z","timestamp":1562943755000},"page":"650-669","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Taming Delays in Dynamical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5352-4954","authenticated-orcid":false,"given":"Shenghua","family":"Feng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9663-7441","authenticated-orcid":false,"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3298-3817","authenticated-orcid":false,"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9138-8340","authenticated-orcid":false,"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9717-846X","authenticated-orcid":false,"given":"Bai","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,12]]},"reference":[{"issue":"4","key":"37_CR1","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1215\/S0012-7094-43-01059-2","volume":"10","author":"R Bellman","year":"1943","unstructured":"Bellman, R.: The stability of solutions of linear differential equations. Duke Math. J. 10(4), 643\u2013647 (1943)","journal-title":"Duke Math. J."},{"key":"37_CR2","unstructured":"Bellman, R.E., Cooke, K.L.: Differential-difference equations. Technical Report R-374-PR, RAND Corporation, Santa Monica, California, January 1963"},{"issue":"1","key":"37_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/imanum\/24.1.1","volume":"24","author":"D Breda","year":"2004","unstructured":"Breda, D., Maset, S., Vermiglio, R.: Computing the characteristic roots for delay differential equations. IMA J. Numer. Anal. 24(1), 1\u201319 (2004)","journal-title":"IMA J. Numer. Anal."},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-48989-6_9","volume-title":"FM 2016: Formal Methods","author":"M Chen","year":"2016","unstructured":"Chen, M., Fr\u00e4nzle, M., Li, Y., Mosaad, P.N., Zhan, N.: Validated simulation-based verification of delayed differential dynamics. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 137\u2013154. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_9"},{"issue":"1","key":"37_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1216\/RMJ-1979-9-1-31","volume":"9","author":"KL Cooke","year":"1979","unstructured":"Cooke, K.L.: Stability analysis for a vector disease model. Rocky Mt. J. Math. 9(1), 31\u201342 (1979)","journal-title":"Rocky Mt. J. Math."},{"key":"37_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4206-2","volume-title":"Delay Equations: Functional-, Complex-, and Nonlinear Analysis. Applied Mathematical Sciences","author":"O Diekmann","year":"2012","unstructured":"Diekmann, O., van Gils, S., Lunel, S., Walther, H.: Delay Equations: Functional-, Complex-, and Nonlinear Analysis. Applied Mathematical Sciences. Springer, New York (2012). https:\/\/doi.org\/10.1007\/978-1-4612-4206-2"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174\u2013189. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71493-4_16"},{"key":"37_CR8","series-title":"Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9467-9","volume-title":"Ordinary and Delay Differential Equations","author":"R Driver","year":"1977","unstructured":"Driver, R.: Ordinary and Delay Differential Equations. Applied Mathematical Sciences. Springer, New York (1977). https:\/\/doi.org\/10.1007\/978-1-4684-9467-9"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: EMSOFT 2013, pp. 26:1\u201326:10 (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"1","key":"37_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/513001.513002","volume":"28","author":"K Engelborghs","year":"2002","unstructured":"Engelborghs, K., Luzyanina, T., Roose, D.: Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL. ACM Trans. Math. Softw. 28(1), 1\u201321 (2002)","journal-title":"ACM Trans. Math. Softw."},{"issue":"2","key":"37_CR11","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1137\/S003614290037472X","volume":"40","author":"K Engelborghs","year":"2002","unstructured":"Engelborghs, K., Roose, D.: On stability of LMS methods and characteristic roots of delay differential equations. SIAM J. Numer. Anal. 40(2), 629\u2013650 (2002)","journal-title":"SIAM J. Numer. Anal."},{"key":"37_CR12","volume-title":"Computational Cell Biology","year":"2002","unstructured":"Fall, C.P., Marland, E.S., Wagner, J.M., Tyson, J.J. (eds.): Computational Cell Biology, vol. 20. Springer, New York (2002)"},{"issue":"4","key":"37_CR13","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1103\/PhysRevLett.82.867","volume":"82","author":"J Fort","year":"1999","unstructured":"Fort, J., M\u00e9ndez, V.: Time-delayed theory of the neolithic transition in Europe. Phys. Rev. Lett. 82(4), 867 (1999)","journal-title":"Phys. Rev. Lett."},{"issue":"1","key":"37_CR14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/3313909.3313913","volume":"6","author":"M Fr\u00e4nzle","year":"2019","unstructured":"Fr\u00e4nzle, M., Chen, M., Kr\u00f6ger, P.: In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6(1), 19\u201339 (2019)","journal-title":"ACM SIGLOG News"},{"issue":"7","key":"37_CR15","doi-asserted-by":"publisher","first-page":"2003","DOI":"10.1109\/TAC.2017.2763785","volume":"63","author":"T Gan","year":"2018","unstructured":"Gan, T., Chen, M., Li, Y., Xia, B., Zhan, N.: Reachability analysis for solvable dynamical systems. IEEE Trans. Automat. Contr. 63(7), 2003\u20132018 (2018)","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"5\u20136","key":"37_CR16","doi-asserted-by":"publisher","first-page":"568","DOI":"10.3166\/ejc.17.568-578","volume":"17","author":"A Girard","year":"2011","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation: a bridge between computer science and control theory. Eur. J. Control 17(5\u20136), 568\u2013578 (2011)","journal-title":"Eur. J. Control"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-319-96142-2_31","volume-title":"Computer Aided Verification","author":"E Goubault","year":"2018","unstructured":"Goubault, E., Putot, S., Sahlmann, L.: Inner and outer approximating flowpipes for delay differential equations. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 523\u2013541. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_31"},{"issue":"5","key":"37_CR18","first-page":"880","volume":"128","author":"DM Grobman","year":"1959","unstructured":"Grobman, D.M.: Homeomorphism of systems of differential equations. Doklady Akademii Nauk SSSR 128(5), 880\u2013881 (1959)","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"37_CR19","series-title":"Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4342-7","volume-title":"Introduction to Functional Differential Equations","author":"J Hale","year":"1993","unstructured":"Hale, J., Lunel, S.: Introduction to Functional Differential Equations. Applied Mathematical Sciences. Springer, New York (1993). https:\/\/doi.org\/10.1007\/978-1-4612-4342-7"},{"issue":"4","key":"37_CR20","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1090\/S0002-9939-1960-0121542-7","volume":"11","author":"P Hartman","year":"1960","unstructured":"Hartman, P.: A lemma in the theory of structural stability of differential equations. Proc. Am. Math. Soc. 11(4), 610\u2013620 (1960)","journal-title":"Proc. Am. Math. Soc."},{"key":"37_CR21","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.nahs.2016.05.005","volume":"23","author":"Z Huang","year":"2017","unstructured":"Huang, Z., Fan, C., Mitra, S.: Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Anal. Hybrid Syst. 23, 211\u2013229 (2017)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"4","key":"37_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1111\/j.1749-6632.1948.tb39854.x","volume":"50","author":"GE Hutchinson","year":"1948","unstructured":"Hutchinson, G.E.: Circular causal systems in ecology. Ann. N. Y. Acad. Sci. 50(4), 221\u2013246 (1948)","journal-title":"Ann. N. Y. Acad. Sci."},{"issue":"1\u20132","key":"37_CR23","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0167-2789(87)90058-3","volume":"29","author":"K Ikeda","year":"1987","unstructured":"Ikeda, K., Matsumoto, K.: High-dimensional chaotic behavior in systems with time-delayed feedback. Phys. D Nonlinear Phenom. 29(1\u20132), 223\u2013235 (1987)","journal-title":"Phys. D Nonlinear Phenom."},{"key":"37_CR24","series-title":"Studies in Mathematical Analysis and Related Topics","volume-title":"Stability of Motion: Applications of Lyapunov\u2019s Second Method to Differential Systems and Equations with Delay","author":"N Krasovski\u012d","year":"1963","unstructured":"Krasovski\u012d, N.: Stability of Motion: Applications of Lyapunov\u2019s Second Method to Differential Systems and Equations with Delay. Studies in Mathematical Analysis and Related Topics. Stanford University Press, Stanford (1963)"},{"key":"37_CR25","series-title":"Mathematics in Science and Engineering","volume-title":"Delay Differential Equations: With Applications in Population Dynamics","author":"Y Kuang","year":"1993","unstructured":"Kuang, Y.: Delay Differential Equations: With Applications in Population Dynamics. Mathematics in Science and Engineering. Elsevier Science, Amsterdam (1993)"},{"key":"37_CR26","series-title":"Electrical Engineering Handbook","doi-asserted-by":"crossref","DOI":"10.1201\/b16088","volume-title":"The Control Handbook: Control System Fundamentals","author":"WS Levine","year":"2010","unstructured":"Levine, W.S.: The Control Handbook: Control System Fundamentals. Electrical Engineering Handbook, 2nd edn. CRC Press, Boca Raton (2010)","edition":"2"},{"issue":"4300","key":"37_CR27","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1126\/science.267326","volume":"197","author":"MC Mackey","year":"1977","unstructured":"Mackey, M.C., Glass, L.: Oscillation and chaos in physiological control systems. Science 197(4300), 287\u2013289 (1977)","journal-title":"Science"},{"key":"37_CR28","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1006\/jdeq.1996.0037","volume":"125","author":"J Mallet-Paret","year":"1996","unstructured":"Mallet-Paret, J., Sell, G.R.: The Poincar\u00e9-Bendixson theorem for monotone cyclic feedback systems with delay. J. Differ. Equ. 125, 441\u2013489 (1996)","journal-title":"J. Differ. Equ."},{"key":"37_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-319-46750-4_23","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"P Nazier Mosaad","year":"2016","unstructured":"Nazier Mosaad, P., Fr\u00e4nzle, M., Xue, B.: Temporal logic verification for delay differential equations. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 405\u2013421. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46750-4_23"},{"key":"37_CR30","unstructured":"Myshkis, A.D.: Lineare Differentialgleichungen mit nacheilendem Argument, vol. 17. VEB Deutscher Verlag der Wissenschaften (1955)"},{"key":"37_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-73368-3_47","volume-title":"Computer Aided Verification","author":"T Nahhal","year":"2007","unstructured":"Nahhal, T., Dang, T.: Test coverage for continuous and hybrid systems. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 449\u2013462. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_47"},{"key":"37_CR32","doi-asserted-by":"crossref","unstructured":"Peet, M., Lall, S.: Constructing Lyapunov functions for nonlinear delay-differential equations using semidefinite programming. In: Proceedings of NOLCOS, pp. 381\u2013385 (2004)","DOI":"10.1016\/S1474-6670(17)31396-4"},{"key":"37_CR33","doi-asserted-by":"publisher","first-page":"2328","DOI":"10.1002\/rnc.3204","volume":"25","author":"G Pola","year":"2015","unstructured":"Pola, G., Pepe, P., Benedetto, M.D.D.: Symbolic models for time-varying time-delay systems via alternating approximate bisimulation. Int. J. Robust Nonlinear Control 25, 2328\u20132347 (2015)","journal-title":"Int. J. Robust Nonlinear Control"},{"issue":"6","key":"37_CR34","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.sysconle.2010.04.001","volume":"59","author":"G Pola","year":"2010","unstructured":"Pola, G., Pepe, P., Benedetto, M.D.D., Tabuada, P.: Symbolic models for nonlinear time-delay systems using approximate bisimulations. Syst. Control Lett. 59(6), 365\u2013373 (2010)","journal-title":"Syst. Control Lett."},{"key":"37_CR35","unstructured":"Prajna, S., Jadbabaie, A.: Methods for safety verification of time-delay systems. In: CDC 2005, pp. 4348\u20134353 (2005)"},{"key":"37_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7646-8","volume-title":"An Introduction to Delay Differential Equations with Applications to the Life Sciences","author":"H Smith","year":"2011","unstructured":"Smith, H.: An Introduction to Delay Differential Equations with Applications to the Life Sciences, vol. 57. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4419-7646-8"},{"issue":"11","key":"37_CR37","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.1016\/j.jsc.2011.08.009","volume":"46","author":"A Strzebo\u0144ski","year":"2011","unstructured":"Strzebo\u0144ski, A.: Cylindrical decomposition for systems transcendental in the first variable. J. Symb. Comput. 46(11), 1284\u20131290 (2011)","journal-title":"J. Symb. Comput."},{"issue":"3","key":"37_CR38","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/S0960-0779(99)00207-6","volume":"12","author":"M Szyd\u0142owski","year":"2001","unstructured":"Szyd\u0142owski, M., Krawiec, A., Tobo\u0142a, J.: Nonlinear oscillations in business cycle model with time lags. Chaos Solitons Fractals 12(3), 505\u2013517 (2001)","journal-title":"Chaos Solitons Fractals"},{"key":"37_CR39","unstructured":"Vajta, M.: Some remarks on pad\u00e9-approximations. In: Proceedings of the 3rd TEMPUS-INTCOM Symposium, vol. 242 (2000)"},{"issue":"12","key":"37_CR40","doi-asserted-by":"publisher","first-page":"7412","DOI":"10.1016\/j.jde.2018.02.018","volume":"264","author":"JB Berg van den","year":"2018","unstructured":"van den Berg, J.B., Jaquette, J.: A proof of Wright\u2019s conjecture. J. Differ. Equ. 264(12), 7412\u20137462 (2018)","journal-title":"J. Differ. Equ."},{"key":"37_CR41","unstructured":"Volterra, V.: Une th\u00e9orie math\u00e9matique de la lutte pour la vie (1927)"},{"key":"37_CR42","first-page":"249","volume":"7","author":"V Volterra","year":"1928","unstructured":"Volterra, V.: Sur la th\u00e9orie math\u00e9matique des ph\u00e9nomenes h\u00e9r\u00e9ditaires. Journal de math\u00e9matiques pures et appliqu\u00e9es 7, 249\u2013298 (1928)","journal-title":"Journal de math\u00e9matiques pures et appliqu\u00e9es"},{"key":"37_CR43","unstructured":"Vyhl\u00eddal, T.: Analysis and synthesis of time delay system spectrum. Ph.D. dissertation, Czech Technical University in Prague (2003)"},{"key":"37_CR44","first-page":"1955","volume":"66\u201387","author":"EM Wright","year":"1955","unstructured":"Wright, E.M.: A non-linear difference-differential equation. J. Reine Angew. Math. 66\u201387, 1955 (1955)","journal-title":"J. Reine Angew. Math."},{"issue":"1\u20132","key":"37_CR45","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/S0377-0427(99)00181-8","volume":"115","author":"V Wulf","year":"2000","unstructured":"Wulf, V., Ford, N.J.: Numerical hopf bifurcation for a class of delay differential equations. J. Comput. Appl. Math. 115(1\u20132), 601\u2013616 (2000)","journal-title":"J. Comput. Appl. Math."},{"key":"37_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-319-65765-3_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B Xue","year":"2017","unstructured":"Xue, B., Mosaad, P.N., Fr\u00e4nzle, M., Chen, M., Li, Y., Zhan, N.: Safe over- and under-approximation of reachable sets for delay differential equations. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 281\u2013299. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65765-3_16"},{"key":"37_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-319-21668-3_20","volume-title":"Computer Aided Verification","author":"L Zou","year":"2015","unstructured":"Zou, L., Fr\u00e4nzle, M., Zhan, N., Mosaad, P.N.: Automatic verification of stability and safety for delay differential equations. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 338\u2013355. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_20"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25540-4_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T20:28:43Z","timestamp":1663964923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25540-4_37"}},"subtitle":["Unbounded Verification of Delay Differential Equations"],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030255398","9783030255404"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25540-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"15 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"258","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":"67","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":"26% - 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":"9","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}