Jeremy Gow

	2012
21		Michael Cook, Simon Colton, Jeremy Gow: Initial Results from Co-operative Co-evolution for Automated Platformer Design. EvoApplications 2012: 194-203
	2010
20		Eduardo H. Calvillo Gámez, Paul A. Cairns, Jeremy Gow, Jonathan Back, Eddie Capstick: Video games as research instruments. CHI Extended Abstracts 2010: 4493-4496
	2009
19		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
18		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)
17		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)
16		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
15		Harold W. Thimbleby, Jeremy Gow: Applying Graph Theory to Interaction Design. EHCI/DS-VIS 2007: 501-519
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	[18]
2	Simon Attfield	[18]
3	Jonathan Back	[20]
4	Ann Blandford	[10] [11] [13] [14] [16] [17] [18] [19]
5	George Buchanan	[10] [11] [13] [14] [16] [18] [19]
6	Alan Bundy	[1] [9]
7	Paul A. Cairns	[2] [3] [4] [7] [8] [12] [20]
8	Eddie Capstick	[20]
9	Peter Collins	[2]
10	Simon Colton	[21]
11	Michael Cook	[21]
12	Sally Jo Cunningham	[17]
13	Lucas Dixon	[9]
14	Jacques D. Fleuriot	[9]
15	Eduardo H. Calvillo Gámez	[20]
16	Ian Green	[1]
17	Stephann Makri	[11] [18]
18	Jon Rimmer	[10] [11] [13] [14] [16] [18] [19]
19	Harold W. Thimbleby	[5] [6] [8] [15]
20	Claire Warwick	[10] [11] [13] [14] [16] [18] [19]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page