Publication 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)
Publication Digitaltechnik – eine praxisnahe Einführung Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger Published by Springer Verlag Berlin Heidelberg | January 2008
Publication CompoWeb: A Component-Oriented Web Architecture Rui Guo, Bin Benjamin Zhu, Min Feng, Aimin Pan, Bosheng Zhou WWW 2008 | January 2008
Publication On the Approximability of Combinatorial Exchange Problems Moshe Babaioff, Patrick Briest, Piotr Krysta International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008
Publication 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
Publication Incentive Compatible Regression Learning Ofer Dekel, Felix Fischer, Ariel Procaccia Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008
Publication 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, Vol 31 Projet Projet
Publication 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
Publication 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)
Publication Constraint-Based Approach for Analysis of Hybrid Systems Sumit Gulwani, Ashish Tiwari Computer Aided Verification (CAV) | January 2008 Projet