Publication Notes on Nominal Calculi for Security and Mobility Andy Gordon Chapter FOSAD 2000: Foundations of Security Analysis and Design, in Lecture Notes in Computer Science (LNCS) Published by Springer, Berlin, Heidelberg | October 2001, Vol 2171 ISBN: 978-3-540-42896-1 (Print) 978-3-540-45608-7 (Online)
Publication Method and apparatus for slicing class hierarchies Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip October 2001
Publication 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
Publication 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
Publication Data Abstraction and Information Hiding Rustan Leino, Greg Nelson ACM Transactions on Programming Languages and Systems | October 2001
Publication Kernel Methods for Extracting Local Image Semantics Ben Bradshaw, John Platt, Bernhard Scholkopf MSR-TR-2001-99 | October 2001
Publication General and Specific Interfaces: Experiences with a Multimedia Platform David Bargeron, Jonathan Grudin, Anoop Gupta MSR-TR-2001-90 | October 2001
Publication Efficient Feature Extraction for 2D/3D Objects in Mesh Representation Cha Zhang, T Chen Image Processing, 2001. Proceedings. 2001 International Conference | October 2001
Publication Jiazzi: New-Age Components for Old-Fashioned Java Sean McDirmid, Matthew Flatt, Wilson C. Hsieh OOPSLA | October 2001 OOPSLA
Publication Types for the Ambient Calculus Luca Cardelli, Giorgio Ghelli, Andy Gordon Information and Computation | September 2001, Vol 177(2): pp. 160-194
