( en | de | ru )

 

Disambiguierung von "Somenzi, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fair Simulation Minimization.

, , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 610-624. Springer, (2002)

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.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

An ADD-based algorithm for shortest path back-tracing of large graphs., , , , und . Great Lakes Symposium on VLSI, Seite 248-251. IEEE, (1994)Algorithms for Approximate FSM Traversal., , , , und . DAC, Seite 25-30. ACM Press, (1993)Minimum Length Synchronizing Sequences of Finite State Machine., , und . DAC, Seite 463-468. ACM Press, (1993)The Performance of the Concurrent Fault Simulation Algorithms in MOZART., , und . DAC, Seite 692-697. ACM, (1988)Alembic: An Efficient Algorithm for CNF Preprocessing., und . DAC, Seite 582-587. IEEE, (2007)Fair Simulation Minimization., , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 610-624. Springer, (2002)VIS: A System for Verification and Synthesis., , , , , , , , , und 6 andere Autor(en). CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 428-432. Springer, (1996)A Performance Study of BDD-Based Model Checking., , , , , , , und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 255-289. Springer, (1998)CirCUs: A Hybrid Satisfiability Solver., und . SAT, (2004)Analysis of Symbolic SCC Hull Algorithms., , und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 88-105. Springer, (2002)