Gavin J. Doherty

	2008
14		Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207
13		Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer: Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74
	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		José Creissac Campos, Gavin J. Doherty: Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200
10		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		José Creissac Campos, Gavin J. Doherty: Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302
	2002
8		Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson: Continuous interaction in future computing systems. Universal Access in the Information Society 1(4): 235-236 (2002)
	2001
7		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 D. Wilson, Giorgio P. Faconti: A control centred approach to designing interaction with novel devices. HCI 2001: 286-290
5		Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: 75-96 (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		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

Coauthor Index

1	Tim Anderson (Timothy Anderson)	[6]
2	El Mustapha El Atifi	[10]
3	Ann Blandford	[12]
4	Lydie du Bousquet	[10]
5	José Creissac Campos	[3] [9] [10] [11] [13] [14]
6	Giorgio P. Faconti (Giorgio Faconti)	[4] [5] [6] [7] [8]
7	Gilles Falquet	[10]
8	Michael D. Harrison	[1] [2] [3] [13] [14]
9	Karsten Loer	[13]
10	Mieke Massink	[4] [5] [7] [8] [10]
11	Carmen Santoro	[10]
12	Michael D. Wilson	[6] [8]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page