{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:53:41Z","timestamp":1756000421786,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,17]],"date-time":"2014-06-17T00:00:00Z","timestamp":1402963200000},"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":[[2014,6,17]]},"DOI":"10.1145\/2607023.2610286","type":"proceedings-article","created":{"date-parts":[[2014,6,17]],"date-time":"2014-06-17T12:42:40Z","timestamp":1403008960000},"page":"173-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal modelling of dynamic instantiation of input devices and interaction techniques"],"prefix":"10.1145","author":[{"given":"Arnaud","family":"Hamon","sequence":"first","affiliation":[{"name":"AIRBUS Operations & University of Toulouse, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Martin","family":"Cronel","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Rapha\u00ebl","family":"Andr\u00e9","sequence":"additional","affiliation":[{"name":"AIRBUS Operations, Toulouse, France"}]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2014,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"234","volume-title":"Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. DSVIS","author":"Accot J.","year":"1997","unstructured":"Accot J. , Chatty S. , Maury S. & Palanque P. Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. DSVIS 1997 , Springer Verlag , pp. 234 -- 259 . Accot J., Chatty S., Maury S. & Palanque P. Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. DSVIS 1997, Springer Verlag, pp. 234--259."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1027933.1027974"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03658-3_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979309"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/142621.142623"},{"key":"e_1_3_2_1_6_1","first-page":"90","article-title":"A three-state model of graphical input","volume":"13","author":"Buxton W","year":"1990","unstructured":"Buxton W . A three-state model of graphical input , IFIP TC 13 INTERACT' 90 , 1990 , p. 449--456. Buxton W. A three-state model of graphical input, IFIP TC 13 INTERACT'90, 1990, p. 449--456.","journal-title":"IFIP TC"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1731903.1731933"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Levels Petri Nets: Theory and Application","author":"Genrich H. J.","year":"1991","unstructured":"Genrich , H. J. 1991. Predicate \/Transitions Nets. In High-Levels Petri Nets: Theory and Application . K. Jensen and G. Rozenberg, (Eds.), Springer Verlag ( 1991 ) pp. 3 -- 43 . Genrich, H. J. 1991. Predicate\/Transitions Nets. In High-Levels Petri Nets: Theory and Application. K. Jensen and G. Rozenberg, (Eds.), Springer Verlag (1991) pp. 3--43."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480311"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1936652.1936662"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380176"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647314.1647347"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647314.1647343"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480307"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380146"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996490"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2006-5657"},{"volume-title":"Schyn A. A Model-Based Approach for Engineering Multimodal Interactive Systems in INTERACT 2003, IFIP TC 13 conf. on HCI, 10 pages.","author":"Palanque P.","key":"e_1_3_2_1_20_1","unstructured":"Palanque P. & Schyn A. A Model-Based Approach for Engineering Multimodal Interactive Systems in INTERACT 2003, IFIP TC 13 conf. on HCI, 10 pages. Palanque P. & Schyn A. A Model-Based Approach for Engineering Multimodal Interactive Systems in INTERACT 2003, IFIP TC 13 conf. on HCI, 10 pages."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. of the BCS HCI Conf. (BCS-HCI '09)","author":"Songyang Lao","year":"2009","unstructured":"Songyang Lao , Xiangan Heng, Guohua Zhang , Yunxiang Ling, and Peng Wang . 2009 . A gestural interaction design model for multi-touch displays . Proc. of the BCS HCI Conf. (BCS-HCI '09) , 440--446. Songyang Lao, Xiangan Heng, Guohua Zhang, Yunxiang Ling, and Peng Wang. 2009. A gestural interaction design model for multi-touch displays. Proc. of the BCS HCI Conf. (BCS-HCI '09), 440--446."}],"event":{"name":"EICS'14: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["AOSA Aspect-Oriented Software Association","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Rome Italy","acronym":"EICS'14"},"container-title":["Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2607023.2610286","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2607023.2610286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:43Z","timestamp":1750230103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2607023.2610286"}},"subtitle":["application to multi-touch interactions"],"short-title":[],"issued":{"date-parts":[[2014,6,17]]},"references-count":21,"alternative-id":["10.1145\/2607023.2610286","10.1145\/2607023"],"URL":"https:\/\/doi.org\/10.1145\/2607023.2610286","relation":{},"subject":[],"published":{"date-parts":[[2014,6,17]]},"assertion":[{"value":"2014-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}