dblp.uni-trier.dewww.uni-trier.de

Paul B. Thistlewaite Vis

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

*1999
16 Nick Craswell, David Hawking, Paul B. Thistlewaite: Merging Results From Isolated Search Engines. Australasian Database Conference 1999: 189-200
15EEDavid Hawking, Paul B. Thistlewaite: Methods for Information Server Selection. ACM Trans. Inf. Syst. 17(1): 40-76 (1999)
14EEDavid Hawking, Nick Craswell, Paul B. Thistlewaite, Donna Harman: Results and Challenges in Web Search Evaluation. Computer Networks 31(11-16): 1321-1330 (1999)
13 David Hawking, Paul B. Thistlewaite, Donna Harman: Scaling Up the TREC Collection. Inf. Retr. 1(1-2): 115-137 (1999)
1998
12 David Hawking, Nick Craswell, Paul B. Thistlewaite: ACSys TREC-7 Experiments. TREC 1998: 244-257
11 David Hawking, Nick Craswell, Paul B. Thistlewaite: Overview of TREC-7 Very Large Collection Track. TREC 1998: 40-52
1997
10EEDavid Hawking, Paul B. Thistlewaite, Nick Craswell: ANU/ACSys TREC-6 Experiments. TREC 1997: 275-290
9EEDavid Hawking, Paul B. Thistlewaite: Overview of TREC-6 Very Large Collection Track. TREC 1997: 93-105
8 Paul B. Thistlewaite: Automatic Construction and Management of Large Open Webs. Inf. Process. Manage. 33(2): 161-173 (1997)
1996
7EEDavid Hawking, Paul B. Thistlewaite, Peter Bailey: ANU/ACSys TREC-5 Experiments. TREC 1996
6EEPaul B. Thistlewaite, Steve Ball: Active FORMs. Computer Networks 28(7-11): 1355-1364 (1996)
1995
5EEDavid Hawking, Paul B. Thistlewaite: Proximity Operators - So Near And Yet So Far. TREC 1995
1994
4 David Hawking, Paul B. Thistlewaite: Searching For Meaning With The Help Of A PADRE. TREC 1994: 0-
1991
3 Paul B. Thistlewaite, Michael A. McRobbie: Approaching Hard Non-Classical Problems. J. Autom. Reasoning 7(4): 635-637 (1991)
1988
2EEMichael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite: Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE 1988: 197-217
1986
1EEPaul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: The KRIPKE Automated Theorem Proving System. CADE 1986: 705-706

Coauthor Index

1Peter Bailey [7]
2Steve Ball [6]
3Nick Craswell [10] [11] [12] [14] [16]
4Donna Harman [13] [14]
5David Hawking [4] [5] [7] [9] [10] [11] [12] [13] [14] [15] [16]
6Michael A. McRobbie [1] [2] [3]
7Robert K. Meyer [1] [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)