publication venue for

• Device Modeling and System Simulation of Nanophotonic on-Chip Networks for Reliability, Power and Performance 2011
• Constraints in One-to-Many Concretization for Abstraction Refinement 2009
• Spectrum: A Hybrid Nanophotonic-Electric On-Chip Network 2009
• Alembic: An efficient algorithm for CNF preprocessing 2007
• Automatic invariant strengthening to prove properties in bounded model checking 2006
• Guiding simulation with increasingly refined abstract traces 2006
• Prime clauses for fast enumeration of satisfying assignments to boolean circuits 2005
• Refining the SAT decision ordering for bounded model checking 2004
• Dos and don'ts of CTL state coverage estimation 2003
• Symbolic guided search for CTL model checking 2000
• To split or to conjoin: The question in image computation 2000
• Remembrance of things past: Locality and memory in BDDs 1997
• Computing the maximum power cycles of a sequential circuit 1995
• PROBABILISTIC ANALYSIS OF LARGE FINITE STATE MACHINES 1994