Publications index

Martı́n Abadi, Andy Gordon

Information and Computation | January 1999, Vol 148(1): pp. 1-70

Thomas Ball, Jim Larus

MSR-TR-99-01 | January 1999

Michael J. Paul, Ryen W. White, Eric Horvitz

January 1999

ACM Transactions on the Web

Yuri Gurevich, Andrei Voronkov

Theoretical Computer Science | January 1999

Mary Czerwinski, Maarten van Dantzich, George Robertson, Hunter Hoffman

Human-Computer Interaction--Proceedings of Interact '99, Edinburgh, Scotland | January 1999

Kriengkrai Porkaew, Sharad Mehrotra, Michael Ortega, Kaushik Chakrabarti

International Conference on Visual Information and Information Systems | January 1999

Kaushik Chakrabarti, Sharad Mehrotra

ACM SIGMOD Conference | January 1999

Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes

ICALP 1999 | January 1999

Mariusz Jakubowski

January 1999

January 1999

Luca Cardelli

MSR-TR-98-34 | January 1999

Technical Report CSE-TR-344-97, University of Michigan.