PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Camurati, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.

, , , , und . FMCAD, Seite 25-32. IEEE, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic traversals of data paths with auxiliary variables., , und . Great Lakes Symposium on VLSI, Seite 93-96. IEEE, (1994)Verification and synthesis of counters based on symbolic techniques., , , und . ED&TC, Seite 176-181. IEEE Computer Society, (1997)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , und . EURO-DAC, Seite 306-311. IEEE Computer Society Press, (1992)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , und . FMCAD, Seite 1-8. IEEE, (2008)TPDL: Extended Temporal Profile Description Language., , , und . Softw., Pract. Exper., 21 (4): 355-374 (1991)Improved reachability analysis of large finite state machines., , und . ICCAD, Seite 354-360. IEEE Computer Society / ACM, (1996)A simulation-based approach to test pattern generation for synchronous sequential circuits., , , und . VTS, Seite 263-267. IEEE Computer Society, (1992)Automated abstraction by incremental refinement in interpolant-based model checking., , und . ICCAD, Seite 129-136. IEEE Computer Society, (2008)Diagnosis oriented test pattern generation., , , und . EURO-DAC, Seite 470-474. IEEE Computer Society, (1990)Computing subsets of equivalence classes for large FSMs., , und . EURO-DAC, Seite 288-293. IEEE Computer Society, (1995)