Andy Gimblett

	2011
6		Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby: Engineering interactive computer systems for medicine and healthcare (EICS4Med). EICS 2011: 341-342
5		Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi: Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. EICS 2011: 73-78
4		Harold W. Thimbleby, Andy Gimblett: Dependable keyed data entry for interactive systems. ECEASST 45: (2011)
3		Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45: (2011)
	2010
2		Andy Gimblett, Harold W. Thimbleby: User interface model discovery: towards a generic approach. EICS 2010: 145-154
	2004
1		Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78

Coauthor Index

1	Ann Blandford	[6]
2	Abigail Cauchi	[3] [5]
3	Paul Curzon	[3]
4	Luigi Gallo	[6]
5	Yunqiu Li	[3]
6	Paolo Masci	[3]
7	Patrick Oladimeji	[3] [6]
8	Giuseppe De Pietro	[6]
9	Markus Roggenbach	[1]
10	Rimvydas Ruksenas	[3]
11	Bernd-Holger Schlingloff (Holger Schlingloff)	[1]
12	Harold W. Thimbleby	[2] [3] [4] [5] [6]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page