H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 103 Citations 47,485 609 World Ranking 127 National Ranking 78
Electronics and Electrical Engineering D-index 90 Citations 34,575 503 World Ranking 79 National Ranking 46

Research.com Recognitions

Awards & Achievements

1998 - Member of the National Academy of Engineering For computer-aided design of integrated circuits.

Overview

What is he best known for?

The fields of study he is best known for:

  • Operating system
  • Programming language
  • Artificial intelligence

His scientific interests lie mostly in Algorithm, Logic synthesis, Logic optimization, Theoretical computer science and Sequential logic. Alberto Sangiovanni-Vincentelli combines subjects such as Synchronous circuit and Automatic test pattern generation with his study of Algorithm. Alberto Sangiovanni-Vincentelli has included themes like Asynchronous circuit and Electronic design automation in his Logic synthesis study.

His Logic optimization research is multidisciplinary, incorporating perspectives in Register-transfer level and Logic family. His Theoretical computer science research incorporates elements of Heuristic, Set and And-inverter graph. His research in Sequential logic intersects with topics in Digital electronics, Combinational logic, Boolean circuit and Integrated circuit.

His most cited work include:

  • Logic Minimization Algorithms for VLSI Synthesis (1271 citations)
  • MIS: A Multiple-Level Logic Optimization System (1056 citations)
  • System-level design: orthogonalization of concerns and platform-based design (852 citations)

What are the main themes of his work throughout his whole career to date?

Alberto Sangiovanni-Vincentelli focuses on Algorithm, Embedded system, Electronic engineering, Distributed computing and Theoretical computer science. All of his Algorithm and Logic synthesis, Sequential logic, Logic optimization, Finite-state machine and Boolean function investigations are sub-components of the entire Algorithm study. His Logic synthesis study is associated with Logic gate.

His Sequential logic study integrates concerns from other disciplines, such as Digital electronics and Combinational logic. His work carried out in the field of Logic optimization brings together such families of science as Register-transfer level and Logic family. His research integrates issues of Analogue electronics, Electronic circuit, Mixed-signal integrated circuit and Integrated circuit in his study of Electronic engineering.

He most often published in these fields:

  • Algorithm (14.75%)
  • Embedded system (12.84%)
  • Electronic engineering (10.73%)

What were the highlights of his more recent work (between 2013-2021)?

  • Cyber-physical system (3.54%)
  • Artificial intelligence (3.26%)
  • Distributed computing (10.63%)

In recent papers he was focusing on the following fields of study:

Cyber-physical system, Artificial intelligence, Distributed computing, Mathematical optimization and Theoretical computer science are his primary areas of study. His work deals with themes such as Electronic design automation, Design space exploration, Embedded system and Systems design, Systems engineering, which intersect with Cyber-physical system. His Electronic design automation study combines topics from a wide range of disciplines, such as Platform-based design and Software engineering.

The various areas that Alberto Sangiovanni-Vincentelli examines in his Distributed computing study include Scheduling, Cloud computing, Server and Formal methods. As a member of one scientific family, Alberto Sangiovanni-Vincentelli mostly works in the field of Theoretical computer science, focusing on Modulo and, on occasion, Secure state and Soundness. Satisfiability is a subfield of Algorithm that he investigates.

Between 2013 and 2021, his most popular works were:

  • Model predictive control with signal temporal logic specifications (159 citations)
  • Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (141 citations)
  • Contracts for System Design (121 citations)

In his most recent research, the most cited papers focused on:

  • Operating system
  • Programming language
  • Artificial intelligence

His main research concerns Cyber-physical system, Satisfiability, Artificial intelligence, Systems engineering and Modulo. His studies in Cyber-physical system integrate themes in fields like Electronic design automation, Design space exploration, Embedded system, Reliability engineering and Protocol. His Satisfiability study is related to the wider topic of Algorithm.

The Algorithm study combines topics in areas such as Observer and Convergence. His Systems engineering research includes themes of Automation, Probabilistic design, Component-based software engineering and Design flow. His studies deal with areas such as Linear system, Mathematical optimization, Theoretical computer science and State as well as Modulo.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Logic Minimization Algorithms for VLSI Synthesis

Robert King Brayton;Alberto L. Sangiovanni-Vincentelli;Curtis T. McMullen;Gary D. Hachtel.
(1984)

2208 Citations

MIS: A Multiple-Level Logic Optimization System

R.K. Brayton;R. Rudell;A. Sangiovanni-Vincentelli;A.R. Wang.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1987)

1502 Citations

System-level design: orthogonalization of concerns and platform-based design

K. Keutzer;A.R. Newton;J.M. Rabaey;A. Sangiovanni-Vincentelli.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2000)

1259 Citations

Hardware-software co-design of embedded systems: the POLIS approach

Felice Balarin;Massimiliano Chiodo;Paolo Giusto;Harry Hsieh.
(1997)

1076 Citations

VIS: A System for Verification and Synthesis

Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi.
computer aided verification (1996)

941 Citations

The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits

E. Lelarasmee;A.E. Ruehli;A.L. Sangiovanni-Vincentelli.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1982)

927 Citations

A framework for comparing models of computation

E.A. Lee;A. Sangiovanni-Vincentelli.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1998)

890 Citations

Design of embedded systems: formal models, validation, and synthesis

S. Edwards;L. Lavagno;E.A. Lee;A. Sangiovanni-Vincentelli.
Proceedings of the IEEE (1997)

750 Citations

Hardware-Software Co-Design of Embedded Systems

Felice Balarin;Massimiliano Chiodo;Paolo Giusto;Harry Hsieh.
(1997)

715 Citations

The TimberWolf placement and routing package

C. Sechen;A. Sangiovanni-Vincentelli.
IEEE Journal of Solid-state Circuits (1985)

691 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Alberto Sangiovanni-Vincentelli

Robert K. Brayton

Robert K. Brayton

University of California, Berkeley

Publications: 153

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 152

Fabio Somenzi

Fabio Somenzi

University of Colorado Boulder

Publications: 111

Tsutomu Sasao

Tsutomu Sasao

Meiji University

Publications: 107

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 106

Srinivas Devadas

Srinivas Devadas

MIT

Publications: 101

Jason Cong

Jason Cong

University of California, Los Angeles

Publications: 97

Luca Benini

Luca Benini

University of Bologna

Publications: 92

Bernd Becker

Bernd Becker

University of Freiburg

Publications: 84

Luciano Lavagno

Luciano Lavagno

Polytechnic University of Turin

Publications: 83

Jordi Cortadella

Jordi Cortadella

Universitat Politècnica de Catalunya

Publications: 82

Ahmed Amine Jerraya

Ahmed Amine Jerraya

CEA Tech

Publications: 80

Niraj K. Jha

Niraj K. Jha

Princeton University

Publications: 78

G. De Micheli

G. De Micheli

École Polytechnique Fédérale de Lausanne

Publications: 75

Malgorzata Marek-Sadowska

Malgorzata Marek-Sadowska

University of California, Santa Barbara

Publications: 75

Kwang-Ting Cheng

Kwang-Ting Cheng

Hong Kong University of Science and Technology

Publications: 70

Something went wrong. Please try again later.