( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMC: Satisfiability Modulo Convex Programming.

, , , , , und . Proc. IEEE, 106 (9): 1655-1679 (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 Ricco

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 7-12. Elsevier, (2018)A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection., , , , und . ICPHM, Seite 1-5. IEEE, (2019)Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks., , , , , und . ICPHM, Seite 1-8. IEEE, (2019)Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , und . CCNC, Seite 325-329. IEEE, (2006)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)A synthesis and optimization procedure for fully and easily testable sequential machines., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (10): 1100-1107 (1989)Techniques for multilayer channel routing., , , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (6): 698-712 (1988)System-level design: orthogonalization of concerns andplatform-based design., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (12): 1523-1543 (2000)