1. Efficient Algorithms for the Design of Asynchronous Control Circuits Theobald, Michael 2004 Reports Computer science
2. MINIMALIST: An Environment for the Synthesis, Verification and Testability of Burst-Mode Asynchronous Machines Fuhrer, Robert M.; Nowick, Steven M.; Theobald, Michael; Jha, Niraj K.; Lin, Bill; Plana, Luis 1999 Reports Computer science
3. Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization Theobald, Michael; Nowick, Steven M. 1998 Reports Computer science