Alberto Sangiovanni Vincentelli

Geciteerd door

	Alles	Sinds 2019
Citaties	76948	11984
h-index	128	50
i10-index	757	224

3000

1500

750

2250

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024211 246 440 712 843 1038 1420 1378 1762 1702 1900 1757 1726 1751 1910 1944 1855 1879 2448 2542 2520 2594 2919 2618 2521 2381 2399 2338 2259 2346 2263 2036 2064 2407 2068 1892 2088 2178 2206 1543

Openbare toegang

Alles bekijken

70 artikelen

9 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Luciano LavagnoPolitecnico di TorinoGeverifieerd e-mailadres voor polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaGeverifieerd e-mailadres voor univr.it
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoGeverifieerd e-mailadres voor unitn.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaGeverifieerd e-mailadres voor sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyGeverifieerd e-mailadres voor univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyGeverifieerd e-mailadres voor berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLGeverifieerd e-mailadres voor epfl.ch
Jan RabaeyProfessor of EECS, University of California at BerkeleyGeverifieerd e-mailadres voor berkeley.edu
Luca BenvenutiSapienza Università di RomaGeverifieerd e-mailadres voor uniroma1.it
Sunil KhatriTexas A&M UniversityGeverifieerd e-mailadres voor tamu.edu
Qi ZhuProfessor of Computer EngineeringGeverifieerd e-mailadres voor northwestern.edu
Mehdi MaasoumyPhD, University of California, BerkeleyGeverifieerd e-mailadres voor berkeley.edu
Alessandro PintoNASA Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechGeverifieerd e-mailadres voor vt.edu
Abhijit DavareResearch Scientist, IntelGeverifieerd e-mailadres voor intel.com
Alper DemirProfessor of Electrical Engineering, Koc University, TurkeyGeverifieerd e-mailadres voor ku.edu.tr
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringGeverifieerd e-mailadres voor kth.se

Volgen

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Geverifieerd e-mailadres voor eecs.berkeley.edu - Homepage

System design embedded systems design automation verification synthesis


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2725	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2487	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	1649	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	1358	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	1097	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	1045	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	921	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	820	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	754	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	751	1988
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	710	2013
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	709	1992
Convergence and finite-time behavior of simulated annealing D Mitra, F Romeo, A Sangiovanni-Vincentelli Advances in applied probability 18 (3), 747-771, 1986	706	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	674	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	652	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	631	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	599	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	591	1987

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs