Jeremy Gow

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Mixed-Initiative Creative Interfaces

Sebastian Deterding, Jonathan Hook, Rebecca Fiebrink et al. · 2017 · 110 citations · Full text

Arts, Design, Artificial Intelligence +9

Cognitive economy and satisficing in information seeking: A longitudinal study of undergraduate information behavior

Claire Warwick, Jon Rimmer, Ann Blandford et al. · Journal of the American Society for Information Science and Technology · 2009 · 106 citations · Full text

Education, Higher Education, Cognitive Psychology +9

A library or just another information resource? A case study of users' mental models of traditional and digital libraries

Stephann Makri, Ann Blandford, Jeremy Gow et al. · Journal of the American Society for Information Science and Technology · 2006 · 73 citations · Full text

Business, Information Systems, Psychology +13

An examination of the physical and the digital qualities of humanities research

Jon Rimmer, Claire Warwick, Ann Blandford et al. · Information Processing & Management · 2007 · 69 citations · Full text

Humanities, Literary Arts, Digital Culture Studies +13