Paul B. Thistlewaite

1999
16		Nick Craswell, David Hawking, Paul B. Thistlewaite: Merging Results From Isolated Search Engines. Australasian Database Conference 1999: 189-200
15	EE	David Hawking, Paul B. Thistlewaite: Methods for Information Server Selection. ACM Trans. Inf. Syst. 17(1): 40-76 (1999)
14	EE	David 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
10	EE	David Hawking, Paul B. Thistlewaite, Nick Craswell: ANU/ACSys TREC-6 Experiments. TREC 1997: 275-290
9	EE	David 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
7	EE	David Hawking, Paul B. Thistlewaite, Peter Bailey: ANU/ACSys TREC-5 Experiments. TREC 1996
6	EE	Paul B. Thistlewaite, Steve Ball: Active FORMs. Computer Networks 28(7-11): 1355-1364 (1996)
1995
5	EE	David 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
2		Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite: Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE 1988: 197-217
1986
1		Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: The KRIPKE Automated Theorem Proving System. CADE 1986: 705-706

Coauthor Index

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

Colors in the list of coauthors