Author: Mieke Massink
Publication Overview
Publication period start: 1999
Number of co-authors: 17
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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