  |
 |
 |
 |
 |
 |
 |
 |
 |
Alumni
2009 | 2008 | 2007 | 2006 | 2005 | 2004
2003 | 2002 | 2001 | 2000 | 1999 | 1998
1997 | 1996 | 1995 | 1994 | 1993 | 1992
1995
Harm Hofstee
Synchronizing Processes
David Laidlaw
Geometric Model Extraction from Magnetic Resonance Volume Data
Tak Lee
A General Approach to Performance Analysis and Optimization of Asynchronous
Circuits
K.Rustan Leino
Toward Reliable Modular Programs
Frank Perez
Hue Segmentation, Color Circuitry, and the Mantis Shrimp
José Tierno
An Energy-Complexity Model for VLSI Computations
Marcel Goot
Semantics of VLSI Synthesis
