Alberto Sangiovanni Vincentelli

Навело

	Све	Од 2020
Наводи	77966	10646
h-индекс	129	46
i10-индекс	767	211

3000

1500

750

2250

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025233 441 698 852 1066 1437 1368 1779 1679 1914 1744 1739 1730 1928 1936 1872 2041 2457 2553 2528 2614 2929 2608 2511 2374 2391 2350 2257 2321 2251 2036 2066 2446 2081 1908 2088 2156 2171 2030 281

Јавни приступ

Прикажи све

71 чланак

9 чланака

доступно

није доступно

На основу услова финансирања

Коаутори

Luciano LavagnoPolitecnico di TorinoВерификована је имејл адреса на polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaВерификована је имејл адреса на univr.it
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyВерификована је имејл адреса на eecs.berkeley.edu
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityВерификована је имејл адреса на cs.columbia.edu
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoВерификована је имејл адреса на unitn.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyВерификована је имејл адреса на eecs.berkeley.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaВерификована је имејл адреса на sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyВерификована је имејл адреса на univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyВерификована је имејл адреса на berkeley.edu
Jan RabaeyProfessor of EECS, University of California at BerkeleyВерификована је имејл адреса на berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLВерификована је имејл адреса на epfl.ch
Luca BenvenutiSapienza Università di RomaВерификована је имејл адреса на uniroma1.it
Sunil KhatriTexas A&M UniversityВерификована је имејл адреса на tamu.edu
Qi ZhuProfessor of Computer EngineeringВерификована је имејл адреса на northwestern.edu
Mehdi MaasoumyPhD, University of California, BerkeleyВерификована је имејл адреса на berkeley.edu
Alessandro PintoNASA Jet Propulsion LaboratoryВерификована је имејл адреса на jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechВерификована је имејл адреса на vt.edu
Abhijit DavareResearch Scientist, IntelВерификована је имејл адреса на intel.com
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringВерификована је имејл адреса на kth.se
Timothy Yee-Kwong KamIntelВерификована је имејл адреса на intel.com

Прати

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Верификована је имејл адреса на eecs.berkeley.edu - Почетна страница

System design embedded systems design automation verification synthesis


Наслов Сортирај по наводима Сортирај по години Сортирај по наслову	Навело Навело	Година
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2738	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	1676	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	1360	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	1143	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	1112	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	1074	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	978	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	932	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	813	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	762	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	759	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	727	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	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	678	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	659	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	639	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	597	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	597	1987

Систем тренутно не може да изврши ову радњу. Пробајте поново касније.

Чланци 1–20

Годишњи број навода

Дупли наводи

Обједињени наводи

Додавање коаутораКоаутори

Прати

Навело

Коаутори