Publication GrayWulf: Conquering Astronomical Databases Yogesh Simmhan Astronomical Data Analysis Software and Systems (ADASS) | November 2008 Astronomical Data Analysis Software and Systems (ADASS)
Publication Modular difference logic is hard Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi MSR-TR-2008-140 | October 2008
Publication GrayWulf: Scalable Clustered Architecture for Data Intensive Computing Alex S. Szalay, Gordon Bell, Jad Vandenberg, Alainna Wonders, Randal Burns, Dan Fay, Jim Heasley, Tony Hey, Maria Nieto-SantiSteban, Ani Thakar, Catharine van Ingen, Richard Wilton MSR-TR-2008-187 | September 2008 Pre-Print of version submitted to HICSS 2009.
Publication A Natural Axiomatization of Computability and Proof of Church’s Thesis Nachum Dershowitz, Yuri Gurevich The Bulletin of Symbolic Logic | September 2008, Vol 14(3)
Publication A Mechanized Bisimulation for the Nu-Calculus Nick Benton, Vasileios Koutavas MSR-TR-2008-129 | September 2008
Publication Partition Identities and the Coin Exchange Problem Alexander E. Holroyd Journal of Combinatorial Theory, Series A | August 2008, Vol 115: pp. 1096-1101
Publication Low-Complexity Hierarchical Lapped Transform for Lossy-to-Lossless Image Coding in JPEG XR / HD Photo Chengjie Tu, Sridhar Srinivasan, Gary J. Sullivan, Shankar Regunathan, Henrique S. Malvar SPIE Applications of Digital Image Processing | August 2008
Publication Deciding Effectively Propositional Logic using DPLL and Substitution Sets Leonardo de Moura, Ruzica Piskac, Nikolaj Bjørner MSR-TR-2008-104 | August 2008
Publication Earth system modelling with Windows Workflow Foundation M. J. Fairman, A. R. Price, G. Xue, M. Molinari, D. A. Nicole, T. M. Lenton, R. Marsh, K. Takeda, S. J. Cox, Kenji Takeda Future Generation Computer Systems | Published by Elsevier | 2008 | Future Generation Computer Systems edition
Publication Bounded Ciphertext Policy Attribute Based Encryption Vipul Goyal, Abhishek Jain, Omkant Pandey, Amit Sahai 35th International Colloquium, ICALP 2008 | July 2008
