{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:40:20Z","timestamp":1775259620231,"version":"3.50.1"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034269","type":"print"},{"value":"9783030034276","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-03427-6_36","type":"book-chapter","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:54:48Z","timestamp":1540817688000},"page":"487-503","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic"],"prefix":"10.1007","author":[{"given":"Jan","family":"Winkels","sequence":"first","affiliation":[]},{"given":"Julian","family":"Graefenstein","sequence":"additional","affiliation":[]},{"given":"Tristan","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]},{"given":"David","family":"Scholz","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Henke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"9.31","DOI":"10.1007\/978-3-642-58399-5","volume-title":"Produktion und Management 3. Gestaltung von Produktionssystemen. H\u00fctte","author":"K Brankamp","year":"1999","unstructured":"Brankamp, K.: Zielplanung. In: Eversheim, W., Schuh, G. (eds.) Produktion und Management 3. Gestaltung von Produktionssystemen. H\u00fctte, pp. 9.31\u20139.39. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-58399-5"},{"key":"36_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-18438-3_9","volume-title":"Dienstleistungen f\u00fcr die energieeffiziente Stadt","author":"PV Both","year":"2012","unstructured":"Both, P.V., Rexroth, K.: SIAS \u2013 Konzeption eines planungsunterst\u00fctzendenWerkzeuges f\u00fcr die Zielplanung. In: Knoll, M., Oertel, B. (eds.) Dienstleistungen f\u00fcr die energieeffiziente Stadt, pp. 109\u2013130. Springer Spektrum, Heidelberg (2012)"},{"key":"36_CR3","volume-title":"Fabrikplanung. Werksentwicklung und Betriebsrationalisierung","author":"B Aggteleky","year":"1987","unstructured":"Aggteleky, B.: Fabrikplanung. Werksentwicklung und Betriebsrationalisierung, 2nd edn. Hanser, M\u00fcnchen (1987)","edition":"2"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Pawellek, G.: Ganzheitliche Fabrikplanung. Grundlagen, Vorgehensweise, EDV-Unterst\u00fctzung, 2nd edn. VDI-Buch. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-43728-5"},{"key":"36_CR5","volume-title":"Fabrikplanung. Planungssystematik - Methoden - Anwendungen","author":"C-G Grundig","year":"2015","unstructured":"Grundig, C.-G.: Fabrikplanung. Planungssystematik - Methoden - Anwendungen, 5th edn. Hanser, M\u00fcnchen (2015)","edition":"5"},{"key":"36_CR6","unstructured":"Baumeister, M.: Fabrikplanung im turbulenten Umfeld. Methodik zur Zielplanung einer Fabrik unter Ber\u00fccksichtigung eines turbulenten Unternehmensumfeldes und der \u00fcbergeordneten Unternehmensziele. Zugl.: Karlsruhe, Univ., Diss., 2003. Forschungsberichte aus dem Institut f\u00fcr Werkzeugmaschinen und Betriebstechnik der Universit\u00e4t Karlsruhe, vol. 115. Inst. f\u00fcr Werkzeugmaschinen und Betriebstechnik, Karlsruhe (2002)"},{"key":"36_CR7","doi-asserted-by":"publisher","unstructured":"Hawer, S., Ilmer, P., Reinhart, G.: Klassifizierung unscharfer Planungsdaten in der Fabrikplanung. ZWF (2015). https:\/\/doi.org\/10.3139\/104.111339","DOI":"10.3139\/104.111339"},{"key":"36_CR8","unstructured":"Hilchner, R.: Typenorientiertes L\u00f6sungsraum-Management in der Fabrikplanung. Zugl.: Aachen, Techn. Hochsch., Diss., 2012, 1st edn. Edition Wissenschaft Apprimus, vol. 2012,13. Apprimus-Verl., Aachen (2012)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Schulte, C.: Logistik. Wege zur Optimierung der Supply Chain, 7th edn. Vahlens Handb\u00fccher der Wirtschafts- und Sozialwissenschaften (2016)","DOI":"10.15358\/9783800651191"},{"key":"36_CR10","volume-title":"Produktion und Management 3. Gestaltung von Produktionssystemen. H\u00fctte","year":"1999","unstructured":"Eversheim, W., Schuh, G. (eds.): Produktion und Management 3. Gestaltung von Produktionssystemen. H\u00fctte. Springer, Heidelberg (1999)"},{"key":"36_CR11","volume-title":"Leitfaden der systematischen Fabrikplanung","author":"H Kettner","year":"1984","unstructured":"Kettner, H., Schmidt, J., Greim, H.-R.: Leitfaden der systematischen Fabrikplanung. Hanser, M\u00fcnchen (1984)"},{"key":"36_CR12","unstructured":"Rexroth, K., Br\u00fcggemann, T., Both, P.V.: Methodology of target and requirements management for complex systems concerning the application field of an energy-efficient city. In: Schrenk, M. (ed.) REAL CORP 2009: cities 3.0 - smart, sustainable, integrative. Proceedings of 14th International Conference on Urban Planning, Regional Development and Information Society; Beitr\u00e4ge zur 14. Internatinalen Konferenz zu Stadtplanung, Regionalentwicklung und Informationsgesellschaft; [strategies, concepts and technologies for planning the urban future; 22\u201325 April 2009, Centre de Disseny de Sitges, Catalonia, Spain; Tagungsband], pp. 353\u2013359"},{"key":"36_CR13","unstructured":"Krunke, M.: Reifegradmanagement in der Fabrikplanung. Dissertation, RWTH Aachen (2017)"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Girmscheid, G.: Projektabwicklung in der Bauwirtschaft - prozessorientiert. Wege zur Win-Win-Situation f\u00fcr Auftraggeber und Auftragnehmer, 5th edn. VDI-Buch (2016)","DOI":"10.1007\/978-3-662-49330-4"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Welge, M.K., Al-Laham, A., Eulerich, M.: Strategisches Management. Grundlagen - Prozess - Implementierung, 7th edn (2017)","DOI":"10.1007\/978-3-658-10648-5"},{"key":"36_CR16","doi-asserted-by":"publisher","unstructured":"Wilson, I.: Strategic planning isn\u2019t dead\u2014it changed. Long Range Plan. (1994). https:\/\/doi.org\/10.1016\/0024-6301(94)90052-3","DOI":"10.1016\/0024-6301(94)90052-3"},{"key":"36_CR17","doi-asserted-by":"publisher","unstructured":"Glaister, K.W., Falshaw, J.R.: Strategic Planning. Still Going Strong? Long Range Plan. (1999). https:\/\/doi.org\/10.1016\/s0024-6301(98)00131-9","DOI":"10.1016\/s0024-6301(98)00131-9"},{"key":"36_CR18","doi-asserted-by":"publisher","unstructured":"Frentzel, W.Y., Bryson, J.M., Crosby, B.C.: Strategic Planning in the Military. Long Range Planning (2000). https:\/\/doi.org\/10.1016\/s0024-6301(00)00040-6","DOI":"10.1016\/s0024-6301(00)00040-6"},{"key":"36_CR19","doi-asserted-by":"publisher","unstructured":"Wolf, C., Floyd, S.W.: Strategic planning research: toward a theory-driven agenda. J. Manag. (2016). https:\/\/doi.org\/10.1177\/0149206313478185","DOI":"10.1177\/0149206313478185"},{"key":"36_CR20","doi-asserted-by":"publisher","unstructured":"Liedtka, R.M.D.O.J., Jacobs, D.C., Heracleous, L.: Strategizing through playful design. J. Bus. Strat. (2007). https:\/\/doi.org\/10.1108\/02756660710760971","DOI":"10.1108\/02756660710760971"},{"key":"36_CR21","doi-asserted-by":"publisher","unstructured":"Graefenstein, J., Scholz, D., Henke, M., Winkels, J., Rehof, J.: Intelligente Orchestrierung von Planungsprozessen. ZWF (2017). https:\/\/doi.org\/10.3139\/104.111696","DOI":"10.3139\/104.111696"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Dimensions in program synthesis. In: Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp. 13\u201324 (2010)","DOI":"10.1145\/1836089.1836091"},{"key":"36_CR23","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Found. Trends\u00ae Program. Lang. 4(1\u20132), 1\u2013119 (2017)","DOI":"10.1561\/2500000010"},{"key":"36_CR24","unstructured":"Roser, S., Lautenbacher, F., Bauer, B.: Generation of workflow code from DSMs. In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (2007)"},{"key":"36_CR25","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. (2017). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","DOI":"10.1007\/s10009-017-0453-6"},{"key":"36_CR26","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-47169-3_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Naujokat","year":"2016","unstructured":"Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pp. 218\u2013237. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_16"},{"key":"36_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-46508-1_3","volume-title":"Transactions on Foundations for Mastering Change I","author":"B Steffen","year":"2016","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 22\u201346. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46508-1_3"},{"key":"36_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"36_CR29","doi-asserted-by":"crossref","unstructured":"Awad, A., Gor\u00e9, R., Thomson, J., Weidlich, M.: An iterative approach for business process template synthesis from compliance rules. In: Advanced Information Systems Engineering, pp. 406\u2013421 (2011)","DOI":"10.1007\/978-3-642-21640-4_31"},{"issue":"6","key":"36_CR30","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1007\/s11390-008-9196-x","volume":"23","author":"J Yu","year":"2008","unstructured":"Yu, J., Han, Y.-B., Han, J., Jin, Y., Falcarin, P., Morisio, M.: Synthesizing service composition models on the basis of temporal business rules. J. Comput. Sci. Technol. 23(6), 885\u2013894 (2008)","journal-title":"J. Comput. Sci. Technol."},{"key":"36_CR31","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 262\u2013267 (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"36_CR32","first-page":"1","volume":"2013","author":"R Alur","year":"2013","unstructured":"Alur, R., et al.: Syntax-guided synthesis. Form. Methods Comput.-Aided Des. (FMCAD) 2013, 1\u20138 (2013)","journal-title":"Form. Methods Comput.-Aided Des. (FMCAD)"},{"key":"36_CR33","doi-asserted-by":"crossref","unstructured":"Srinivas, Y.V., J\u00fcllig, R.: Specware: formal support for composing software. In: International Conference on Mathematics of Program Construction, pp. 399\u2013422 (1995)","DOI":"10.1007\/3-540-60117-1_22"},{"key":"36_CR34","doi-asserted-by":"crossref","unstructured":"Le, V., Gulwani, S.: FlashExtract: a framework for data extraction by examples. In: ACM SIGPLAN Notices, pp. 542\u2013553 (2014)","DOI":"10.1145\/2666356.2594333"},{"key":"36_CR35","doi-asserted-by":"crossref","unstructured":"Feser, J.K., Chaudhuri, S., Dillig, I.: Synthesizing data structure transformations from input-output examples. In: ACM SIGPLAN Notices, pp. 229\u2013239 (2015)","DOI":"10.1145\/2813885.2737977"},{"issue":"11","key":"36_CR36","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/1168918.1168907","volume":"41","author":"A Solar-Lezama","year":"2006","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. ACM Sigplan Not. 41(11), 404\u2013415 (2006)","journal-title":"ACM Sigplan Not."},{"key":"36_CR37","doi-asserted-by":"crossref","unstructured":"Grambow, G., Oberhauser, R., Reichert, M.: Semantically-driven workflow generation using declarative modeling for processes in software engineering. In: Proceedings of EDOCW 2011, pp. 164\u2013173. IEEE Computer Society (2011)","DOI":"10.1109\/EDOCW.2011.54"},{"key":"36_CR38","unstructured":"Parisotto, E., Mohamed, A.-R., Singh, R., Li, L., Zhou, D., Kohli, P.: Neuro-symbolic program synthesis. arXiv preprint arXiv:1611.01855 (2016)"},{"key":"36_CR39","doi-asserted-by":"crossref","unstructured":"Ilghami, O., Nau, D.S.: A general approach to synthesize problem-specific planners. University of Maryland, College Park, Department of Computer Science (2003)","DOI":"10.21236\/ADA455023"},{"key":"36_CR40","unstructured":"Becker, M., Gilham, L., Smith, D.R., et al.: Planware II. Synthesis of schedulers for complex resource systems (2003)"},{"key":"36_CR41","doi-asserted-by":"crossref","unstructured":"Blaine, L., Gilham, L., Liu, J., Smith, D.R., Westfold, S.: Planware-domain-specific synthesis of high-performance schedulers. In: Proceedings of 13th IEEE International Conference on Automated Software Engineering, pp. 270\u2013279 (1998)","DOI":"10.1109\/ASE.1998.732672"},{"key":"36_CR42","unstructured":"Reichert, M., et al.: Enabling Poka-Yoke workflows with the AristaFlow BPM Suite (2009)"},{"key":"36_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering \u2013 Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering \u2013 Foundations, Principles, and Techniques. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"key":"36_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"36_CR45","doi-asserted-by":"crossref","unstructured":"van Gurp, J., Bosch, J., Svahnberg, M.: On the notion of variability in software product lines. In: Proceedings of Working IEEE\/IFIP Conference on Software Architecture, pp. 45\u201354 (2001)","DOI":"10.1109\/WICSA.2001.948406"},{"key":"36_CR46","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"36_CR47","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/3041957","volume":"50","author":"ML Rosa","year":"2017","unstructured":"Rosa, M.L., van der Aalst, W.M.P., Dumas, M., Milani, F.P.: Business process variability modeling: a survey. ACM Comput. Surv. (CSUR) 50(1), 2 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"36_CR48","doi-asserted-by":"publisher","unstructured":"Bessai, J., Dudenhefner, A., D\u00fcdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Corfu, Greece, 8\u201311 October 2014, pp. 26\u201340 (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_3","DOI":"10.1007\/978-3-662-45234-9_3"},{"key":"36_CR49","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","author":"M Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An extension of basic functionality theory for lambda-calculus. Notre Dame J. Form. Log. 21, 685\u2013693 (1980)","journal-title":"Notre Dame J. Form. Log."},{"issue":"11","key":"36_CR50","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1073\/pnas.20.11.584","volume":"20","author":"HB Curry","year":"1934","unstructured":"Curry, H.B.: Functionality in combinatory logic. Proc. Natl. Acad. Sci. 20(11), 584\u2013590 (1934)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"36_CR51","first-page":"479","volume":"44","author":"WA Howard","year":"1980","unstructured":"Howard, W.A.: The formulae-as-types notion of construction. To HB Curry: Essays Comb. Log. Lambda Calc. Formalism 44, 479\u2013490 (1980)","journal-title":"To HB Curry: Essays Comb. Log. Lambda Calc. Formalism"},{"key":"36_CR52","unstructured":"D\u00fcdder, B., Martens, M., Rehof, J., Urzyczyn, P.: Bounded combinatory logic. In: Proceedings of Computer Science Logic, CSL 2012, pp. 243\u2013258. Schloss Dagstuhl (2012)"},{"key":"36_CR53","doi-asserted-by":"publisher","unstructured":"Bessai, J., Dudenhefner, A., D\u00fcdder, B., Martens, M., Rehof, J.: Combinatory process synthesis. In: Proceedings of 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, ISoLA 2016, Imperial, Corfu, Greece, Part I, 10\u201314 October 2016, pp. 266\u2013281 (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-219","DOI":"10.1007\/978-3-319-47166-219"},{"key":"36_CR54","unstructured":"Bessai, J., D\u00fcdder, B., Heinemann, G., Rehof, J.: Towards Language-Independent Code Synthesis (2018)"},{"key":"36_CR55","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-021, SEI, Carnegie Mellon University, November 1990","DOI":"10.21236\/ADA235785"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03427-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:19:00Z","timestamp":1775254740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03427-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034269","9783030034276"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03427-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"30 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","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":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","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":"126","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":"85% - 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","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)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}