by Balluchi, A., D'Apice, C., Gaeta, M., Piccoli, B., Sangiovanni Vincentelli, A. L., Zadarnowska, K.
Published in International journal of robust and nonlinear control (25.03.2010)

by Umans, C., Villa, T., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2006)

by 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)

by 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)

by 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)

by Di Benedetto, M. D., Lucibello, P., Sangiovanni-Vincentelli, A. L., Yamaguchi, K.
Published in Journal of computational chemistry (30.07.2000)

by Carloni, L.P., Sangiovanni-Vincentelli, A.L.
Published in IEEE MICRO (01.09.2002)

by Oliveira, A.L., Carloni, L.P., Villa, T., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computers (01.11.1998)

by Kam, T., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.1997)

by Goldberg, E.I., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.06.1998)

by Balluchi, A., Benvenuti, L., Ferrari, A., Sangiovanni-Vincentelli, A.L.
Published in International journal of control (01.05.2006)

by Brayton, R.K., Hachtel, G.D., Sangiovanni-Vincentelli, A.L.
Published in Proceedings of the IEEE (01.02.1990)

by Gosti, W., Khatri, S.R., Sangiovanni-Vincentelli, A.L.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2001)

by Khatri, S.P., Sinha, S., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2004)

by De Venuto, D., Annese, V. F., Sangiovanni-Vincentelli, A. L.
Published in 2016 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2016)

by Villa, T., Kam, T., Brayton, R.K., Sangiovanni-Vincenteili, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.1997)

by TITS, A. L, NYE, W. T, SANGIOVANNI-VINCENTELLI, A. L
Published in Journal of optimization theory and applications (01.12.1986)

by Burch, J., Passerone, R., Sangiovanni-Vincentelli, A.L.
Published in Proceedings Second International Conference on Application of Concurrency to System Design (2001)

by Goldberg, E.I., Carloni, L.P., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2000)

by 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)