( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Electronic Systems.

, , and . DAC, page 106-111. ACM Press, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valerio Sangiovanni

Alberto Rorai

Alberto Pardo

Alberto Fierro

Alberto Ricco

 

Other publications of authors with the same name

Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI., , , , and . CoRR, (2020)Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , and . CCNC, page 325-329. IEEE, (2006)Uniprocessor scheduling under precedence constraints for embedded systems design., , , and . ACM Trans. Embed. Comput. Syst., 7 (1): 6:1-6:30 (2007)A Detailed Router Based on Incremental Routing Modifications: Mighty., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (6): 942-955 (1987)Substrate optimization based on semi-analytical techniques., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (2): 172-190 (1999)Multiple-Valued Minimization for PLA Optimization., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (5): 727-750 (1987)Explicit and implicit algorithms for binate covering problems., , , and . 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., and . 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., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (10): 1100-1107 (1989)Techniques for multilayer channel routing., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (6): 698-712 (1988)