Ellen Sentovich

21 papers and 1.3k indexed citations i.

About

Ellen Sentovich has authored 21 papers that have received a total of 1.3k indexed citations. This includes 9 papers in Hardware and Architecture, 8 papers in Electrical and Electronic Engineering and 8 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (8 papers), Embedded Systems Design Techniques (8 papers) and Low-power high-performance VLSI design (5 papers). Ellen Sentovich is often cited by papers focused on Formal Methods in Verification (8 papers), Embedded Systems Design Techniques (8 papers) and Low-power high-performance VLSI design (5 papers) and collaborates with scholars based in United States, France and Italy. Ellen Sentovich's co-authors include Luciano Lavagno, Robert K. Brayton, Andreas Kuehlmann, Alberto Sangiovanni‐Vincentelli and Gérard Berry and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems and Formal Methods in System Design

In The Last Decade

Rankless by CCL
2025