Ellen Sentovich

4.8k total citations · 1 hit paper
35 papers, 3.0k citations indexed

About

Ellen Sentovich is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Ellen Sentovich has authored 35 papers receiving a total of 3.0k indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Hardware and Architecture, 18 papers in Computational Theory and Mathematics and 10 papers in Electrical and Electronic Engineering. Recurrent topics in Ellen Sentovich's work include Embedded Systems Design Techniques (19 papers), Formal Methods in Verification (17 papers) and VLSI and Analog Circuit Testing (9 papers). Ellen Sentovich is often cited by papers focused on Embedded Systems Design Techniques (19 papers), Formal Methods in Verification (17 papers) and VLSI and Analog Circuit Testing (9 papers). Ellen Sentovich collaborates with scholars based in United States, Italy and France. Ellen Sentovich's co-authors include Alberto Sangiovanni‐Vincentelli, Luciano Lavagno, Harry Hsieh, Massimiliano Chiodo, Attila Jurecska, Paolo Giusto, Felice Balarin, Kei Suzuki, Robert K. Brayton and Bassam Tabbara 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

Ellen Sentovich

33 papers receiving 2.8k citations

Hit Papers

SIS : A System for Sequential Circuit Synthesis 1992 2026 2003 2014 1992 400 800 1.2k

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Ellen Sentovich United States 15 2.3k 1.6k 825 522 215 35 3.0k
F. Brglez United States 22 2.7k 1.1× 2.6k 1.6× 391 0.5× 226 0.4× 211 1.0× 92 3.2k
Melvin A. Breuer United States 22 3.1k 1.3× 3.1k 1.9× 424 0.5× 339 0.6× 201 0.9× 91 3.8k
Raúl Camposano United States 16 1.6k 0.7× 734 0.5× 274 0.3× 599 1.1× 140 0.7× 62 1.8k
M. Abramovici United States 32 4.2k 1.8× 3.9k 2.4× 325 0.4× 241 0.5× 237 1.1× 88 4.6k
Jordi Cortadella Spain 26 2.2k 0.9× 1.8k 1.1× 1.1k 1.3× 838 1.6× 190 0.9× 206 3.2k
Ranga Vemuri United States 25 1.8k 0.8× 1.6k 1.0× 260 0.3× 757 1.5× 323 1.5× 282 2.5k
Spyros Tragoudas United States 21 947 0.4× 1.2k 0.8× 228 0.3× 462 0.9× 113 0.5× 237 1.7k
Valeria Bertacco United States 36 2.5k 1.1× 2.3k 1.4× 458 0.6× 1.6k 3.0× 413 1.9× 195 3.6k
Alex Orailoğlu United States 26 2.3k 1.0× 2.2k 1.4× 136 0.2× 509 1.0× 202 0.9× 274 2.7k
Daniël Brand United States 22 1.0k 0.4× 760 0.5× 1.0k 1.3× 399 0.8× 648 3.0× 51 2.1k

Countries citing papers authored by Ellen Sentovich

Since Specialization
Citations

This map shows the geographic impact of Ellen Sentovich's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ellen Sentovich with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ellen Sentovich more than expected).

Fields of papers citing papers by Ellen Sentovich

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ellen Sentovich. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ellen Sentovich. The network helps show where Ellen Sentovich may publish in the future.

Co-authorship network of co-authors of Ellen Sentovich

This figure shows the co-authorship network connecting the top 25 collaborators of Ellen Sentovich. A scholar is included among the top collaborators of Ellen Sentovich based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ellen Sentovich. Ellen Sentovich is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ollikainen, Noah, et al.. (2009). SAT-based protein design. International Conference on Computer Aided Design. 128–135. 7 indexed citations
2.
Sentovich, Ellen. (2006). Proceedings of the 43rd annual Design Automation Conference. Design Automation Conference. 1126–1126. 40 indexed citations
3.
Sentovich, Ellen, et al.. (2005). Efficient Latch Optimization Using Exclusive Sets. HAL (Le Centre pour la Communication Scientifique Directe). 8–11. 1 indexed citations
4.
Ravindran, Kaushik, Andreas Kuehlmann, & Ellen Sentovich. (2003). Multi-Domain Clock Skew Scheduling. International Conference on Computer Aided Design. 801–808. 37 indexed citations
5.
Lavagno, Luciano & Ellen Sentovich. (2003). ECL: a specification environment for system-level design. 511–516. 9 indexed citations
6.
Brayton, Robert K., Ellen Sentovich, & Fabio Somenzi. (2003). Don't cares and global flow analysis of Boolean networks. 98–101. 2 indexed citations
7.
Sentovich, Ellen, K.J. Singh, Cho W. Moon, et al.. (2003). Sequential circuit design using synthesis and optimization. 328–333. 147 indexed citations
8.
Malik, Sharad, Ellen Sentovich, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (2002). Retiming and resynthesis: optimizing sequential networks with combinational techniques. i. 397–406. 10 indexed citations
9.
Sentovich, Ellen & Rolf Ernst. (2001). Proceedings of the 2000 international conference on Computer-aided design. International Conference on Computer Aided Design. 36 indexed citations
10.
Sentovich, Ellen. (2000). Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design. International Conference on Computer Aided Design. 24 indexed citations
11.
Dill, David L., Serdar Taşiran, & Ellen Sentovich. (1999). Formal verification meets simulation (embedded tutorial) (abstract only). International Conference on Computer Aided Design. 221. 7 indexed citations
12.
Sentovich, Ellen, David L. Dill, & Serdar Taşiran. (1999). Formal verification meets simulation (tutorial abstract).. International Conference on Computer Aided Design. 221. 1 indexed citations
13.
Beerel, Peter A., et al.. (1998). Don't care-based BDD minimization for embedded software. 506–509. 6 indexed citations
14.
Sentovich, Ellen. (1997). Quick conservative causality analysis. 2–8. 7 indexed citations
15.
Sentovich, Ellen, et al.. (1996). Latch optimization in circuits generated from high-level descriptions. International Conference on Computer Aided Design. 428–435. 22 indexed citations
16.
Brayton, Robert K. & Ellen Sentovich. (1995). Network Hierarchies and Node Minimization. IEICE Transactions on Information and Systems. 199–208. 1 indexed citations
17.
Quer, Stefano, Gianpiero Cabodi, P. Camurati, et al.. (1995). Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal. PORTO Publications Open Repository TOrino (Politecnico di Torino). 317–327. 8 indexed citations
18.
Sentovich, Ellen. (1992). SIS : A System for Sequential Circuit Synthesis. CTIT technical reports series. 1462 indexed citations breakdown →
19.
Sentovich, Ellen & Robert K. Brayton. (1991). Preserving Don't Care Conditions During Retiming.. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 461–470. 5 indexed citations
20.
Malik, Sharad, Ellen Sentovich, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1991). Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10(1). 74–84. 146 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026