Publications index

Harald Ganzinger, Florent Jacquemard, Margus Veanes

Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN 98) | January 1998

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

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

Rustan Leino

OOPSLA '98 | January 1998

Antonio Criminisi, A. Zisserman, Luc J. Van Gool, Simon K. Bramble, David Compton

SPIE | January 1998

Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré

Information Processing Letters | January 1998

Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich

RTA'98 | January 1998

Geoffrey Zweig

January 1998

PhD Thesis: PhD Thesis University of California at Berkeley | January 1998

Michael Ortega, Yong Rui, Kaushik Chakrabarti, Kriengkrai Porkaew, Sharad Mehrotra, Thomas S. Huang

IEEE Trans. Knowl. Data Eng. (TKDE) | January 1998

Goetz Graefe, Usama Fayyad, Surajit Chaudhuri

Proceedings of the Fourth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining | January 1998

Proceedings of the Fourth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Project

Lorrie Faith Cranor, Brian LaMacchia

Commununications of the ACM | January 1998, Vol 41(8): pp. 74-83