| 2008 |
|---|
| 13 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Resources for Situated Actions.
DSV-IS 2008: 194-207 |
| 2007 |
|---|
| 12 | | Gavin J. Doherty,
Ann Blandford:
Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Springer 2007 |
| 2005 |
|---|
| 11 | EE | José Creissac Campos,
Gavin J. Doherty:
Supporting Resource-Based Analysis of Task Information Needs.
DSV-IS 2005: 188-200 |
| 10 | EE | Gavin J. Doherty,
Lydie du Bousquet,
José Creissac Campos,
El Mustapha El Atifi,
Gilles Falquet,
Mieke Massink,
Carmen Santoro:
Ambience and Mobility.
DSV-IS 2005: 264 |
| 2003 |
|---|
| 9 | EE | José Creissac Campos,
Gavin J. Doherty:
Reasoning about Dynamic Information Displays.
DSV-IS 2003: 288-302 |
| 2002 |
|---|
| 8 | EE | Gavin J. Doherty,
Giorgio P. Faconti,
Mieke Massink,
Michael Wilson:
Continuous interaction in future computing systems.
Universal Access in the Information Society 1(4): 235-236 (2002) |
| 2001 |
|---|
| 7 | EE | Gavin J. Doherty,
Mieke Massink,
Giorgio P. Faconti:
Reasoning about Interactive Systems with Stochastic Models.
DSV-IS 2001: 144-163 |
| 6 | | Gavin J. Doherty,
Tim Anderson,
Michael Wilson,
Giorgio P. Faconti:
A control centred approach to designing interaction with novel devices.
HCI 2001: 286-290 |
| 5 | EE | Gavin J. Doherty,
Giorgio P. Faconti,
Mieke Massink:
Formal Verification in the Design of Gestural Interaction.
Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 4 | | Gavin J. Doherty,
Mieke Massink,
Giorgio P. Faconti:
Using Hybrid Automata to Support Human Factors Analysis in a Critical System.
Formal Methods in System Design 19(2): 143-164 (2001) |
| 2000 |
|---|
| 3 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Representational Reasoning and Verification.
Formal Asp. Comput. 12(4): 260-277 (2000) |
| 1998 |
|---|
| 2 | | Gavin J. Doherty,
Michael D. Harrison:
Integrating Joint Behaviour and Dialogue Description.
DSV-IS 1998: 293-308 |
| 1997 |
|---|
| 1 | | Gavin J. Doherty,
Michael D. Harrison:
A representational approach to the specification of presentations.
DSV-IS 1997: 273-290 |
