论文与出版物 Computing the Shortest Path: A* Search Meets Graph Theory Andrew Goldberg, Chris Harrelson MSR-TR-2004-24 | July 2004
论文与出版物 A Comparison of Inference Techniques for Semi-supervised Clustering with Hidden Markov Random Fields Misha Bilenko, Sugato Basu Proceedings of the ICML-2004 Workshop on Statistical Relational Learning and its Connections to Other Fields (SRL-2004) | July 2004
论文与出版物 Wobbly Types: Type Inference For Generalised Algebraic Data Types Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich MS-CIS-05-26 | July 2004 Microsoft Research
论文与出版物 From Stack Inspection to Access Control: A Security Analysis for Libraries Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andy Gordon 17th IEEE Computer Security Foundations Workshop (CSFW 2004) | June 2004
论文与出版物 Typestates for objects Robert DeLIne, Manuel Fahndrich ECOOP 2004 – Object-Oriented Programming | June 2004 ISBN: 978-3-540-24851-4