출판 Stochastic HPSG Parse Selection using the Redwoods Corpus Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger Journal of Logic and Computation | January 2005
출판 Optimal Packetization of Fine Granularity Scalability Codestreams for Error-Prone Channels Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li IEEE Int. Conf. Image Processing 2005 | January 2005 IEEE Int. Conf. Image Processing 2005
출판 On-The-Fly Testing of Reactive Systems Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli MSR-TR-2005-05 | January 2005 프로젝트
출판 Support Vector Machines for Paraphrase Identification and Corpus Construction Chris Brockett, Bill Dolan Third International Workshop on Paraphrasing (IWP2005) | January 2005
출판 The Spec# Programming System: An Overview Mike Barnett, Rustan Leino, Wolfram Schulte CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices | January 2005 CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices 프로젝트
출판 Safe Concurrency for Aggregate Objects with Invariants Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte SEFM | January 2005 ISBN: 0-7695-2435-4 프로젝트
출판 Geometric Methods for Feature Selection and Dimensional Reduction Chris J.C. Burges Data Mining and Knowledge Discovery Handbook: A Complete Guide for Practitioners and Researchers | January 2005
출판 Associated types with class Simon Peyton Jones POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages | January 2005 ISBN: 1-58113-830-X
출판 Associated Type Synonyms Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones ACM SIGPLAN International Conference on Functional Programming (ICFP’05) | January 2005
출판 Local Reasoning for Java Matthew J. Parkinson January 2005 January 2005 http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-654.html