| TITLE | AUTHOR | TR PDF
|
| On the minimization over SO(3) manifolds (2003).
| Frank O. Kuehnel | TR03.12
|
| The Livingstone Model of a Main Propulsion System (2002).
| Anupa Bajwa and Adam Sweet | TR03.04
|
| Synthesizing Certified Code (2002).
| Michael Whalen, Johann Schumann and Bernd Fischer
| TR02.03
|
| Realizing Aspects by Transforming for Events (2002).
| Robert E. Filman and Klaus Havelund | TR02.05
|
| Addressing Dynamic Issues of Program Model Checking (2001).
| Flavio Lerda and Willem Visser | TR01.05
|
| Design and Control of Large Collections of Learning Agents (2001).
| Adrian Agogino | TR01.07
|
| Testing Linear Temporal Logic Formulae on Finite Execution Traces (2001).
| Klaus Havelund and Grigore Rosu | TR01.08
|
| Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae (2001).
| Grigore Rosu and Klaus Havelund | TR01.15
|
| Interpreting Abstract Interpretations in Membership Equational Logic (2001).
| Bernd Fischer and Grigore Rosu | TR01.16
|
| The AutoBayes Program Synthesis System - System Description - (2001)
| Bernd Fischer, Thomas Pressburger, Grigore Rosu and Johann Schumann
| TR01.18
|
| Monitoring Java Programs with Java PathExplorer (2001).
| Klaus Havelund and Grigore Rosu | TR01.19
|
| RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems (2001).
| Charles Pecheur, Willem Visser and Reid Simmons
| TR01.20
|
| Maximally Informative Statistics for Localization and Mapping (2001).
| Matthew Deans | TR01.25
|
| (Almost) Featureless Stereo -- Calibration and Dense 3D Reconstruction Using Whole Image Operations (2001).
| V. N. Smelyanskiy, Robin D. Morris, D.A. Maluf and P. Cheeseman
| TR01.26
|
