Programming languages and software engineering

Dan Geiger, Chris Meek

MSR-TR-98-10 | February 2001

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

EUROCAST 2001 | February 2001

Project

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001

Rustan Leino

Information Processing Letters | February 2001

Erhard Rahm, Phil Bernstein

MSR-TR-2001-17 | February 2001

Project

Andy Gordon, Don Syme

MSR-TR-2000-106 | January 2001

ISBN: 1-58113-336-7

Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA

Andreas Blass, Yuri Gurevich

ACM Transactions on Computer Logic | January 2001

Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte

ICLP | January 2001

Ludovic Denoyer, Hugo Zaragoza, Patrick Gallinari

23rd European Colloquium on Information Retrieval Research (ECIR’01) | January 2001

Manuel Fahndrich

MSR-TR-2001-20 | January 2001