{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:54:37Z","timestamp":1648623277923},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interacting with Computers"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1016\/0953-5438(96)01029-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:07:39Z","timestamp":1027595259000},"page":"134-161","source":"Crossref","is-referenced-by-count":3,"title":["Formal framework and necessary properties of the fusion of input modes in user interfaces"],"prefix":"10.1093","volume":"8","author":[{"given":"G.","family":"Faconti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bordegoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Kansy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Trahanias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Rist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","reference":[{"key":"10.1016\/0953-5438(96)01029-6_bib1","series-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","year":"1989"},{"key":"10.1016\/0953-5438(96)01029-6_bib2","series-title":"Proc. Esprit '90 Conf.","first-page":"412","article-title":"Architecture of a multimodal dialogue interface for knowledge-based systems","author":"Binot","year":"1990"},{"key":"10.1016\/0953-5438(96)01029-6_bib3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/0953-5438(96)01029-6_bib4","article-title":"Converging towards a Timed-LOTOS Standard","author":"Bolognesi","year":"1993","journal-title":"Technical Report CNUCE-1993"},{"key":"10.1016\/0953-5438(96)01029-6_bib5","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/965105.807503","article-title":"Put-that-there, voice and gesture at the graphics interface","volume":"14","author":"Bolt","year":"1980","journal-title":"Comput. Graph."},{"key":"10.1016\/0953-5438(96)01029-6_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8659.1230001","article-title":"A dynamic gesture language and graphical feedback for interaction in a 3D user interface","volume":"12","author":"Bordegoni","year":"1993","journal-title":"Comput. Graph. Forum"},{"key":"10.1016\/0953-5438(96)01029-6_bib7","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0097-8493(79)90027-X","article-title":"An experimental graphics system with natural-language input","volume":"4","author":"Brown","year":"1979","journal-title":"Comput. & Graph."},{"key":"10.1016\/0953-5438(96)01029-6_bib8","series-title":"BBN Report No. 1971","article-title":"Mixed-Initiative Man-Computer Dialogues","author":"Carbonell","year":"1970"},{"key":"10.1016\/0953-5438(96)01029-6_bib9","series-title":"Proc. ERCIM Workshop on Multimodal HCI","article-title":"A comparison of approaches for specifying multimodal interactive systems","author":"Coutaz","year":"1993"},{"key":"10.1016\/0953-5438(96)01029-6_bib10","first-page":"231","article-title":"The MSM framework: a design space for multi-sensory-motor systems","volume":"753","author":"Coutaz","year":"1993"},{"key":"10.1016\/0953-5438(96)01029-6_bib11","series-title":"Proc. 3rd Workshop on Computer-Aided Verification","article-title":"An action based framework for verifying logical and behavioural properties of concurrent systems","author":"De Nicola","year":"1991"},{"key":"10.1016\/0953-5438(96)01029-6_bib12","series-title":"Proc. of Advanced Visualization Interfaces","article-title":"Unifying views of interactors","author":"Duke","year":"1994"},{"key":"10.1016\/0953-5438(96)01029-6_bib13","article-title":"MATIS: a case study in formal specification","author":"Duke","year":"1993","journal-title":"The AMODEUS Project \u2014 ESPRIT BRA 7040, Report SM\/WP 17"},{"key":"10.1016\/0953-5438(96)01029-6_bib14","series-title":"Fundamentals of Algebraic Specification \u20141","author":"Ehrig","year":"1985"},{"key":"10.1016\/0953-5438(96)01029-6_bib15","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0953-5438(96)01029-6_bib16","series-title":"A Calculus of Communicating Systems","author":"Milner","year":"1990"},{"key":"10.1016\/0953-5438(96)01029-6_bib17","series-title":"Intelligent User Interfaces","first-page":"11","article-title":"Intelligent multimedia interface technology","author":"Neal","year":"1991"},{"key":"10.1016\/0953-5438(96)01029-6_bib18","first-page":"160","article-title":"MATIS: A Multi-modal Airline Travel Information System","author":"Nigay","year":"1993","journal-title":"The AMODEUS Project \u2014 ESPRIT BRA 7040, Report SM\/WP 10"},{"key":"10.1016\/0953-5438(96)01029-6_bib19","article-title":"Analysing MATIS by interactors and ACTL","author":"Paterno","year":"1994","journal-title":"The AMODEUS Project \u2014 ESPRIT BRA 7040, Report SM\/WP 36"},{"key":"10.1016\/0953-5438(96)01029-6_bib20","article-title":"VoicePaint: a voice and mouse controlled drawing program","author":"Salber","year":"1993","journal-title":"The AMODEUS Project \u2014 ESPRIT BRA 7040, Report SM\/WP 9"},{"issue":"4","key":"10.1016\/0953-5438(96)01029-6_bib21","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/2.56872","article-title":"Talk and draw: bundling speech and graphics","volume":"23","author":"Salisbury","year":"1990","journal-title":"IEEE Comput."},{"key":"10.1016\/0953-5438(96)01029-6_bib22","article-title":"Coverbal iconic gesture in human-computer interaction","author":"Sparrel","year":"1993"},{"key":"10.1016\/0953-5438(96)01029-6_bib23","article-title":"The system modelling glossary","author":"Salber","year":"1994","journal-title":"The AMODEUS Project \u2014 ESPRIT BRA 7040, Report SM\/WP 26"},{"key":"10.1016\/0953-5438(96)01029-6_bib24","series-title":"Understanding Z: A Specification Language And Its Formal Semantics","author":"Spivey","year":"1988"},{"key":"10.1016\/0953-5438(96)01029-6_bib25","series-title":"Intelligent User Interface","article-title":"User and discourse models for multimodal communication","author":"Wahlster","year":"1991"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/8\/2\/134\/2404817\/iwc8-0134.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T09:27:53Z","timestamp":1503480473000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article-lookup\/doi\/10.1016\/0953-5438(96)01029-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["0953543896010296"],"URL":"https:\/\/doi.org\/10.1016\/0953-5438(96)01029-6","relation":{},"ISSN":["0953-5438"],"issn-type":[{"value":"0953-5438","type":"print"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}