PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cabodi, Gianpiero"

Author of the publication

copydeleteadd this publication to your clipboard
Auxiliary variables for BDD-based representation and manipulation of Boolean functions.

, , and . ACM Trans. Design Autom. Electr. Syst., 3 (3): 309-340 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cabodi, Gianpiero
add a person with the name Cabodi, Gianpiero
 

Other publications of authors with the same name

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking., , , and . DATE, page 688-689. IEEE Computer Society, (2005)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , and . FMCAD, page 1-8. IEEE, (2008)Automated abstraction by incremental refinement in interpolant-based model checking., , and . ICCAD, page 129-136. IEEE Computer Society, (2008)Improved reachability analysis of large finite state machines., , and . ICCAD, page 354-360. IEEE Computer Society / ACM, (1996)Fast Differential Fault Simulation by Dynamic Fault Ordering., , and . ICCD, page 60-63. IEEE Computer Society, (1991)TPDL: Extended Temporal Profile Description Language., , , and . Softw., Pract. Exper., 21 (4): 355-374 (1991)Tightening BDD-based approximate reachability with SAT-based clause generalization∗., , , and . DATE, page 1-6. European Design and Automation Association, (2014)Verification and synthesis of counters based on symbolic techniques., , , and . ED&TC, page 176-181. IEEE Computer Society, (1997)Interpolation sequences revisited., , and . DATE, page 316-322. IEEE, (2011)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)