Complexity of two-level logic minimization
Umans, C., Villa, T., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2006)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2006)
Get full text
Journal Article
Theory of latency-insensitive design
Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2001)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2001)
Get full text
Journal Article
Hybrid Control of Networked Embedded Systems
Balluchi, A., Benvenuti, L., Engell, S., Geyer, T., Johansson, K.H., Lamnabhi-Lagarrigue, F., Lygeros, J., Morari, M., Papafotiou, G., Sangiovanni-Vincentelli, A.L., Santucci, F., Stursberg, O.
Published in European journal of control (2005)
Published in European journal of control (2005)
Get full text
Journal Article
Conference Proceeding
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A. L., Freund, U., Schlenker, E., Wolff, H.-J.
Published in Design, Automation and Test in Europe (07.03.2005)
Published in Design, Automation and Test in Europe (07.03.2005)
Get full text
Conference Proceeding
A new procedure for exact ring closure
Di Benedetto, M. D., Lucibello, P., Sangiovanni-Vincentelli, A. L., Yamaguchi, K.
Published in Journal of computational chemistry (30.07.2000)
Published in Journal of computational chemistry (30.07.2000)
Get full text
Journal Article
Exact minimization of binary decision diagrams using implicit techniques
Oliveira, A.L., Carloni, L.P., Villa, T., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computers (01.11.1998)
Published in IEEE transactions on computers (01.11.1998)
Get full text
Journal Article
Hybrid systems in automotive electronics design
Balluchi, A., Benvenuti, L., Ferrari, A., Sangiovanni-Vincentelli, A.L.
Published in International journal of control (01.05.2006)
Published in International journal of control (01.05.2006)
Get full text
Journal Article
Multilevel logic synthesis
Brayton, R.K., Hachtel, G.D., Sangiovanni-Vincentelli, A.L.
Published in Proceedings of the IEEE (01.02.1990)
Published in Proceedings of the IEEE (01.02.1990)
Get full text
Journal Article
Addressing the timing closure problem by integrating logic optimization and placement
Gosti, W., Khatri, S.R., Sangiovanni-Vincentelli, A.L.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2001)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2001)
Get full text
Conference Proceeding
Journal Article
The ultimate IoT application: A cyber-physical system for ambient assisted living
De Venuto, D., Annese, V. F., Sangiovanni-Vincentelli, A. L.
Published in 2016 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2016)
Published in 2016 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2016)
Get full text
Conference Proceeding
Journal Article
Enhanced methods of feasible directions for engineering design problems
TITS, A. L, NYE, W. T, SANGIOVANNI-VINCENTELLI, A. L
Published in Journal of optimization theory and applications (01.12.1986)
Published in Journal of optimization theory and applications (01.12.1986)
Get full text
Journal Article
Symbolic two-level minimization
Villa, T., Saldanha, A., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.1997)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.1997)
Get full text
Journal Article