Publication Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems Alan Blackwell, Margaret Burnett, Simon Peyton Jones IEEE Symposium on Visual Languages and Human Centric Computing (VLHCC) | September 2004 Project
Publication Random Subgraphs of Finite Graphs: I. The Scaling Window Under the Triangle Condition Christian Borgs, Jennifer Chayes, Remco van der Hofstad, Gordon Slade, Joel Spencer Random Structures and Algorithms 27 | September 2004
Publication Random Subgraphs of Finite Graphs: III. The Phase Transition for the n-cube Christian Borgs, Jennifer Chayes, Remco van der Hofstad, Gordon Slade, Joel Spencer Combinatorica | September 2004
Publication The NearMe Wireless Proximity Server John Krumm, Ken Hinckley UbiComp 2004: Ubiquitous Computing: 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings (Lecture Notes in Computer Science) | September 2004 ISBN: 978-3-540-22955-1
Publication Zing: Exploiting program structure for model checking concurrent software Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie Proceedings of the 15th International Conference on Concurrency Theory | September 2004
Publication An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision Yuri Boykov, Vladimir Kolmogorov Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition | September 2004
Publication Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions Sumit Gulwani, George C. Necula Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004 Project
Publication Algebraic Conditions for Classifying the Positional Relationships of Two Conics and Their Applications Yang Liu, Fa-Lai Chen Journal of Computer Science and Technology | August 2004
