Systems & networking

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

Proceedings of the 10th International Conference on Computer-Aided Verification | January 1998

Jim Gemmell, Eve Schooler, Roger Kermode

January 1998

David Hawking, Nick Craswell, Paul Thistlewaite

TREC-7, NIST special publication 500-242 | January 1998

TREC-7, NIST special publication 500-242

\urlhttp://research.microsoft.com/users/nickcr/pubs/hawking_trec98.pdf

S. Walker, Stephen Robertson, M. Boughanem, G. J. F. Jones, K. Sparck Jones

The Sixth Text REtrieval Conference (TREC-6) | January 1998

The Sixth Text REtrieval Conference (TREC–6)

R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran

Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998

Peter Key

January 1998

Jim Gray, Goetz Graefe

P116 | December 1997

Bob Fitzgerald, Bill Bolosky, John (JD) Douceur

Proceedings of 16th Symposium on Operating Systems Principles (SOSP) | December 1997

Mariusz Jakubowski, Ken Steiglitz, Richard K. Squier

Physical Review E | December 1997, Vol 56

Miguel Castro, Atul Adya, Barbara Liskov

MIT/LCS/TM-567 | November 1997