Jeremy Gow

	2009
18		Claire Warwick, Jon Rimmer, Ann Blandford, Jeremy Gow, George Buchanan: Cognitive economy and satisficing in information seeking: A longitudinal study of undergraduate information behavior. JASIST 60(12): 2402-2415 (2009)
	2008
17		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		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		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		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		George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing aggregate works in the digital library. JCDL 2007: 247-256
12		Paul A. Cairns, Jeremy Gow: Integrating Searching and Authoring in Mizar. J. Autom. Reasoning 39(2): 141-160 (2007)
11		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		George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing Aggregate Works in the Digital Library. ECDL 2006: 532-535
9		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		Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns: Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212
7		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		Harold W. Thimbleby, Jeremy Gow: Computer algebra in interface design research. IUI 2004: 366-367
4		Paul A. Cairns, Jeremy Gow: Using and Parsing the Mizar Language. Electr. Notes Theor. Comput. Sci. 93: 60-69 (2004)
	2003
3		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] [18]
4	George Buchanan	[10] [11] [13] [14] [15] [17] [18]
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] [18]
14	Harold W. Thimbleby	[5] [6] [8]
15	Claire Warwick	[10] [11] [13] [14] [15] [17] [18]

Colors in the list of coauthors