Alberto Sangiovanni Vincentelli

Citirano

	Sve	Od 2018.
Citati	75051	12751
H-indeks	126	53
i10-indeks	744	233

3000

1500

750

2250

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023218 243 437 702 847 1035 1395 1352 1748 1673 1853 1762 1743 1745 1934 1934 1856 1856 2426 2520 2505 2586 2937 2590 2515 2338 2346 2348 2225 2342 2270 2062 2084 2403 2071 1953 2114 2235 1961

Javni pristup

Prikaži sve

55 članaka

9 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Luciano LavagnoPolitecnico di TorinoPotvrđena adresa e-pošte na polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaPotvrđena adresa e-pošte na univr.it
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityPotvrđena adresa e-pošte na cs.columbia.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
Roberto PasseroneUniversity of TrentoPotvrđena adresa e-pošte na unitn.it
Pierluigi NuzzoViterbi School of Engineering, University of Southern CaliforniaPotvrđena adresa e-pošte na usc.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaPotvrđena adresa e-pošte na sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyPotvrđena adresa e-pošte na univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyPotvrđena adresa e-pošte na berkeley.edu
Jan RabaeyProfessor of EECS, University of California at BerkeleyPotvrđena adresa e-pošte na berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLPotvrđena adresa e-pošte na epfl.ch
Luca BenvenutiSapienza Università di RomaPotvrđena adresa e-pošte na uniroma1.it
Sunil KhatriTexas A&M UniversityPotvrđena adresa e-pošte na tamu.edu
Mehdi MaasoumyPhD, University of California, BerkeleyPotvrđena adresa e-pošte na berkeley.edu
Qi ZhuAssociate Professor of Computer EngineeringPotvrđena adresa e-pošte na northwestern.edu
Alessandro PintoNASA Jet Propulsion LaboratoryPotvrđena adresa e-pošte na jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechPotvrđena adresa e-pošte na vt.edu
Timothy Yee-Kwong KamIntelPotvrđena adresa e-pošte na intel.com
Abhijit DavareResearch Scientist, IntelPotvrđena adresa e-pošte na intel.com
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringPotvrđena adresa e-pošte na kth.se

Prati

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Potvrđena adresa e-pošte na eecs.berkeley.edu - Početna stranica

System design embedded systems design automation verification synthesis


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2642	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2481	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	1611	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	1343	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin Springer Science & Business Media, 1997	1129	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	1068	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	991	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	969	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	922	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	796	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	750	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	731	1988
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	703	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	698	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	691	1992
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	673	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	630	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	614	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	571	1987

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori