{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:42Z","timestamp":1750307322307,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,13]],"date-time":"2011-06-13T00:00:00Z","timestamp":1307923200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,13]]},"DOI":"10.1145\/1996461.1996497","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"73-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Buffer automata"],"prefix":"10.1145","author":[{"given":"Harold","family":"Thimbleby","sequence":"first","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}]},{"given":"Andy","family":"Gimblett","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}]},{"given":"Abigail","family":"Cauchi","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2011,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570442"},{"key":"e_1_3_2_1_2_1","volume-title":"Cardinal Health, 1180 Rolle","author":"Cardinal Health Inc.","year":"2006","unstructured":"Cardinal Health Inc. Alaris GP volumetric pump: directions for use. Technical report , Cardinal Health, 1180 Rolle , Switzerland , 2006 . Cardinal Health Inc. Alaris GP volumetric pump: directions for use. Technical report, Cardinal Health, 1180 Rolle, Switzerland, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77387"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-70304-0.50074-1"},{"key":"e_1_3_2_1_6_1","volume-title":"Human-Computer Interaction. Pearson","author":"Dix A.","year":"2004","unstructured":"A. Dix , J. Finlay , G. D. Abowd , and R. Beale . Human-Computer Interaction. Pearson , 3 rd edition, 2004 . A. Dix, J. Finlay, G. D. Abowd, and R. Beale. Human-Computer Interaction. Pearson, 3rd edition, 2004.","edition":"3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822041"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.368134"},{"key":"e_1_3_2_1_11_1","volume-title":"The Humane Interface","author":"Raskin J.","year":"2000","unstructured":"J. Raskin . The Humane Interface . Addison Wesley , 2000 . J. Raskin. The Humane Interface. Addison Wesley, 2000."},{"key":"e_1_3_2_1_12_1","volume-title":"Designing the User Interface: Strategies for Effective Human-Computer Interaction. Pearson","author":"Shneiderman B.","year":"2009","unstructured":"B. Shneiderman and C. Plaisant . Designing the User Interface: Strategies for Effective Human-Computer Interaction. Pearson , 5 th edition, 2009 . B. Shneiderman and C. Plaisant. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Pearson, 5th edition, 2009.","edition":"5"}],"event":{"name":"EICS '11: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Pisa Italy","acronym":"EICS '11"},"container-title":["Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996497","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1996461.1996497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:56Z","timestamp":1750244756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996497"}},"subtitle":["a UI architecture prioritising HCI concerns for interactive devices"],"short-title":[],"issued":{"date-parts":[[2011,6,13]]},"references-count":12,"alternative-id":["10.1145\/1996461.1996497","10.1145\/1996461"],"URL":"https:\/\/doi.org\/10.1145\/1996461.1996497","relation":{},"subject":[],"published":{"date-parts":[[2011,6,13]]},"assertion":[{"value":"2011-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}