‪Alberto L. Sangiovanni-Vincentelli‬

Cited by

	All	Since 2020
Citations	76526	10170
h-index	128	46
i10-index	741	197

2900

1450

725

2175

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025245 438 711 841 1039 1415 1376 1753 1700 1888 1742 1731 1743 1904 1931 1854 1934 2436 2525 2484 2558 2872 2594 2469 2348 2346 2289 2227 2294 2218 1991 2030 2350 2030 1860 2042 2084 2107 1906 159

Public access

View all

69 articles

9 articles

available

not available

Based on funding mandates

Co-authors

Luciano LavagnoPolitecnico di TorinoVerified email at polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaVerified email at univr.it
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyVerified email at eecs.berkeley.edu
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyVerified email at univaq.it
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Jan RabaeyProfessor of EECS, University of California at BerkeleyVerified email at berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLVerified email at epfl.ch
Paolo GiustoTechnical FellowVerified email at gm.com
Claudio PasseroneAssociate professor, Politecnico di Torino, italyVerified email at polito.it
Luca BenvenutiSapienza Università di RomaVerified email at uniroma1.it
Sunil KhatriTexas A&M UniversityVerified email at tamu.edu
Alberto FerrariUTCVerified email at ales.eu.com
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyVerified email at berkeley.edu
Qi ZhuProfessor of Computer EngineeringVerified email at northwestern.edu
Mehdi MaasoumyPhD, University of California, BerkeleyVerified email at berkeley.edu
Alessandro PintoNASA Jet Propulsion LaboratoryVerified email at jpl.nasa.gov

Alberto L. Sangiovanni-Vincentelli

Professor of EECS, University of California, Berkeley

Verified email at berkeley.edu - Homepage

Computer Science and Engineering Design Automation Embedded system Design VLSI CAD Cyber Physical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logic Minimization Algorithms for VLSI Synthesis, R Brayton, G Hachtel, K McMullen, A Sangiovanni-Vincentelli Kluwer Academic Publisher, 1984	2737	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2497	1992
MIS: A multiple-level logic optimization system RK Brayton, R Rudell, A Sangiovanni-Vincentelli, AR Wang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	1660	1987
System-level design: Orthogonalization of concerns and platform-based design K Keutzer, AR Newton, JM Rabaey, A Sangiovanni-Vincentelli IEEE transactions on computer-aided design of integrated circuits and …, 2000	1364	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin, P Giusto, A Jurecska, C Passerone, E Sentovich, B Tabbara, ... Springer Science & Business Media, 2012	1146	2012
The waveform relaxation method for time-domain analysis of large scale integrated circuits E Lelarasmee, AE Ruehli, AL Sangiovanni-Vincentelli IEEE transactions on computer-aided design of integrated circuits and …, 1982	1103	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	1067	2011
VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	977	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	929	1998
Design of embedded systems: Formal models, validation, and synthesis S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli Proceedings of the IEEE 85 (3), 366-390, 1997	822	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	768	1985
Logic verification using binary decision diagrams in a logic synthesis environment S Malik, AR Wang, RK Brayton, A Sangiovanni-Vincentelli 1988 IEEE International Conference on Computer-Aided Design, 6, 7, 8, 9-6, 7 …, 1988	753	1988
Sequential circuit design using synthesis and optimization EM Sentovich, KJ Singh, C Moon, H Savoj, RK Brayton, ... Proceedings 1992 IEEE International Conference on Computer Design: VLSI in …, 1992	715	1992
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	712	2013
Convergence and finite-time behavior of simulated annealing D Mitra, F Romeo, A Sangiovanni-Vincentelli Advances in applied probability 18 (3), 747-771, 1986	710	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	676	2003
Platform-based design and software design methodology for embedded systems A Sangiovanni-Vincentelli, G Martin IEEE Design & Test of Computers 18 (6), 23-33, 2001	648	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	637	1990
Implicit state enumeration of finite state machines using BDD's J Herve, S Hamid, L Bill, KB Robert, SV Alberto in Computer-Aided Design, 1990. ICCAD-90. Digest of Technical Papers., 1990 …, 1990	601	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	596	1987

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors