Paul B. Thistlewaite

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page