Jeremy Gow Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaire 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnn 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnn Blandford, Jeremy Gow, George Buchanan, Claire Warwick, Jon Rimmer: Creators, Composers and Consumers: Experiences of Designing a Digital Library. INTERACT (1) 2007: 239-242
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing aggregate works in the digital library. JCDL 2007: 247-256
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Cairns, Jeremy Gow: Integrating Searching and Authoring in Mizar. J. Autom. Reasoning 39(2): 141-160 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephann 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick: Representing Aggregate Works in the Digital Library. ECDL 2006: 532-535
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Gow, Harold W. Thimbleby, Paul A. Cairns: Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Cairns, Jeremy Gow: Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173
2004
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Gow, Harold W. Thimbleby: MAUI: An Interface Design Tool Based on Matrix Algebra. CADUI 2004: 81-94
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold W. Thimbleby, Jeremy Gow: Computer algebra in interface design research. IUI 2004: 366-367
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Cairns, Jeremy Gow: Using and Parsing the Mizar Language. Electr. Notes Theor. Comput. Sci. 93: 60-69 (2004)
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Cairns, Jeremy Gow: A Theoretical Analysis of Hierarchical Proofs. MKM 2003: 175-187
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Cairns, Jeremy Gow, Peter Collins: On Dynamically Presenting a Topology Course. Ann. Math. Artif. Intell. 38(1-3): 91-104 (2003)
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Gow, Alan Bundy, Ian Green: Extensions to the Estimation Calculus. LPAR 1999: 258-272

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)