PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Quer, Stefano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Greedy Approach to Answer Reachability Queries on DAGs.

, , , , , und . CoRR, (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.

Stefano Scarso University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Binary Decision Diagrams and the Multiple Variable Order Problem, , , , , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1998)A BMC-based formulation for the scheduling problem of hardware systems., , , , , und . STTT, 7 (2): 102-117 (2005)Model checking evaluation of airplane landing trajectories.. STTT, 16 (6): 753-773 (2014)Computing subsets of equivalence classes for large FSMs., , und . EURO-DAC, Seite 288-293. IEEE Computer Society, (1995)Incremental re-encoding for symbolic traversal of product machines., , , , , und . EURO-DAC, Seite 158-163. IEEE Computer Society Press, (1996)Auxiliary variables for BDD-based representation and manipulation of Boolean functions., , und . ACM Trans. Design Autom. Electr. Syst., 3 (3): 309-340 (1998)A Greedy Approach to Answer Reachability Queries on DAGs., , , , , und . CoRR, (2016)Full-Symbolic ATPG for Large Circuits., , und . ITC, Seite 980-988. IEEE Computer Society, (1994)Optimizing sequential verification by retiming transformations., , und . DAC, Seite 601-606. ACM, (2000)System-level power optimization of special purpose applications: the beach solution., , , , und . ISLPED, Seite 24-29. ACM, (1997)