| 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 | 1188 | 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 | 977 | 1996 |
| CUDD: CU decision diagram package release 2.3. 0 F Somenzi University of Colorado at Boulder 621, 1998 | 844* | 1998 |
| Logic synthesis and verification algorithms GD Hachtel, F Somenzi Springer Science & Business Media, 2005 | 799 | 2005 |
| Efficient Büchi automata from LTL formulae F Somenzi, R Bloem Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 498 | 2000 |
| CUDD: CU decision diagram package F Somenzi Public Software, University of Colorado, 1997 | 498 | 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 | 435 | 1997 |
| Who are the variables in your neighbourhood S Panda, F Somenzi Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 283 | 1995 |
| High-density reachability analysis K Ravi, F Somenzi Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 232 | 1995 |
| Symmetry detection and dynamic variable ordering of decision diagrams S Panda, F Somenzi, BF Plessier ICCAD, 628-631, 1994 | 229 | 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 | 200 | 1996 |
| Minimal assignments for bounded model checking K Ravi, F Somenzi International Conference on Tools and Algorithms for the Construction and …, 2004 | 172 | 2004 |
| 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 | 164 | 2019 |
| 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 | 156 | 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 | 154 | 1990 |
| An exact minimizer for Boolean relations RK Brayton, F Somenzi 1989 IEEE International Conference on Computer-Aided Design, 316,317,318,319 …, 1989 | 139 | 1989 |
| Binary decision diagrams F Somenzi NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 173, 303-368, 1999 | 136 | 1999 |
| 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 | 127 | 1998 |
| 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 | 127 | 1994 |
| 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 | 122 | 1993 |
