Publication Testable Use Cases in the Abstract State Machine Language Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001) | January 2001 ISBN: 0-7695-1287-9 Project
Publication HMM-based Passage Models for Document Classification and Ranking Ludovic Denoyer, Hugo Zaragoza, Patrick Gallinari 23rd European Colloquium on Information Retrieval Research (ECIR’01) | January 2001
Publication Mobile Values, New Names, and Secure Communication Martın Abadi, Cédric Fournet 28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001
Publication Detecting format string vulnerabilities with type qualifiers Kunal Talwar SSYM’01: Proceedings of the 10th conference on USENIX Security Symposium | January 2001
Publication Hidden Variable Structures for Training and Decoding with Graphical Models in ASR Geoffrey Zweig Johns Hopkins Workshop Presentation | January 2001
Publication Estimating the Impact of Scalable Pointer Analysis on Optimization Manuel Fahndrich MSR-TR-2001-20 | January 2001
Publication Ensemble SVM Regression Based Multi-View Face Detection System Stan Z. Li, Ji Yan, Hong-Jiang Zhang, Shujie Zhu MSR-TR-2001-09 | January 2001
Publication Design and Implementation of Generics for the .NET Common Language Runtime Andrew Kennedy, Don Syme Programming Language Design and Implementation | January 2001 Project
Publication Generation of Named Entities Maria-Luisa Jiménez European Association for Machine Translation | January 2001