| Algebric decision diagrams and their applications RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E Macii, A Pardo, ... Formal methods in system design 10, 171-206, 1997 | 1183 | 1997 |
| VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 966 | 1996 |
| CUDD: CU decision diagram package release 2.3. 0 F Somenzi University of Colorado at Boulder 621, 1998 | 829* | 1998 |
| Logic synthesis and verification algorithms GD Hachtel, F Somenzi Springer Science & Business Media, 2005 | 791 | 2005 |
| Efficient Büchi automata from LTL formulae F Somenzi, R Bloem Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 500 | 2000 |
| CUDD: CU decision diagram package F Somenzi Public Software, University of Colorado, 1997 | 488 | 1997 |
| High-level power modeling, estimation, and optimization E Macii, M Pedram, F Somenzi Proceedings of the 34th annual Design Automation Conference, 504-511, 1997 | 434 | 1997 |
| Who are the variables in your neighbourhood S Panda, F Somenzi Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 277 | 1995 |
| High-density reachability analysis K Ravi, F Somenzi Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 230 | 1995 |
| Symmetry detection and dynamic variable ordering of decision diagrams S Panda, F Somenzi, BF Plessier ICCAD, 628-631, 1994 | 222 | 1994 |
| Markovian analysis of large finite state machines GD Hachtel, E Macii, A Pardo, F Somenzi IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996 | 199 | 1996 |
| Minimal assignments for bounded model checking K Ravi, F Somenzi International Conference on Tools and Algorithms for the Construction and …, 2004 | 166 | 2004 |
| Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration H Cho, GD Hachtel, F Somenzi IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1993 | 153 | 1993 |
| ATPG aspects of FSM verification G Hachtel, H Cho, SW Jeong, B Plessier, E Schwarz, F Somenzi Proceeding of the International Conference on Computer-Aided Design, 134-137, 1990 | 152 | 1990 |
| Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International conference on tools and algorithms for the construction and …, 2019 | 151 | 2019 |
| An exact minimizer for Boolean relations RK Brayton, F Somenzi 1989 IEEE International Conference on Computer-Aided Design, 316,317,318,319 …, 1989 | 138 | 1989 |
| Binary decision diagrams F Somenzi NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 173, 303-368, 1999 | 135 | 1999 |
| Algorithms for approximate FSM traversal H Cho, GD Hachtel, E Macii, B Plessier, F Somenzi Proceedings of the 30th international Design Automation Conference, 25-30, 1993 | 133 | 1993 |
| Re-encoding sequential circuits to reduce power dissipation GD Hachtel, M Hermida, A Pardo, M Poncino, F Somenzi IEEE/ACM International Conference on Computer-Aided Design, 70, 71, 72, 73 …, 1994 | 126 | 1994 |
| A performance study of BDD-based model checking B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ... Formal Methods in Computer-Aided Design: Second International Conference …, 1998 | 123 | 1998 |
