{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:32Z","timestamp":1720624952904},"reference-count":16,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4472,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80895-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"75-96","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Formal Verification in the Design of Gestural Interaction"],"prefix":"10.1016","volume":"43","author":[{"given":"G.J.","family":"Doherty","sequence":"first","affiliation":[]},{"given":"G.","family":"Faconti","sequence":"additional","affiliation":[]},{"given":"M.","family":"Massink","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB1","series-title":"Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services","article-title":"Congnitive Modelling for User Requirements","author":"Barnard","year":"1993"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB2","unstructured":"Bordegoni M.: 1992. \u201cDynamic Gesture Machine\u201d. RAL Report 92\ue4f8019, February."},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Bordegoni M.: 1993. \u201cGesture Interaction in a 3D User Interface\u201d. Arbeitspapiere der GMD, no. 733.","DOI":"10.1111\/1467-8659.1230001"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Martin J., D. Hall and J. L. Crowley: 1999. Statistical Gesture Recognition Through Modelling of Parameter Trajectories. In: Proceedings of Gesture Workshop, Gif-sur-Ivette, LNAI 1739, Springer-Verlag.","DOI":"10.1007\/3-540-46616-9_12"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB5","unstructured":"D'Argenio, P.R.: 1999. \u201cAlgebras and Automata for Timed and Stochastic Systems\u201d. PhD Thesis, University of Twente, ISBN 90-365\ue4f81363-4."},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB6","unstructured":"Doherty G.J., M. Massink: 2000. Continuous Interaction nad Human Control. In: Proc. of the XVIII European annual Conference on Human Decision Making and Manual Control, pp. 80\u201396, Group D Publications."},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB7","series-title":"Eurographics'95","article-title":"Reasoning About Gestural Interaction","author":"Duke","year":"1995"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB8","unstructured":"Fels, S.S.: 1990. \u201cBuilding Adaptive Interfaces with Neural Networks: the Glove-Talk Pilot Study\u201d. University of Toronto, Technical Report CRG-TR-90-1."},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Harling, P.A., D.N. Edwards (Eds): 1996. Hand Tension as a Gesture Segmentation Cue. Proceedings of Gesture Workshop, Springer-Verlag, York, U.K.","DOI":"10.1007\/978-1-4471-0943-3_7"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BFb0035807","article-title":"\u2018A review of formalisms for describing interactive behaviour\u2019","author":"Harrison","year":"1995","journal-title":"IEEE Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A.: 1996. The Theory of Hybrid Automata. In: Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science. pp. 278\u2013292.","DOI":"10.1109\/LICS.1996.561342"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., P. H. Ho, and H. Wong-Toi: 1997. HyTech: A Model checker for Hybrid Systems. In: Proceedings of the Ninth International Conference on Computer Aided verification, Vol. 1254 of Lecture Notes in Computer Science. pp. 110\u2013122.","DOI":"10.1007\/3-540-63166-6_48"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB13","unstructured":"Jensen P., M. S\u03a6rensen, J. Gravgaard, P. Christensen: 1996. Using Autograph to Create Input for Hytech. Available from http:\/\/www.docs.uu.se\/docs\/rtmv\/uppaal\/."},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB14","first-page":"237","article-title":"Gesture recognition using Recurrent Neural Networks","author":"Murakami","year":"1991","journal-title":"ACM 1991"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB15","series-title":"\u201c3 Space user's manual, Polhemus.\u201d","author":"Polhemus","year":"1987"},{"key":"10.1016\/S1571-0661(04)80895-8_NEWBIB16","unstructured":"Rushby J.: 1999. Using model checking to help discover mode confusions and other automation surprises. In: D. Javau (Ed.), Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSL'99), University of Liege, Belgium, 1999."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808958?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808958?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:24Z","timestamp":1585897824000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":16,"alternative-id":["S1571066104808958"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80895-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}