{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:04:44Z","timestamp":1725631484154},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T00:00:00Z","timestamp":1529366400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,19]]},"DOI":"10.1145\/3220134.3220140","type":"proceedings-article","created":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T12:04:36Z","timestamp":1529582676000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling and Analysis of Human Memory Load in Multitasking Scenarios"],"prefix":"10.1145","author":[{"given":"Giovanna","family":"Broccia","sequence":"first","affiliation":[{"name":"University of Pisa, Italy"}]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[{"name":"INESC TEC & University of Minho, Portugal"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[{"name":"University of Pisa, Italy"}]}],"member":"320","published-online":{"date-parts":[[2018,6,19]]},"reference":[{"volume-title":"Algebra and Coalgebra in Computer Science, Andrea Corradini, Bartek Klin, and Corina C\u00eerstea (Eds.)","author":"AlTurki Musab","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jmla.1997.2553"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208289"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Alan Baddeley. 1992. Working memory. Science 255 5044 (1992). Alan Baddeley. 1992. Working memory. Science 255 5044 (1992).","DOI":"10.1126\/science.1736359"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1037\/0096-3445.133.1.83"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Giovanna Broccia Paolo Milazzo and Peter Csaba \u00d6lveczky. 2018. An Algorithm for Simulating Human Selective Attention. In Software Engineering and Formal Methods Antonio Cerone and Marco Roveri (Eds.). Springer International Publishing Cham 48--55. Giovanna Broccia Paolo Milazzo and Peter Csaba \u00d6lveczky. 2018. An Algorithm for Simulating Human Selective Attention. In Software Engineering and Formal Methods Antonio Cerone and Marco Roveri (Eds.). Springer International Publishing Cham 48--55.","DOI":"10.1007\/978-3-319-74781-1_4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Giovanna Broccia Paolo Milazzo and Peter Csaba \u00d6lveczky. 2018. An Executable Formal Framework for Safety-Critical Human Multitasking. In NASA Formal Methods Aaron Dutle C\u00e9sar Mu\u00f1oz and Anthony Narkawicz (Eds.). Springer International Publishing Cham 54--69. Giovanna Broccia Paolo Milazzo and Peter Csaba \u00d6lveczky. 2018. An Executable Formal Framework for Safety-Critical Human Multitasking. In NASA Formal Methods Aaron Dutle C\u00e9sar Mu\u00f1oz and Anthony Narkawicz (Eds.). Springer International Publishing Cham 54--69.","DOI":"10.1007\/978-3-319-77935-5_4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327108ijap1502_2"},{"volume-title":"Software Engineering and Formal Methods, Rocco De Nicola and Eva K\u00fchn (Eds.)","author":"Cerone Antonio","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2007.09.001"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2011.6083933"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Jan W de Fockert Geraint Rees Christopher D Frith and Nilli Lavie. 2001. The role of working memory in visual selective attention. Science 291 5509 (2001). Jan W de Fockert Geraint Rees Christopher D Frith and Nilli Lavie. 2001. The role of working memory in visual selective attention. Science 291 5509 (2001).","DOI":"10.1126\/science.1056496"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2017.2717910"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933242.2933250"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2379661"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0157-z"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-017-0305-2"},{"volume-title":"AAAI Spring Symposium Series: Formal Verification and Modeling in Human-Machine Systems. https:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS14\/paper\/view\/7753","author":"Moore J.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2759273"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-013-0288-1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2001.0472"}],"event":{"name":"EICS '18: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Paris France","acronym":"EICS '18"},"container-title":["Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3220134.3220140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T14:43:50Z","timestamp":1673016230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3220134.3220140"}},"subtitle":["Late-Breaking Results"],"short-title":[],"issued":{"date-parts":[[2018,6,19]]},"references-count":23,"alternative-id":["10.1145\/3220134.3220140","10.1145\/3220134"],"URL":"https:\/\/doi.org\/10.1145\/3220134.3220140","relation":{},"subject":[],"published":{"date-parts":[[2018,6,19]]},"assertion":[{"value":"2018-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}