( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scalable lazy SMT-based motion planning.

, , , , , , и . CDC, стр. 6683-6688. IEEE, (2016)

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.

Valerio Sangiovanni

Alberto Moreira

Alberto Fierro

Alberto Coda

Alberto Ricco

 

Другие публикации лиц с тем же именем

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