dblp.uni-trier.dewww.uni-trier.de

Robert Kanzelman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEJason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen: Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD 2006
2005
2EEHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman: Exploiting suspected redundancy without proving it. DAC 2005: 463-466
2004
1EEHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173

Coauthor Index

1Jason Baumgartner [1] [2] [3]
2Geert Janssen [3]
3Andreas Kuehlmann [1]
4Hari Mony [1] [2] [3]
5Viresh Paruthi [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)