출판 Multi-Attribute Coalitional Games Samuel Ieong, Yoav Shoham Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006
출판 XRT- Exploring Runtime for .NET Architecture and Applications Nikolai Tillmann, Wolfram Schulte Electr. Notes Theor. Comput. Sci. | January 2006, 제 144 권(3): pp. 3-26 프로젝트 프로젝트 프로젝트
출판 A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs Wolfram Schulte ICFEM | January 2006 ISBN: 3-540-47460-9 프로젝트
출판 Strong Update, Disposal, and Encapsulation in Bunched Typing Josh Berdine, Peter W. O'Hearn Electronic Notes in Theoretical Computer Science | January 2006, 제 158 권: pp. 81-98
출판 Textual allusions to artifacts in software-related repositories Gina Venolia MSR ’06: Proceedings of the 2006 international workshop on Mining software repositories | January 2006 ISBN: 1-59593-397-2
출판 Automatic Termination Proofs for Programs with Shape-Shifting Heaps Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearu Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | January 2006 ISBN: 3-540-37406-X
출판 Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory Duck, Simon Peyton Jones, Peter Stuckey January 2006 To appear in the Journal of Functional Programming
출판 Haskell Is Not Not ML Simon Peyton Jones European Symposium on Programming, ESOP | January 2006 European Symposium on Programming, ESOP
출판 Adaptive Scheduling With Parallelism Feedback Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson PPOPP | January 2006
출판 A Hybrid Markov/Semi-Markov Conditional Random Field for Sequence Segmentation Galen Andrew Conference on Empirical Methods in Natural Language Processing (EMNLP) | January 2006