Publication Hidden Variable Structures for Training and Decoding with Graphical Models in ASR Geoffrey Zweig Johns Hopkins Workshop Presentation | January 2001
Publication Kernel expansions with unlabeled examples Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | 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 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell Simon Peyton Jones Engineering theories of software construction | Published by IOS Press | 2001 ISBN: ISBN 1 58603 1724
Publication A Proof Sketch Of Something Which May Possibly Be A Conjecture of Oege de Moor Nick Benton December 2000
Publication Boolean and Cartesian Abstraction for Model Checking C Programs Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2000-115 | December 2000 Published by Microsoft Project
Publication 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
Publication Compression of Concentric Mosaic with Rebinning of Slits (ROSS) Y. Wu, Jin Li December 2000
Publication Parameterized Verification of Multithreaded Software Libraries Thomas Ball, Sagar Chaki, Sriram Rajamani MSR-TR-2000-116 | December 2000 Published by Microsoft Project
