{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:21:44Z","timestamp":1751516504934,"version":"3.41.0"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030778569"},{"type":"electronic","value":"9783030778576"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-77857-6_12","type":"book-chapter","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T23:04:56Z","timestamp":1625267096000},"page":"183-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0901-8293","authenticated-orcid":false,"given":"Bruno","family":"Emond","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,3]]},"reference":[{"key":"12_CR1","volume-title":"Formal Aspects of Human-Computer Interaction","author":"GD Abowd","year":"1991","unstructured":"Abowd, G.D.: Formal Aspects of Human-Computer Interaction. University of Oxford, Oxford (1991)"},{"key":"12_CR2","unstructured":"Aleven, V., McLaughlin, E.A., Glenn, R.A., Koedinger, K.R.: Instruction based on adaptive learning technologies. In: Mayer, R.E., Alexander, P.A., (eds.) Handbook of Research on Learning and Instruction, Chap. 24, pages 538\u2013576. Routledge, October 2016"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bolton, M.L., Siminiceanu, R.I., Bass, E.J.: A systematic approach to model checking human-automation interaction using task analytic models. IEEE Trans. Syst. Man Cybernet. Part A: Syst. Hum. 41, 961\u2013976 (2011)","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"12_CR4","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-319-51838-1_13","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"ML Bolton","year":"2017","unstructured":"Bolton, M.L., Bass, E.J.: Enhanced Operator Function Model (EOFM): a task analytic modeling formalism for including human behavior in the verification of complex systems. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 343\u2013377. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1_13"},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1109\/TSMCA.2012.2210406","volume":"43","author":"ML Bolton","year":"2013","unstructured":"Bolton, M.L., Bass, E.J., Siminiceanu, R.I.: Using formal verification to evaluate human-automation interaction: a review. IEEE Trans. Syst. Man Cybernet. Syst. 43(3), 488\u2013503 (2013)","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2007.01.061","volume":"183","author":"J Bowen","year":"2007","unstructured":"Bowen, J., Reeves, S.: Formal models for informal GUI designs. Electron. Not. Theor. Comput. Sci. 183, 57\u201372 (2007)","journal-title":"Electron. Not. Theor. Comput. Sci."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_17"},{"key":"12_CR8","unstructured":"Card, S., Moran, T.P., Newell, A.: The Psychology of Human Computer Interaction. Lawrence Erlbaum Associates (1983)"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2659796","volume":"47","author":"A Cockburn","year":"2015","unstructured":"Cockburn, A., Gutwin, C., Scarr, J., Malacria, S.: Supporting novice to expert transitions in user interfaces. ACM Comput. Surv. 47(2), 1\u201336 (2015)","journal-title":"ACM Comput. Surv."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Combefis, S., Giannakopoulou, D., Pecheur, C., Feary, M.: A formal framework for design and analysis of human-machine interaction. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1801\u20131808. IEEE, October 2011","DOI":"10.1109\/ICSMC.2011.6083933"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF01099821","volume":"4","author":"AT Corbett","year":"1995","unstructured":"Corbett, A.T., Anderson, J.R.: Knowledge tracing: modeling the acquisition of procedural knowledge. User Modell. User-Adapted Interact. 4(4), 253\u2013278 (1995)","journal-title":"User Modell. User-Adapted Interact."},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1518\/0018720024494838","volume":"44","author":"A Degani","year":"2002","unstructured":"Degani, A., Heymann, M.: Formal verification of human-automation interaction. Hum. Fact. J. Hum. Factors Ergon. Soc. 44(1), 28\u201343 (2002)","journal-title":"Hum. Fact. J. Hum. Factors Ergon. Soc."},{"key":"12_CR13","volume-title":"Formal Methods for Interactive Systems","author":"A Dix","year":"1991","unstructured":"Dix, A.: Formal Methods for Interactive Systems. Academic Press, London (1991)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-030-50788-6_6","volume-title":"Adaptive Instructional Systems","author":"B Emond","year":"2020","unstructured":"Emond, B.: Learning traces, measurement and assessment templates for AIS interoperability. In: Sottilare, R.A., Schwarz, J. (eds.) HCII 2020. LNCS, vol. 12214, pp. 71\u201387. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50788-6_6"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.cogsys.2012.12.007","volume":"24","author":"B Emond","year":"2013","unstructured":"Emond, B., Comeau, G.: Cognitive modelling of early music reading skill acquisition for piano: a comparison of the Middle-C and Intervallic methods. Cogn. Syst. Res. 24, 26\u201334 (2013)","journal-title":"Cogn. Syst. Res."},{"issue":"5","key":"12_CR16","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1089\/109493103769710550","volume":"6","author":"B Emond","year":"2003","unstructured":"Emond, B., West, R.: Cyberpsychology: a human-interaction perspective based on cognitive modeling. Cyberpsychol. Behavi. 6(5), 527\u2013536 (2003)","journal-title":"Cyberpsychol. Behavi."},{"issue":"4","key":"12_CR17","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10009-020-00560-5","volume":"22","author":"T Gabor","year":"2020","unstructured":"Gabor, T., et al.: The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. Int. J. Software Tools Technol. Transf. 22(4), 457\u2013476 (2020)","journal-title":"Int. J. Software Tools Technol. Transf."},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoret. Comput. Sci. 50(1), 1\u2013101 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR19","unstructured":"Goldin, I., Pavlik, P.I. , Ritter, S.: Discovering domain models in learning curve data. In: Sottilare, R.A., Graesser, A.C., Hu, X., Olney, A.M., Nye, B.D., Sinatra, A.M. (eds.), Design Recommendations for Intelligent Tutoring Systems: Volume 4 Domain Modeling, pp. 115\u2013126. US Army Research Laboratory, Orlando, FL (2016)"},{"key":"12_CR20","first-page":"387","volume-title":"International Encyclopedia of Ergonomics and Human Factors","author":"WD Gray","year":"2001","unstructured":"Gray, W.D., Altmann, E.M.: Cognitive modeling and human-computer interaction. In: Karwowski, W. (ed.) International Encyclopedia of Ergonomics and Human Factors, pp. 387\u2013391. Taylor & Francis Ltd, New York (2001)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Hao, J., Mislevy, R.J.: The evidence trace file: a data structure for virtual performance assessments informed by data analytics and evidence-centered design. Technical report 1, Education Testing Services, December 2018","DOI":"10.1002\/ets2.12215"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-030-04771-9_21","volume-title":"Software Technologies: Applications and Foundations","author":"MD Harrison","year":"2018","unstructured":"Harrison, M.D., Masci, P., Campos, J.C.: Formal modelling as a component of user centred design. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 274\u2013289. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_21"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1207\/S15327590IJHC1501_14","volume":"15","author":"M Hertzum","year":"2003","unstructured":"Hertzum, M., Jacobsen, N.E.: The evaluator effect: a chilling fact about usability evaluation methods. Int. J. Hum. Comput. Interact. 15(1), 183\u2013204 (2003)","journal-title":"Int. J. Hum. Comput. Interact."},{"issue":"2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1518\/001872007X312522","volume":"49","author":"M Heymann","year":"2007","unstructured":"Heymann, M., Degani, A.: Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm. Hum. Fact. J. Hum. Fact. Ergon. Soc 49(2), 311\u2013330 (2007)","journal-title":"Hum. Fact. J. Hum. Fact. Ergon. Soc"},{"key":"12_CR25","unstructured":"ISO\/IEC 25010: Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models (2011)"},{"key":"12_CR26","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11082.001.0001","volume-title":"Things That Keep Us Busy","author":"L-E Janlert","year":"2017","unstructured":"Janlert, L.-E., Stolterman, E.: Things That Keep Us Busy. The MIT Press, Cambridge (2017)"},{"key":"12_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"issue":"1\u20132","key":"12_CR28","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0168-0072(94)00060-G","volume":"75","author":"MI Kanovich","year":"1995","unstructured":"Kanovich, M.I.: Petri nets, Horn programs, Linear Logic and vector games. Ann. Pure Appl. Logic 75(1\u20132), 107\u2013135 (1995)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"12_CR29","first-page":"26","volume":"1","author":"GE Krasner","year":"1988","unstructured":"Krasner, G.E., Pope, S.T.: A description of the model-view-controller user interface paradigm in the smalltalk-80 system. J. Object-Orient. Program. 1(3), 26\u201349 (1988)","journal-title":"J. Object-Orient. Program."},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s11257-010-9084-2","volume":"21","author":"B Martin","year":"2011","unstructured":"Martin, B., Mitrovic, A., Koedinger, K.R., Mathan, S.: Evaluating and improving adaptive educational systems with learning curves. User Model. User-Adapt. Interact. 21(3), 249\u2013283 (2011)","journal-title":"User Model. User-Adapt. Interact."},{"key":"12_CR31","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-319-51838-1_11","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"G Maudoux","year":"2017","unstructured":"Maudoux, G., Pecheur, C., Comb\u00e9fis, S.: Learning safe interactions and full-control. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 297\u2013317. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1_11"},{"issue":"1","key":"12_CR32","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s11251-016-9369-x","volume":"44","author":"JE McEneaney","year":"2016","unstructured":"McEneaney, J.E.: Simulation-based evaluation of learning sequences for instructional technologies. Instruct. Sci. 44(1), 87\u2013106 (2016)","journal-title":"Instruct. Sci."},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1207\/S15366359MEA0101_02","volume":"1","author":"RJ Mislevy","year":"2003","unstructured":"Mislevy, R.J., Steinberg, L.S., Almond, R.G.: On the structure of educational assessments. Measur. Inter-disciplinary Res. Perspect. 1, 3\u201367 (2003)","journal-title":"Measur. Inter-disciplinary Res. Perspect."},{"key":"12_CR34","unstructured":"Murray-Smith, R.: Control theory, dynamics, and continuous interaction. In: Oulasvirta, A., Kristensson, P.O., Bi, X., Howes, A. (eds.) Computational Interaction, Chap. 1, pp. 17\u201341. Oxford University Press (2018)"},{"key":"12_CR35","volume-title":"Knowing What Students Know: The Science and Design of Educational Assessment","author":"National Research Council","year":"2001","unstructured":"National Research Council: Knowing What Students Know: The Science and Design of Educational Assessment. National Academy Press, Washington, DC (2001)"},{"key":"12_CR36","doi-asserted-by":"publisher","DOI":"10.1201\/b15703","volume-title":"User centered system design: New perspectives on human-computer interaction, page 32\u201365","author":"DA Norman","year":"1986","unstructured":"Norman, D.A.: Cognitive engineering. In: Norman, D.A., Draper, S.W. (eds.) User centered system design: New perspectives on human-computer interaction, page 32\u201365. Lawrence Erlbaum, Mahwah (1986)"},{"issue":"4","key":"12_CR37","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s40593-014-0029-5","volume":"24","author":"BD Nye","year":"2014","unstructured":"Nye, B.D., Graesser, A.C., Xiangen, H.: AutoTutor and family: a review of 17 years of natural language tutoring. Int. J. Artif. Intell. Educ. 24(4), 427\u2013469 (2014)","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"12_CR38","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-51838-1_1","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"R Oliveira","year":"2017","unstructured":"Oliveira, R., Palanque, P., Weyers, B., Bowen, J., Dix, A.: State of the art on formal methods for interactive systems. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 3\u201355. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1_1"},{"issue":"3","key":"12_CR39","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1109\/JPROC.2020.2969687","volume":"108","author":"A Oulasvirta","year":"2020","unstructured":"Oulasvirta, A., Dayama, N.R., Shiripour, M., John, M., Karrenbauer, A.: Combinatorial optimization of graphical user interface designs. Proc. IEEE 108(3), 434\u2013464 (2020)","journal-title":"Proc. IEEE"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the use of transition diagrams in the design of a user interface for an interactive computer system. In: Proceedings of the 1969 24th National Conference on -, New York, New York, USA, 1969, pp. 379\u2013385. ACM Press (1969)","DOI":"10.1145\/800195.805945"},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: a diagrammatic notation for specifying task models. In: International Conference Human-Computer Interaction, pp. 362\u2013369 (1997)","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"12_CR42","unstructured":"Pavlik, P.I., Brawner, K.W., Olney, A., Mitrovic, A.: A review of learner models used in intelligent tutoring systems. In: Sottilare, R.A., Graesser, A., Hu, X., Holden, H. (eds.) Design Recommendations for Intelligent Tutoring Systems. Volume 1: Learner Modeling, vol. 1, pages 39\u201368. US Army Research Laboratory (2013)"},{"key":"12_CR43","unstructured":"Sottilare., R.A.: Developing standards for adaptive instructional systems: 2018 update. In: Proceedings of the 6th Annual GIFT Users Symposium, Orlando, FL, 2018, pp. 1\u20135. U.S. Army Research Laboratory (2018)"},{"issue":"4","key":"12_CR44","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1111\/j.1745-3984.1983.tb00212.x","volume":"20","author":"KK Tatsuoka","year":"1983","unstructured":"Tatsuoka, K.K.: Rule space: an approach for dealing with misconceptions based on item response theory. J. Educ. Measur. 20(4), 345\u2013354 (1983)","journal-title":"J. Educ. Measur."},{"key":"12_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer-Verlag, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"issue":"3","key":"12_CR46","first-page":"227","volume":"16","author":"K Vanlehn","year":"2006","unstructured":"Vanlehn, K.: The behavior of tutoring systems. Int. J. Artif. Intell. Ed. 16(3), 227\u2013265 (2006)","journal-title":"Int. J. Artif. Intell. Ed."},{"issue":"17","key":"12_CR47","doi-asserted-by":"publisher","first-page":"12799","DOI":"10.1016\/j.eswa.2012.05.013","volume":"39","author":"JC Vidal","year":"2012","unstructured":"Vidal, J.C., Lama, M., Bugar\u00edn, A.: Petri net-based engine for adaptive learning. Expert Syst. Appl. 39(17), 12799\u201312813 (2012)","journal-title":"Expert Syst. Appl."},{"key":"12_CR48","doi-asserted-by":"publisher","first-page":"55563","DOI":"10.1109\/ACCESS.2020.2981892","volume":"8","author":"P Weichbroth","year":"2020","unstructured":"Weichbroth, P.: Usability of mobile applications: a systematic literature study. IEEE Access 8, 55563\u201355577 (2020)","journal-title":"IEEE Access"},{"key":"12_CR49","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-51838-1_10","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"B Weyers","year":"2017","unstructured":"Weyers, B.: Formal description of adaptable interactive systems based on reconfigurable user interface models. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 273\u2013294. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1_10"},{"key":"12_CR50","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-51838-1_5","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"B Weyers","year":"2017","unstructured":"Weyers, B.: Visual and formal modeling of modularized and executable user interface models. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 125\u2013160. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1_5"},{"key":"12_CR51","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51838-1","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","year":"2017","unstructured":"Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.): The Handbook of Formal Methods in Human-Computer Interaction. HIS, Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1"},{"issue":"9","key":"12_CR52","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"JM Wing","year":"1990","unstructured":"Wing, J.M.: A specifier\u2019s introduction to formal methods. Computer 23(9), 8\u201322 (1990)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Adaptive Instructional Systems. Design and Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-77857-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T22:14:09Z","timestamp":1751494449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-77857-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030778569","9783030778576"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-77857-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"3 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HCII","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hcii2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2021.hci.international\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}