|
Search the dblp DataBase
Jeremy Gow:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jeremy Gow, Harold W. Thimbleby
MAUI: An Interface Design Tool Based on Matrix Algebra. [Citation Graph (0, 0)][DBLP] CADUI, 2004, pp:81-94 [Conf]
- Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
Automatic Critiques of Interface Modes. [Citation Graph (0, 0)][DBLP] DSV-IS, 2005, pp:201-212 [Conf]
- George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick
Representing Aggregate Works in the Digital Library. [Citation Graph (0, 0)][DBLP] ECDL, 2006, pp:532-535 [Conf]
- Harold W. Thimbleby, Jeremy Gow
Computer algebra in interface design research. [Citation Graph (0, 0)][DBLP] Intelligent User Interfaces, 2004, pp:366-367 [Conf]
- Jeremy Gow, Alan Bundy, Ian Green
Extensions to the Estimation Calculus. [Citation Graph (0, 0)][DBLP] LPAR, 1999, pp:258-272 [Conf]
- Paul A. Cairns, Jeremy Gow
A Theoretical Analysis of Hierarchical Proofs. [Citation Graph (0, 0)][DBLP] MKM, 2003, pp:175-187 [Conf]
- Paul A. Cairns, Jeremy Gow
Literate Proving: Presenting and Documenting Formal Proofs. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:159-173 [Conf]
- Paul A. Cairns, Jeremy Gow, Peter Collins
On Dynamically Presenting a Topology Course. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:91-104 [Journal]
- Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
Constructing Induction Rules for Deductive Synthesis Proofs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:3-21 [Journal]
- Paul A. Cairns, Jeremy Gow
Using and Parsing the Mizar Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:60-69 [Journal]
- Ann Blandford, Jeremy Gow, George Buchanan, Claire Warwick, Jon Rimmer
Creators, Composers and Consumers: Experiences of Designing a Digital Library. [Citation Graph (0, 0)][DBLP] INTERACT (1), 2007, pp:239-242 [Conf]
- George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick
Representing aggregate works in the digital library. [Citation Graph (0, 0)][DBLP] JCDL, 2007, pp:247-256 [Conf]
- Paul A. Cairns, Jeremy Gow
Integrating Searching and Authoring in Mizar. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:39, n:2, pp:141-160 [Journal]
Video games as research instruments. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|