Alberto Sangiovanni‐Vincentelli

Author

University of California, Berkeley ORCID

Also Known As

A L Sangiovanni-Vincentelli, A Sangiovanni Vincentelli, A Sangiovanni-Vincentelli, A. L. Sangiovanni-Vincentelli, A. L. Sangiovanni-vincentelli, A. L. Sangiovanni‐Vincentelli, A. S. Vincentelli, A. Sangiovanni Vincentelli, A. Sangiovanni-Vincentelli, A. Sangiovanni-vincentelli

1.4K

Publications

51.1K

Citations

101

H-Index

491

Concepts

All Affiliations

University of California, Berkeley Cadence Design Systems (United States)Lawrence Berkeley National Laboratory Polytechnic University of Turin

About

Alberto Sangiovanni‐Vincentelli is an author at University of California, Berkeley specializing in engineering, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	95	556	39.1K
2	Business	13	14	1.1K
3	Education	4	4	226
4	Health Sciences	4	4	140
5	Arts	1	1	13

Alberto Sangiovanni‐Vincentelli

608

Publications

41.2K

Citations

H-Index

Page 1

	Year	Citations
MIS: A Multiple-Level Logic Optimization System Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Logic SynthesisEngineeringMinimization SystemElectronic Design AutomationAutomated Reasoning	1987	1.2K
System-level design: orthogonalization of concerns and platform-based design Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Implementation TechnologyEngineeringComputer ArchitectureSystem-level DesignEmbedded Systems	2000	958
The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits E. Lelarasmee, A.E. Ruehli, Alberto Sangiovanni‐Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Numerical AnalysisEngineeringIntegrated CircuitsCircuit SystemWr Method	1982	810
Modeling Cyber–Physical Systems Patricia Derler, Edward A. Lee, Alberto Sangiovanni‐Vincentelli Proceedings of the IEEE EngineeringSystem-level DesignComplex SystemsHybrid System ModelingIntrinsic Heterogeneity	2011	727
A framework for comparing models of computation Edward A. Lee, Alberto Sangiovanni‐Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Process CalculusEngineeringMeta ModelAutomated ReasoningProgram Analysis	1998	680
Sequential circuit design using synthesis and optimization Ellen Sentovich, K.J. Singh, Cho W. Moon, EngineeringElectronic DesignComputer ArchitectureSequential Circuit DesignSystem-level Design	2003	607
The TimberWolf placement and routing package Carl Sechen, Alberto Sangiovanni‐Vincentelli IEEE Journal of Solid-State Circuits Mathematical ProgrammingBranch-and-bound AlgorithmEngineeringNetwork RoutingComputer Architecture	1985	527
Design of embedded systems: formal models, validation, and synthesis Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Proceedings of the IEEE EngineeringReal-time System DesignComputer ArchitectureSoftware EngineeringSystem Synthesis	1997	518
Logic verification using binary decision diagrams in a logic synthesis environment Sharad Malik, A.R. Wang, Robert K. Brayton, Applied LogicEngineeringVerificationComputer-aided VerificationCombinational Logic Verification	2003	501
Metropolis: an integrated electronic system design environment Felice Balarin, Y. Watanabe, Harry Hsieh, Computer EngineeringElectronic DesignComputer ArchitectureSoftware EngineeringSystem-level Design	2003	490

Page 1