Author: Mieke Massink
Publications
Co-authors
Productive Colleagues
- Gavin Doherty
- David J. Duke
- Carmen Santoro
- 29
- 32
- 33
Publications
Doherty, Gavin, Faconti, Giorgio, Massink, Mieke, Wilson, Michael (2002): Continuous interaction in future computing systems. In Universal Access in the Information Society, 1 (4) pp. 235-236. https://www.springerlink.com/openurl.asp?genre=article&issn=1615-5289&volume=1&issue=4&spage=235
Faconti, Giorgio P., Massink, Mieke, Bordegoni, Monica, Angelis, Franco De, Booth, S. (2000): Haptic Cues for Image Disambiguation. In Comput. Graph. Forum, 19 (3) pp. .
Smith, Shamus P., Duke, David J., Massink, Mieke (1999): The Hybrid World of Virtual Environments. In Comput. Graph. Forum, 18 (3) pp. 297-308.
Faconti, Giorgio P., Massink, Mieke (2001): Continuous interaction with computers: issues and requirements. In: Stephanidis, Constantine (eds.) HCI International 2001 - Proceedings of the 9th International Conference on Human-Computer Interaction August 5-10, 2001, New Orleans, USA. pp. 301-305.
Faconti, Giorgio P., Massink, Mieke (1997): Investigating the behaviour of PREMO synchronizable objects. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 125-141.
Beek, Maurice H. Ter, Massink, Mieke, Latella, Diego (2005): Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 39-50. https://dx.doi.org/10.1007/11752707_4
Bowman, Howard, Faconti, Giorgio P., Massink, Mieke (1998): Specification and Verification of Media Constraints using UPAAL. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 261-277.
Doherty, Gavin, Massink, Mieke, Faconti, Giorgio P. (2001): Reasoning about Interactive Systems with Stochastic Models. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 144-163. https://link.springer.de/link/service/series/0558/bibs/2220/22200144.htm
Doherty, Gavin, Bousquet, Lydie du, Campos, José Creissac, Atifi, El Mustapha El, Falquet, Gilles, Massink, Mieke, Santoro, Carmen (2005): Ambience and Mobility. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 264. https://dx.doi.org/10.1007/11752707_24
Massink, Mieke, Duke, David J., Smith, Shamus P. (1999): Towards Hybrid Interface Specifications for Virtual Environments. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 30-51.
Faconti, Giorgio P., Massink, Mieke (2006): Analysis of Pointing Tasks on a White Board. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 185-198. https://dx.doi.org/10.1007/978-3-540-69554-7_15