Publication From FITS to SQL – Loading and Publishing the SDSS Data Aniruddha R. Thakar, Alexander S. Szalay, Jim Gray Astronomical Data Analysis Software and Systems XIII, ASP Conference Series | October 2003
Publication Language Support for Lightweight Transactions Tim Harris, Keir Fraser Object-Oriented Programming, Systems, Langauges & Applications (OOPSLA ’03) | October 2003 Object-Oriented Programming, Systems, Langauges & Applications (OOPSLA '03)
Publication User-Friendly Surveying Techniques For Location-Aware Systems James Scott, Mike Hazas Proceedings of the Fifth International Conference on Ubiquitous Computing (UbiComp 2003) | October 2003
Publication Algorithms: A Quest for Absolute Definitions Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science Number 81 | October 2003
Publication Technologies for Finding Errors in Object-Oriented Software (Lecture 3) Rustan Leino Summer school on Formal Models of Software Tunis, Tunisia | September 2003
Publication Technologies for Finding Errors in Object-Oriented Software (Lecture 2) Rustan Leino Summer school on Formal Models of Software Tunis, Tunisia | September 2003
Publication Technologies for Finding Errors in Object-Oriented Software (Lecture 1) Rustan Leino Summer school on Formal Models of Software Tunis, Tunisia | September 2003
Publication Managing R&D Alliances Within Government: The “Virtual Agency” Concept Miguel Castro, Roger S. Foster, Kevin Gunn, Edward B. Roberts IEEE Transactions on Engineering Management | September 2003, Vol 50
Publication Technologies for Finding Errors in Object-Oriented Software (Lecture 0) Rustan Leino Summer school on Formal Models of Software Tunis, Tunisia | September 2003
Publication Generating Random Factored Numbers, Easily Adam Tauman Kalai Journal of Cryptology | September 2003, Vol 16(4): pp. 287-289
