José Creissac Campos

	2009
20		João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128
	2008
19		Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207
18		José Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85
17		Michael D. Harrison, Christian Kray, José Creissac Campos: Exploring an Option Space to Engineer a Ubiquitous Computing System. Electr. Notes Theor. Comput. Sci. 208: 41-55 (2008)
16		José L. Silva, José Creissac Campos, Ana C. R. Paiva: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. Electr. Notes Theor. Comput. Sci. 208: 77-93 (2008)
	2007
15		Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: Towards a Coordination Model for Interactive Systems. Electr. Notes Theor. Comput. Sci. 183: 89-103 (2007)
	2006
14		João Carlos Silva, José Creissac Campos, João Saraiva: Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. DSV-IS 2006: 137-150
13		Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Sara Santos, Jan Van den Bergh: Processes: Working Group Report. DSV-IS 2006: 262-264
	2005
12		José Creissac Campos, Gavin J. Doherty: Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200
11		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
	2004
10		António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos: Accessibility and Visually Impaired Users. ICEIS (5) 2004: 75-80
9		José Creissac Campos, Michael D. Harrison, Karsten Loer: Verifying user interface behaviour with model checking. VVEIS 2004: 87-96
	2003
8		José Creissac Campos: Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186
7		José Creissac Campos, Gavin J. Doherty: Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302
6		José Creissac Campos, Michael D. Harrison: From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56
	2001
5		José Creissac Campos, Michael D. Harrison: Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001)
	2000
4		Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Representational Reasoning and Verification. Formal Asp. Comput. 12(4): 260-277 (2000)
	1999
3		José Creissac Campos, Michael D. Harrison: Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188
	1998
2		José Creissac Campos, Michael D. Harrison: The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170
	1997
1		José Creissac Campos, Michael D. Harrison: Formally verifying interactive systems: A review. DSV-IS 1997: 109-124

Coauthor Index

1	El Mustapha El Atifi	[11]
2	Luís Soares Barbosa	[15]
3	Marco Antonio Barbosa	[15]
4	Jan Van den Bergh	[13]
5	Lydie du Bousquet	[11]
6	Stéphane Chatty	[13]
7	Gavin J. Doherty	[4] [7] [11] [12] [19]
8	Gilles Falquet	[11]
9	António Ramires Fernandes	[10]
10	María Paula González	[13]
11	Michael D. Harrison	[1] [2] [3] [4] [5] [6] [9] [17] [18] [19]
12	Christian Kray	[17]
13	Sophie Lepreux	[13]
14	Karsten Loer	[9]
15	Mieke Massink	[11]
16	Erik G. Nilsson	[13]
17	Ana C. R. Paiva	[16]
18	Victor M. Ruiz Penichet	[13]
19	Jorge Ribeiro Pereira	[10]
20	Carmen Santoro	[11]
21	Mónica Sara Santos	[13]
22	João Saraiva	[14] [20]
23	João Carlos Silva	[14] [20]
24	José L. Silva	[16]

Colors in the list of coauthors