1. Survey on Directed Model Checking;Model Checking and Artificial Intelligence;2009
2. Saturation Unbound;Tools and Algorithms for the Construction and Analysis of Systems;2003
3. Symbolic State Exploration;Electronic Notes in Theoretical Computer Science;2001-12
4. Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring;Journal of Systems Architecture;2001-02
5. Efficient Debugging in a Formal Verification Environment;Lecture Notes in Computer Science;2001