‪Alberto Sangiovanni Vincentelli‬

Dikutip oleh

	Semua	Sejak 2019
Kutipan	77296	12245
indeks-h	128	50
indeks-i10	759	228

3000

1500

750

2250

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024211 245 440 712 843 1041 1434 1388 1765 1712 1903 1758 1724 1751 1912 1944 1855 1884 2448 2541 2520 2597 2922 2622 2524 2381 2399 2336 2265 2347 2263 2038 2067 2408 2070 1895 2094 2179 2208 1777

Akses publik

Lihat semua

69 artikel

9 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Luciano LavagnoPolitecnico di TorinoEmail yang diverifikasi di polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaEmail yang diverifikasi di univr.it
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityEmail yang diverifikasi di cs.columbia.edu
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoEmail yang diverifikasi di unitn.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaEmail yang diverifikasi di sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyEmail yang diverifikasi di univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyEmail yang diverifikasi di berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLEmail yang diverifikasi di epfl.ch
Jan RabaeyProfessor of EECS, University of California at BerkeleyEmail yang diverifikasi di berkeley.edu
Luca BenvenutiSapienza Università di RomaEmail yang diverifikasi di uniroma1.it
Sunil KhatriTexas A&M UniversityEmail yang diverifikasi di tamu.edu
Qi ZhuProfessor of Computer EngineeringEmail yang diverifikasi di northwestern.edu
Mehdi MaasoumyPhD, University of California, BerkeleyEmail yang diverifikasi di berkeley.edu
Alessandro PintoNASA Jet Propulsion LaboratoryEmail yang diverifikasi di jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechEmail yang diverifikasi di vt.edu
Abhijit DavareResearch Scientist, IntelEmail yang diverifikasi di intel.com
Alper DemirProfessor of Electrical Engineering, Koc University, TurkeyEmail yang diverifikasi di ku.edu.tr
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringEmail yang diverifikasi di kth.se

Ikuti

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Email yang diverifikasi di eecs.berkeley.edu - Beranda

System design embedded systems design automation verification synthesis


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2726	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2496	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	1654	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	1362	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	1098	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	1051	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	924	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	763	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	752	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	710	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	709	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	675	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	654	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	636	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	594	1987

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama