Publication Percolation on Dense Graph Sequences Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan Ann. Probab | January 2007, Vol 38: pp. 150-183
Publication Experimental Study on Speed-Up Techniques for Timetable Information Systems Reinhard Bauer, Daniel Delling, Dorothea Wagner Proceedings of the 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS’07) | January 2007
Publication Discrete Surfaces in Isotropic Geometry Helmut Pottmann, Yang Liu Mathematics of Surfaces XII | January 2007
Publication Improved Approximation Ratios for Traveling Salesperson Tours and Paths in Directed Graphs Uriel Feige, Mohit Singh In Proceedings of 10th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2007 | January 2007
Publication Towards 3-query locally decodable codes of subexponential length Sergey Yekhanin Journal of the ACM | January 2007, Vol 55(1): pp. 1-16
Publication A First Step Towards a Unified Proof Checker for QBF Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, Christoph M. Wintersteiger Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) | January 2007 Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Publication Structure Learning with Nonparametric Decomposable Models Anton Schwaighofer, Mathäus Dejori, Volker Tresp, Martin Stetter Artificial Neural Networks – ICANN 2007 | January 2007
Publication Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)
Publication On Decidability of Nominal Subtyping with Variance Andrew Kennedy, Benjamin C. Pierce International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD) | January 2007 International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
