Author of the publication

Reasoning about Interactive Systems with Stochastic Models.

, , and . DSV-IS, volume 2220 of Lecture Notes in Computer Science, page 144-163. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Hybrid Automata to Support Human Factors Analysis in a Critical System., , and . Formal Methods in System Design, 19 (2): 143-164 (2001)European chapter initiative: more HCI speakers in ACM's DSP., and . Interactions, 23 (4): 85 (2016)Translation practice in the workplace: contextual analysis and implications for machine translation., , and . Machine Translation, 25 (1): 35-52 (2011)WebWOZ: A Platform for Designing and Conducting Web-based Wizard of Oz Experiments., , and . SIGDIAL Conference, page 160-162. The Association for Computer Linguistics, (2013)Adapting the ADS for High Volume Manufacturing., and . INTERACT, volume 3585 of Lecture Notes in Computer Science, page 1038-1041. Springer, (2005)WebWOZ: a wizard of oz prototyping framework., , , and . EICS, page 109-114. ACM, (2010)Continuous interaction in future computing systems., , , and . Universal Access in the Information Society, 1 (4): 235-236 (2002)Analysing interactive devices based on information resource constraints., , and . Int. J. Hum.-Comput. Stud., 72 (3): 284-297 (2014)Reasoning about Interactive Systems with Stochastic Models., , and . DSV-IS, volume 2220 of Lecture Notes in Computer Science, page 144-163. Springer, (2001)Automatic detection of social rhythms in bipolar disorder., , , , , and . JAMIA, 23 (3): 538-543 (2016)