Alberto L. Sangiovanni-Vincentelli 个人学术档案

引用次数

	总计	2018 年至今
引用	72975	11596
h 指数	125	51
i10 指数	722	218

2900

1450

725

2175

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023218 241 430 701 842 1023 1380 1335 1709 1627 1829 1769 1725 1734 1925 1928 1852 1853 2412 2490 2463 2543 2883 2560 2458 2294 2306 2302 2182 2283 2222 2004 2054 2343 2031 1914 2046 2117 1142

开放获取的出版物数量

查看全部

55 篇文章

8 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Luciano LavagnoPolitecnico di Torino在 polito.it 的电子邮件经过验证
Tiziano VillaProfessore d'informatica, Universita' di Verona在 univr.it 的电子邮件经过验证
Luca CarloniProfessor and Chair of Computer Science, Columbia University在 cs.columbia.edu 的电子邮件经过验证
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
Roberto PasseroneUniversity of Trento在 unitn.it 的电子邮件经过验证
Pierluigi NuzzoViterbi School of Engineering, University of Southern California在 usc.edu 的电子邮件经过验证
Maria Domenica Di BenedettoProfessor, University of L'Aquila, Italy在 univaq.it 的电子邮件经过验证
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. Anna在 sssup.it 的电子邮件经过验证
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at Berkeley在 berkeley.edu 的电子邮件经过验证
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFL在 epfl.ch 的电子邮件经过验证
Jan RabaeyProfessor of EECS, University of California at Berkeley在 berkeley.edu 的电子邮件经过验证
Luca BenvenutiSapienza Università di Roma在 uniroma1.it 的电子邮件经过验证
Sunil KhatriTexas A&M University在 tamu.edu 的电子邮件经过验证
Alberto FerrariUTC在 ales.eu.com 的电子邮件经过验证
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, Berkeley在 berkeley.edu 的电子邮件经过验证
Mehdi MaasoumyPhD, University of California, Berkeley在 berkeley.edu 的电子邮件经过验证
Qi ZhuAssociate Professor of Computer Engineering在 northwestern.edu 的电子邮件经过验证
Alessandro PintoNASA Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Haibo ZengElectrical & Computer Engineering, Virginia Tech在 vt.edu 的电子邮件经过验证
Alper DemirProfessor of Electrical Engineering, Koc University, Turkey在 ku.edu.tr 的电子邮件经过验证

关注

Alberto L. Sangiovanni-Vincentelli

Professor of EECS, University of California, Berkeley

在 berkeley.edu 的电子邮件经过验证 - 首页

Computer Science and Engineering Design Automation Embedded system Design VLSI CAD Cyber Physical Systems


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Logic Minimization Algorithms for VLSI Synthesis, R Brayton, G Hachtel, K McMullen, A Sangiovanni-Vincentelli Kluwer Academic Publisher, 1984	2621	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2475	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	1600	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	1336	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin Springer Science & Business Media, 1997	1123	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	1058	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	967	1996
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	966	2011
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	909	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	795	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	744	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	727	1988
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	698	2013
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	690	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	687	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	671	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	624	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	604	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	589	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	568	1987

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用