Alberto Sangiovanni Vincentelli

Viittaukset

	Kaikki	2018 lähtien
Sitaatit	72171	11054
h-indeksi	126	50
i10-indeksi	735	220

3000

1500

750

2250

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023194 228 428 629 806 969 1318 1316 1644 1597 1761 1717 1659 1673 1869 1882 1840 1851 2425 2495 2552 2600 2924 2583 2491 2330 2337 2308 2206 2303 2278 2049 2080 2388 2060 1951 2062 2187 398

Yleisessä käytössä

Näytä kaikki

55 artikkelia

8 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Luciano LavagnoPolitecnico di TorinoVahvistettu sähköpostiosoite verkkotunnuksessa polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaVahvistettu sähköpostiosoite verkkotunnuksessa univr.it
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.columbia.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa eecs.berkeley.edu
Roberto PasseroneUniversity of TrentoVahvistettu sähköpostiosoite verkkotunnuksessa unitn.it
Pierluigi NuzzoViterbi School of Engineering, University of Southern CaliforniaVahvistettu sähköpostiosoite verkkotunnuksessa usc.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVahvistettu sähköpostiosoite verkkotunnuksessa sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyVahvistettu sähköpostiosoite verkkotunnuksessa univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa berkeley.edu
Jan RabaeyProfessor of EECS, University of California at BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLVahvistettu sähköpostiosoite verkkotunnuksessa epfl.ch
Sunil KhatriTexas A&M UniversityVahvistettu sähköpostiosoite verkkotunnuksessa tamu.edu
Luca BenvenutiSapienza Università di RomaVahvistettu sähköpostiosoite verkkotunnuksessa uniroma1.it
Mehdi MaasoumyPhD, University of California, BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa berkeley.edu
Qi ZhuAssociate Professor of Computer EngineeringVahvistettu sähköpostiosoite verkkotunnuksessa northwestern.edu
Alessandro PintoNASA Jet Propulsion LaboratoryVahvistettu sähköpostiosoite verkkotunnuksessa jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechVahvistettu sähköpostiosoite verkkotunnuksessa vt.edu
Abhijit DavareResearch Scientist, IntelVahvistettu sähköpostiosoite verkkotunnuksessa intel.com
Timothy Yee-Kwong KamIntelVahvistettu sähköpostiosoite verkkotunnuksessa intel.com
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringVahvistettu sähköpostiosoite verkkotunnuksessa kth.se

Seuraa

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Vahvistettu sähköpostiosoite verkkotunnuksessa eecs.berkeley.edu - Kotisivu

System design embedded systems design automation verification synthesis


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2375	1992
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2355	1984
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	1592	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	1321	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin, P Giusto, A Jurecska, C Passerone, E Sentovich, M Chiodo, ... Springer Science & Business Media, 1997	1107	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	1035	1982
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	958	1996
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	927	2011
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	902	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	792	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	725	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	710	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	688	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	684	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	669	2003
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	639	2013
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	617	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	589	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	572	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	556	1987

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat