Jeremy Gow

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. Intelligent User Interfaces 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	Ann Blandford	[10] [11] [13] [14]
2	George Buchanan	[10] [11] [13] [14]
3	Alan Bundy	[1] [9]
4	Paul A. Cairns	[2] [3] [4] [7] [8] [12]
5	Peter Collins	[2]
6	Lucas Dixon	[9]
7	Jacques D. Fleuriot	[9]
8	Ian Green	[1]
9	Stephann Makri	[11]
10	Jon Rimmer	[10] [11] [13] [14]
11	Harold W. Thimbleby	[5] [6] [8]
12	Claire Warwick	[10] [11] [13] [14]

Colors in the list of coauthors