Alberto Sangiovanni Vincentelli 个人学术档案

引用次数

	总计	2019 年至今
引用	76638	11623
h 指数	128	49
i10 指数	754	219

3000

1500

750

2250

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024215 256 430 702 849 1053 1428 1369 1759 1700 1906 1771 1725 1753 1902 1946 1854 1880 2441 2551 2507 2599 2916 2617 2506 2380 2377 2335 2250 2335 2281 2067 2097 2423 2099 1955 2139 2248 2250 926

开放获取的出版物数量

查看全部

63 篇文章

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 PasseroneUniversity of Trento在 unitn.it 的电子邮件经过验证
Pierluigi NuzzoViterbi School of Engineering, University of Southern California在 usc.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 的电子邮件经过验证
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 的电子邮件经过验证
Qi ZhuAssociate Professor 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 的电子邮件经过验证
Alper DemirProfessor of Electrical Engineering, Koc University, Turkey在 ku.edu.tr 的电子邮件经过验证
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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
¡£¥ § E a Methodology for Modeling Digital Substrate Noise Injection in Mixed-Signal ICs P Miliozzi, L Carloni, E Charbon, A Sangiovanni-Vincentelli
‘Heuristic Methods for Communication-Based Logic Partitioning M Beardslee, A Sangiovanni-Vincentelli 4th ACM/SIGDA Physical Design Workshop, 199-210, 1993	7	1993
'Zone-refining'techniques for IC layout compaction H Shin, AL Sangiovanni-Vincentelli, CH Séquin IEEE transactions on computer-aided design of integrated circuits and …, 1990	16	1990
" Compositionally Progressive Solutions of Synchronous Language Equations" In Proceedings of the IEEE/ACM 12th International Workshop on Logic & Synthesis (IWLS’03). Laguna … N Yevtushenko, T Villa, R Brayton, A Petrenko, A Sangiovanni-Vincentelli
" Solution of Language Equations for Logic Synthesis" In Proceedings of the IEEE 10th International Workshop on Logic & Synthesis (IWLS 2001). Granlibakken Conference Center … N Yevtushenko, T Villa, R Brayton, A Petrenko, A Sangiovanni-Vincentelli
1,000 electronic devices per living person: Dream or nightmare? AS Vincentelli 2011 4th IEEE International Workshop on Advances in Sensors and Interfaces …, 2011	1	2011
1: INTRODUCTION Sparse1. 3 is a flexible package of subroutines written in C used to quickly and accurately solve large sparse systems of linear equations. The package is able … ASLE Solver, KS Kundert, A Sangiovanni-Vincentelli
12 The truth about TJ Rodgers, A Sangiovanni-Vincentelli
18th International Multiple-Valued Logic Symposium to be held in Spain RL Rudell, A Sangiovanni-Vincentelli
2006-01-1468 Design Space Exploration of Automotive Platforms in Metropolis H Zeng, A Davare, A Sangiovanni-Vincentelli, S Sonalkar, S Kanajah, ... SAE TRANSACTIONS 115 (7), 844, 2007		2007
2007-01-1273 An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures A Ghosal, A Sangiovanni-Vincentelli, S Kanajan, R Urbance SAE SP 2129, 27, 2007		2007
2012 ASE International Conference on Cyber Security (CyberSecurity 2012) CW Lin, A Sangiovanni-Vincentelli
26 Summer of’81 R Brayton, P Gelsinger, D Kirkpatrick, A Kolodny, G Singer, P Geyres, ... IEEE SOLID-STATE CIRCUITS MAGAZINE, 1, 2010		2010
3: Tools for simulation LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends in Electronic Design Automation 1 (1-2), 20-20, 2006		2006
3D Design & Optimization ISOP+: Machine Learning-Assisted Inverse Stack-Up Optimization for Advanced Package Design................................... H. Chae, K. Zhu, B … S Azam, N Dall’Ora, E Fraccaroli, R Gillon, F Fummi, D Kirov, P Nuzzo, ...
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... International Conference on Computer Aided Verification, 253-265, 2023	1	2023
4: Tools for formal verification LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends in Electronic Design Automation 1 (1-2), 94-94, 2006		2006
4] B. Leimkuhler and A. Ruehli, Rapid convergence of waveform re E Lelarasmee J. Sci. Comput 14, 872-889, 1993		1993
5: Comparative summary LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends in Electronic Design Automation 1 (1-2), 162-162, 2006		2006
6: The future: towards the development of a standard interchange format LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends in Electronic Design Automation 1 (1-2), 171-171, 2006		2006

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用