( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counterexample-Guided Data Augmentation.

, , , , , und . IJCAI, Seite 2071-2078. ijcai.org, (2018)

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.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Rorai

 

Weitere Publikationen von Autoren mit dem selben Namen

My 50-Year Journey from Punched Cards to Swarm Systems.. ISPD, Seite 123-125. ACM, (2019)Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , und . CCNC, Seite 325-329. IEEE, (2006)System-level design: orthogonalization of concerns andplatform-based design., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (12): 1523-1543 (2000)Test generation for sequential circuits., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (10): 1081-1093 (1988)Multiple-Valued Minimization for PLA Optimization., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (5): 727-750 (1987)A Detailed Router Based on Incremental Routing Modifications: Mighty., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (6): 942-955 (1987)Explicit and implicit algorithms for binate covering problems., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)NOVA: state assignment of finite state machines for optimal two-level logic implementation., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (9): 905-924 (1990)Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2 (3): 151-167 (1983)Substrate optimization based on semi-analytical techniques., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (2): 172-190 (1999)