Alberto Sangiovanni Vincentelli

Cited by

	All	Since 2018
Citations	74500	12273
h-index	126	52
i10-index	740	230

3000

1500

750

2250

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023218 241 433 702 847 1032 1395 1350 1738 1682 1841 1764 1745 1742 1917 1935 1845 1866 2424 2514 2533 2580 2933 2585 2513 2333 2346 2346 2221 2340 2264 2096 2051 2332 2072 1955 2099 2228 1581

Public access

View all

56 articles

8 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
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Pierluigi NuzzoViterbi School of Engineering, University of Southern CaliforniaVerified email at usc.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyVerified email at univaq.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
Luca BenvenutiSapienza Università di RomaVerified email at uniroma1.it
Sunil KhatriTexas A&M UniversityVerified email at tamu.edu
Mehdi MaasoumyPhD, University of California, BerkeleyVerified email at berkeley.edu
Qi ZhuAssociate Professor of Computer EngineeringVerified email at northwestern.edu
Alessandro PintoNASA Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechVerified email at vt.edu
Timothy Yee-Kwong KamIntelVerified email at intel.com
Abhijit DavareResearch Scientist, IntelVerified email at intel.com
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringVerified email at kth.se

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Verified email at eecs.berkeley.edu - Homepage

System design embedded systems design automation verification synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2632	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2479	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	1606	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	1341	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin Springer Science & Business Media, 1997	1128	1997
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	1062	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	977	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	968	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	915	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	795	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	746	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	729	1988
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	701	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	693	1986
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	690	1992
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	672	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	628	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	608	1990
Implicit state enumeration of finite state machines using BDD's HJ Touati, H Savoj, B Lin, RK Brayton, A Sangiovanni-Vincentelli 1990 IEEE International Conference on Computer-Aided Design. Digest of …, 1990	590	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	570	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