Alberto Sangiovanni Vincentelli

Citée par

	Toutes	Depuis 2016
Citations	67298	10435
indice h	118	48
indice i10	720	228

3100

1550

775

2325

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021205 236 419 664 786 933 1252 1282 1537 1622 1751 1613 1654 1584 1840 1764 1734 1781 2347 2437 2534 2648 3044 2682 2593 2397 2458 2523 2257 2348 2284 2128 2070 2271 2057 1850 43

Coauteurs

Luciano LavagnoPolitecnico di TorinoAdresse e-mail validée de polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaAdresse e-mail validée de univr.it
Luca CarloniProfessor of Computer Science, Columbia UniversityAdresse e-mail validée de cs.columbia.edu
Roberto PasseroneUniversity of TrentoAdresse e-mail validée de unitn.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyAdresse e-mail validée de univaq.it
Pierluigi NuzzoViterbi School of Engineering, University of Southern CaliforniaAdresse e-mail validée de usc.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaAdresse e-mail validée de sssup.it
Jan RabaeyProfessor of EECS, University of California at BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Sanjit A. SeshiaUniversity of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Paolo GiustoGeneral MotorsAdresse e-mail validée de gm.com
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLAdresse e-mail validée de epfl.ch
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyAdresse e-mail validée de berkeley.edu
Sunil KhatriTexas A&M UniversityAdresse e-mail validée de tamu.edu
Luca BenvenutiSapienza Università di RomaAdresse e-mail validée de uniroma1.it
Mehdi MaasoumyPhD, University of California, BerkeleyAdresse e-mail validée de berkeley.edu
Qi ZhuAssociate Professor of Electrical Engineering and Computer ScienceAdresse e-mail validée de northwestern.edu
Alessandro PintoRaytheon TechnologiesAdresse e-mail validée de rtx.com
Timothy Yee-Kwong KamIntelAdresse e-mail validée de intel.com
Alper DemirProfessor of Electrical Engineering, Koc University, TurkeyAdresse e-mail validée de ku.edu.tr
Haibo ZengElectrical & Computer Engineering, Virginia TechAdresse e-mail validée de vt.edu

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Adresse e-mail validée de eecs.berkeley.edu - Page d'accueil

System design embedded systems design automation verification synthesis


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2193	1984
SIS: A system for sequential circuit synthesis EM Sentovich, KJ Singh, L Lavagno, C Moon, R Murgai, A Saldanha, ...	2116	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	1482	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	1243	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin, P Giusto, A Jurecska, M Chiodo, C Passerone, E Sentovich, ... Springer Science & Business Media, 1997	1056	1997
Handbook of sensor networks: compact wireless and wired sensing systems M Ilyas, I Mahgoub CRC press, 2004	979	2004
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	923	1982
VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... International conference on computer aided verification, 428-432, 1996	918	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	887	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	745	1997
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	739	2011
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	679	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	670	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	648	1992
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	635	2003
Convergence and finite-time behavior of simulated annealing D Mitra, F Romeo, A Sangiovanni-Vincentelli 1985 24th IEEE Conference on Decision and Control, 761-767, 1985	617	1985
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	580	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	556	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	543	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	531	1990

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs