Jeremy Gow

2008
17	EE	Ann Blandford, Anne Adams, Simon Attfield, George Buchanan, Jeremy Gow, Stephann Makri, Jon Rimmer, Claire Warwick: The PRET A Rapporter framework: Evaluating digital libraries from the perspective of information work. Inf. Process. Manage. 44(1): 4-21 (2008)
16	EE	Jeremy Gow, Ann Blandford, Sally Jo Cunningham: Special issue on digital libraries in the context of users' broader activities. Inf. Process. Manage. 44(2): 556-557 (2008)
15	EE	Jon Rimmer, Claire Warwick, Ann Blandford, Jeremy Gow, George Buchanan: An examination of the physical and the digital qualities of humanities research. Inf. Process. Manage. 44(3): 1374-1392 (2008)
2007
14	EE	Ann Blandford, Jeremy Gow, George Buchanan, Claire Warwick, Jon Rimmer: Creators, Composers and Consumers: Experiences of Designing a Digital Library. INTERACT (1) 2007: 239-242
13	EE	George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing aggregate works in the digital library. JCDL 2007: 247-256
12	EE	Paul A. Cairns, Jeremy Gow: Integrating Searching and Authoring in Mizar. J. Autom. Reasoning 39(2): 141-160 (2007)
11	EE	Stephann Makri, Ann Blandford, Jeremy Gow, Jon Rimmer, Claire Warwick, George Buchanan: A library or just another information resource? A case study of users' mental models of traditional and digital libraries. JASIST 58(3): 433-445 (2007)
2006
10	EE	George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing Aggregate Works in the Digital Library. ECDL 2006: 532-535
9	EE	Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot: Constructing Induction Rules for Deductive Synthesis Proofs. Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006)
2005
8	EE	Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns: Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212
7	EE	Paul A. Cairns, Jeremy Gow: Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173
2004
6		Jeremy Gow, Harold W. Thimbleby: MAUI: An Interface Design Tool Based on Matrix Algebra. CADUI 2004: 81-94
5	EE	Harold W. Thimbleby, Jeremy Gow: Computer algebra in interface design research. IUI 2004: 366-367
4	EE	Paul A. Cairns, Jeremy Gow: Using and Parsing the Mizar Language. Electr. Notes Theor. Comput. Sci. 93: 60-69 (2004)
2003
3	EE	Paul A. Cairns, Jeremy Gow: A Theoretical Analysis of Hierarchical Proofs. MKM 2003: 175-187
2		Paul A. Cairns, Jeremy Gow, Peter Collins: On Dynamically Presenting a Topology Course. Ann. Math. Artif. Intell. 38(1-3): 91-104 (2003)
1999
1		Jeremy Gow, Alan Bundy, Ian Green: Extensions to the Estimation Calculus. LPAR 1999: 258-272

Coauthor Index

1	Anne Adams	[17]
2	Simon Attfield	[17]
3	Ann Blandford	[10] [11] [13] [14] [15] [16] [17]
4	George Buchanan	[10] [11] [13] [14] [15] [17]
5	Alan Bundy	[1] [9]
6	Paul A. Cairns	[2] [3] [4] [7] [8] [12]
7	Peter Collins	[2]
8	Sally Jo Cunningham	[16]
9	Lucas Dixon	[9]
10	Jacques D. Fleuriot	[9]
11	Ian Green	[1]
12	Stephann Makri	[11] [17]
13	Jon Rimmer	[10] [11] [13] [14] [15] [17]
14	Harold W. Thimbleby	[5] [6] [8]
15	Claire Warwick	[10] [11] [13] [14] [15] [17]

Colors in the list of coauthors