☰

Michael Theobald, Ph.D. - Publications

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
Tree Info Similar researchers PubMed Report error

3 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2003 Lerda F, Sinha N, Theobald M. Symbolic Model Checking of Software Electronic Notes in Theoretical Computer Science. 89: 480-498. DOI: 10.1016/S1571-0661(05)80008-8  0.342
1998 Theobald M, Nowick SM. 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. DOI: 10.1109/43.736186  0.41
1996 Drechsler R, Theobald M, Becker B. Fast OFDD-based minimization of fixed polarity Reed-Muller expressions Ieee Transactions On Computers. 45: 1294-1299. DOI: 10.1109/12.544485  0.342
Show low-probability matches.