출판 The ABCs of Specification: AsmL, Behavior, and Components Mike Barnett, Wolfram Schulte Informatica | November 2001, 제 25 권(4): pp. 517-526 프로젝트
출판 Notes on Nominal Calculi for Security and Mobility Andy Gordon FOSAD 2000: Foundations of Security Analysis and Design장, Lecture Notes in Computer Science (LNCS) Published by Springer, Berlin, Heidelberg | October 2001, Vol 2171 ISBN: 9783540428961
출판 Method and apparatus for slicing class hierarchies Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip October 2001
출판 Data Abstraction and Information Hiding Rustan Leino, Greg Nelson ACM Transactions on Programming Languages and Systems | October 2001
출판 Jiazzi: New-Age Components for Old-Fashioned Java Sean McDirmid, Matthew Flatt, Wilson C. Hsieh OOPSLA | October 2001 OOPSLA
출판 Kernel Methods for Extracting Local Image Semantics Ben Bradshaw, John Platt, Bernhard Scholkopf MSR-TR-2001-99 | October 2001
출판 Recursive Structures for Standard ML Claudio Russo ICFP ’01 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | October 2001 ISBN: 1-58113-415-0
출판 Spying on Components: A Runtime Verification Technique Mike Barnett, Wolfram Schulte Workshop on Specification and Verification of Component-Based Systems | October 2001 Published as Iowa State Technical Report 01-09a
출판 General and Specific Interfaces: Experiences with a Multimedia Platform David Bargeron, Jonathan Grudin, Anoop Gupta MSR-TR-2001-90 | October 2001
출판 Efficient Feature Extraction for 2D/3D Objects in Mesh Representation Cha Zhang, T Chen Image Processing, 2001. Proceedings. 2001 International Conference | October 2001