{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:30Z","timestamp":1750306770313,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,24]],"date-time":"2013-06-24T00:00:00Z","timestamp":1372032000000},"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":[[2013,6,24]]},"DOI":"10.1145\/2494603.2480320","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"101-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Applying theorem discovery to automatically find and check usability heuristics"],"prefix":"10.1145","author":[{"given":"Andy","family":"Gimblett","sequence":"first","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Thimbleby","sequence":"additional","affiliation":[{"name":"Swansea University, Swansea, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,24]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1136\/bmj.322.7285.501"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1822018.1822041"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1136\/bmjqs-2011-001159"},{"unstructured":"P. Masci R. Ruk\u0161\u0117nas P. Oladimeji A. Cauchi A. Gimblett Y. Li and P. Curzon. The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering in press.  P. Masci R. Ruk\u0161\u0117nas P. Oladimeji A. Cauchi A. Gimblett Y. Li and P. Curzon. The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering in press.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Usability Engineering","author":"Nielsen J.","year":"1993","unstructured":"J. Nielsen . Usability Engineering . Morgan Kaufmann Publishers Inc ., 1993 . J. Nielsen. Usability Engineering. Morgan Kaufmann Publishers Inc., 1993."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/MC.2010.22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/242224.242451"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/1005361.1005364"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1098\/rsif.2010.0112"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/11752707_17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1570433.1570453"},{"key":"e_1_3_2_1_12_1","first-page":"178","volume-title":"Proceedings IFIP Conference on Human-Computer Interaction - Interact 2011","author":"Thimbleby H.","year":"2011","unstructured":"H. Thimbleby , P. Oladimeji , and A. Cox . Number entry interfaces and their effects on errors and number perception . In Proceedings IFIP Conference on Human-Computer Interaction - Interact 2011 , volume IV , pages 178 -- 185 , 2011 . H. Thimbleby, P. Oladimeji, and A. Cox. Number entry interfaces and their effects on errors and number perception. In Proceedings IFIP Conference on Human-Computer Interaction - Interact 2011, volume IV, pages 178--185, 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/BF03021027"}],"event":{"sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"acronym":"EICS'13","name":"EICS'13: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"London United Kingdom"},"container-title":["Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494603.2480320","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2494603.2480320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:55Z","timestamp":1750231735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494603.2480320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,24]]},"references-count":13,"alternative-id":["10.1145\/2494603.2480320","10.1145\/2494603"],"URL":"https:\/\/doi.org\/10.1145\/2494603.2480320","relation":{},"subject":[],"published":{"date-parts":[[2013,6,24]]},"assertion":[{"value":"2013-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}