☰

Michael Theobald, Ph.D.

Affiliations: 
2002 Columbia University, New York, NY 
Area:
Asynchronous and Mixed-Timing Digital Circuits and Systems, Computer-Aided Design, Networks-on-Chip, Interconnection Networks for Parallel Processors, Low-Power Digital Design
Google:
"Michael Theobald"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Steven M. Nowick grad student 2002 Columbia
 (Efficient algorithms for the design of asynchronous control circuits.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Lerda F, Sinha N, Theobald M. (2003) Symbolic Model Checking of Software Electronic Notes in Theoretical Computer Science. 89: 480-498
Theobald M, Nowick SM. (1998) Fast heuristic and exact algorithms for two-level hazard-free logic minimization Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 17: 1130-1147
Drechsler R, Theobald M, Becker B. (1996) Fast OFDD-based minimization of fixed polarity Reed-Muller expressions Ieee Transactions On Computers. 45: 1294-1299
See more...