{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T21:23:43Z","timestamp":1771881823013,"version":"3.50.1"},"reference-count":28,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Human\u2013Computer Interaction"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1207\/s15327051hci1403_1","type":"journal-article","created":{"date-parts":[[2004,1,14]],"date-time":"2004-01-14T14:14:26Z","timestamp":1074089666000},"page":"245-282","source":"Crossref","is-referenced-by-count":1,"title":["Timetrees: A Branching-Time Structure for Modeling Activity and State in Human-Computer Interaction"],"prefix":"10.1080","volume":"14","author":[{"given":"Jeff","family":"Brandenburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. Rex","family":"Hartson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2009,11,12]]},"reference":[{"key":"p_1_1","doi-asserted-by":"crossref","unstructured":"Abowd, G. D. & Dix, A. J. (1994). Integrating status and event phenomena in formal specifications of interactive systems. Proceedings of Second ACM SIGSOFT Symposium on Foundations of Software Engineering (in Software Engineering Notes v. 19, n. 5, December 1994), 44-52. New Orleans, LA: ACM.","DOI":"10.1145\/193173.195293"},{"key":"p_2_2","unstructured":"Brandenburg, J. L. (1995). Timetrees: A branching-time structure for modeling activity and state in the human-computer interface. Unpublished doctoral dissertation, Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg."},{"key":"p_3_3","doi-asserted-by":"crossref","unstructured":"Card, S. K., Mackinlay, J. D. & Robertson, G. G. (1990). The design space of input devices. Proceedings of CHI'90, 117-124. New York: ACM.","DOI":"10.1145\/97243.97263"},{"key":"p_4_4","doi-asserted-by":"publisher","DOI":"10.1145\/358886.358895"},{"key":"p_5_5","unstructured":"Card, S. K., Moran, T. P. & Newell, A. (1983). The psychology of human-computer interaction. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc."},{"key":"p_6_6","doi-asserted-by":"crossref","unstructured":"Carr, D. A. (1994). Specification of interface interaction objects. Proceedings of CHI'94, 372-377. New York: ACM.","DOI":"10.1145\/191666.191793"},{"key":"p_7_7","unstructured":"Carroll, J. M. (Ed.). (1995). Scenario-based design: Envisioning work and technology in system development. New York: Wiley."},{"key":"p_8_8","doi-asserted-by":"publisher","DOI":"10.1109\/52.16899"},{"key":"p_9_9","unstructured":"Harrison, M. & Thimbleby, H. (Ed.). (1990). Formal methods in human-computer interaction. Cambridge, England: Cambridge University Press."},{"key":"p_10_10","doi-asserted-by":"crossref","unstructured":"Hartson, H. R. & Gray, P. D. (1992). Temporal aspects of tasks in the user action notation. Human-Computer Interaction, 7, 1-45.","DOI":"10.1207\/s15327051hci0701_1"},{"key":"p_11_11","doi-asserted-by":"publisher","DOI":"10.1145\/98188.98191"},{"key":"p_12_12","unstructured":"Hix, D. & Hartson, H. R. (1993). Developing user interfaces: Ensuring usability through product & process. New York: Wiley."},{"key":"p_13_13","unstructured":"Hoare, C. A. R. (1985). Communicating sequential processes. Englewood Cliffs, NJ: Prentice Hall."},{"key":"p_14_14","doi-asserted-by":"crossref","unstructured":"Hoogeboom, H. J. & Rozenberg, G. (1986). Infinitary languages: Basic theory and applications to concurrent systems. In J. W. d. Bakker, W.P. d. Roever, & G. Rozenberg (Eds.), Current trends in concurrency (pp. 266-342). Berlin: Springer-Verlag.","DOI":"10.1007\/BFb0027043"},{"key":"p_15_15","unstructured":"Hughes, G. E. & Cresswell, M. J. (1968). An introduction to modal logic. London: Methuen."},{"key":"p_16_16","unstructured":"Jacob, R. J. K. (1985). An executable specification technique for describing human-computer interaction. In H. R. Hartson (Ed.), Advances in human-computer interaction (pp. 211-242). Norwood, NJ: Ablex."},{"key":"p_17_17","doi-asserted-by":"publisher","DOI":"10.1145\/27623.27624"},{"key":"p_18_18","doi-asserted-by":"crossref","unstructured":"Kieras, D. & Polson, P. G. (1985). An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies, 22, 365-394.","DOI":"10.1016\/S0020-7373(85)80045-6"},{"key":"p_19_19","doi-asserted-by":"crossref","unstructured":"Luo, P., Szekely, P. & Neches, R. (1993). Management of interface design in HUMANOID. Proceedings of INTERCHI'93, 107-114. New York: ACM.","DOI":"10.1145\/169059.169111"},{"key":"p_20_20","doi-asserted-by":"crossref","unstructured":"Milner, R. (1980). A calculus of communicating systems. Berlin: Springer-Verlag.","DOI":"10.1007\/3-540-10235-3"},{"key":"p_21_21","doi-asserted-by":"crossref","unstructured":"Moran, T. P. (1981). The Command Language Grammar: A representation for the user interface of interactive computer systems. International Journal of Man-Machine Studies, 15, 3-51.","DOI":"10.1016\/S0020-7373(81)80022-3"},{"key":"p_22_22","doi-asserted-by":"crossref","unstructured":"Moriyon, R., Szekely, P. & Neches, R. (1994). Automatic generation of help from interface design models. Proceedings of CHI'94, 225-231. New York: ACM.","DOI":"10.1145\/191666.191751"},{"key":"p_23_23","doi-asserted-by":"crossref","unstructured":"Payne, S. J. & Green, T. R. G. (1986). Task-action grammars: A model of the mental representation of task languages. Human-Computer Interaction, 2, 93-133.","DOI":"10.1207\/s15327051hci0202_1"},{"key":"p_24_24","doi-asserted-by":"crossref","unstructured":"Reisner, P. (1981). Formal grammar and human factors design of an interactive graphics system. IEEE Transactions on Software Engineering, SE-7, 229-240.","DOI":"10.1109\/TSE.1981.234520"},{"key":"p_25_25","unstructured":"Siochi, A. C., Hartson, H. R. & Hix, D. (1990). Notational techniques for accommodating user intention shifts (Technical Report 90-18). Blacksburg: Department of Computer Science, Virginia Polytechnic Institute and State University."},{"key":"p_26_26","doi-asserted-by":"crossref","unstructured":"Sukaviriya, P., Foley, J. D. & Griffith, T. (1993). A second generation user interface design environment: The model and the runtime architecture. Proceedings of InterCHI'93, 375-382. New York: ACM.","DOI":"10.1145\/169059.169299"},{"key":"p_27_27","doi-asserted-by":"publisher","DOI":"10.1145\/253769.253801"},{"key":"p_28_28","doi-asserted-by":"crossref","unstructured":"Wellner, P. (1989). Statemaster: A UIMS based on statecharts for prototyping and target implementation. Proceedings of CHI'89, 177-182. New York: ACM.","DOI":"10.1145\/67449.67486"}],"container-title":["Human\u2013Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1207\/S15327051HCI1403_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,5]],"date-time":"2018-04-05T01:27:11Z","timestamp":1522891631000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1207\/S15327051HCI1403_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":28,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,11,12]]},"published-print":{"date-parts":[[1999,9]]}},"alternative-id":["10.1207\/S15327051HCI1403_1"],"URL":"https:\/\/doi.org\/10.1207\/s15327051hci1403_1","relation":{},"ISSN":["0737-0024","1532-7051"],"issn-type":[{"value":"0737-0024","type":"print"},{"value":"1532-7051","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}