Martin, Alain J.

Advisor — 19 thesises

• Burch, Jerry R. — A Comparison of Strict and Non-Strict Semantics for Lists (1988, Master's thesis)
• Lee, Tak Kwan — A General Approach to Performance Analysis and Optimization of Asynchronous Circuits (1995, Dissertation (Ph.D.))
• Li, Peyyun Peggy — A Parallel Execution Model for Logic Programming (1986, Dissertation (Ph.D.))
• Tierno, Jose Andres — An energy-complexity model for VLSI computations (1995, Dissertation (Ph.D.))
• Nyström, Mika — Asynchronous Pulse Logic (2001, Dissertation (Ph.D.))
• Ginis, Roman — Automating Resource Management for Distributed Business Processes (2002, Dissertation (Ph.D.))
• Pénzes, Paul Ivan — Energy-Delay Complexity of Asynchronous Circuits (2002, Dissertation (Ph.D.))
• Wong, Catherine Grace — High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems (2004, Dissertation (Ph.D.))
• Burns, Steven Morgan — Performance analysis and optimization of asynchronous circuits (1991, Dissertation (Ph.D.))
• Chang, Xiaofei — Resetting Asynchronous QDI Systems (2014, Master's thesis)
• Papadantonakis, Karl Spyros — Rigorous Analog Verification of Asynchronous Circuits (2006, Dissertation (Ph.D.))
• Keller, Sean Jason — Robust Near-Threshold QDI Circuit Analysis and Design (2014, Dissertation (Ph.D.))
• Van der Goot, Marcel Rene — Semantics of VLSI synthesis (1995, Dissertation (Ph.D.))
• Prakash, Piyush — Slack Matching (2005, Master's thesis)
• Jang, Wonjin — Soft-Error Tolerant Quasi Delay-insensitive Circuits (2008, Dissertation (Ph.D.))
• Hazewindus, Pieter Johannes — Testing delay-insensitive circuits (1992, Dissertation (Ph.D.))
• Manohar, Rajit — The impact of asynchrony on computer architecture (1999, Dissertation (Ph.D.))
• Prakash, Piyush — Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching (2008, Dissertation (Ph.D.))
• Papadantonakis, Karl Spyros — What is "Deterministic CHP", and is "Slack Elasticity" That Useful? (2002, Master's thesis)