출판 Conditional Correlation Analysis for Safe Region-based Memory Management Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang Programming Language Design and Implementation (PLDI) | January 2008
출판 People Tracking with the Laplacian Eigenmaps Latent Variable Model Zhengdong Lu, Miguel A. Carreira-Perpinan, Cristian Sminchisescu Advances in Neural Information Processing Systems (NIPS 20) | January 2008 Advances in Neural Information Processing Systems (NIPS 20)
출판 Digitaltechnik – eine praxisnahe Einführung Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger Published by Springer Verlag Berlin Heidelberg | January 2008
출판 Incentive Compatible Regression Learning Ofer Dekel, Felix Fischer, Ariel Procaccia Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008
출판 A Programming Model for Concurrent Object-Oriented Programs Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte ACM Trans. Program. Lang. Syst. | January 2008, 제 31 권 프로젝트 프로젝트
출판 An Automatic Verifier for Java-Like Programs Based on Dynamic Frames Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte FASE | January 2008 ISBN: 978-3-540-78742-6
출판 The Role of Abduction in Declarative Authorization Policies Mo Becker 10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008 10th International Symposium on Practical Aspects of Declarative Languages (PADL)
출판 On the Approximability of Combinatorial Exchange Problems Moshe Babaioff, Patrick Briest, Piotr Krysta International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008
출판 Model-Based Software Testing and Analysis with C# Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published by Cambridge University Press | January 2008 ISBN: 9780521687614