论文与出版物 Generation of Named Entities Maria-Luisa Jiménez European Association for Machine Translation | January 2001
论文与出版物 Inadequacy of Computable Loop Invariants Andreas Blass, Yuri Gurevich ACM Transactions on Computer Logic | January 2001
论文与出版物 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell Simon Peyton Jones Engineering theories of software construction | 作者:IOS Press | 2001 ISBN: 1 58603 1724
论文与出版物 Online Markets for Distributed Market Services: the MAJIC system Lior Levy, Liad Blumrosen, Noam Nisan USITS 01 | January 2001
论文与出版物 A Proof Sketch Of Something Which May Possibly Be A Conjecture of Oege de Moor Nick Benton December 2000 December 2000
论文与出版物 Linearly Used Continuations Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW’01) | December 2000
论文与出版物 Boolean and Cartesian Abstraction for Model Checking C Programs Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2000-115 | December 2000 作者:Microsoft 项目
论文与出版物 Parameterized Verification of Multithreaded Software Libraries Thomas Ball, Sagar Chaki, Sriram Rajamani MSR-TR-2000-116 | December 2000 作者:Microsoft 项目
论文与出版物 On Optimal Overcomplete Subband Expansions for Multiple Description Coding Sanjeev Mehrotra Proceedings of SPIE | December 2000