Ellen Sentovich
Impact in
- Hardware and Architecture top 0.2%
- Embedded Systems Design Techniques
- VLSI and Analog Circuit Testing
- Parallel Computing and Optimization Techniques
- Real-Time Systems Scheduling
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification
Papers in
-
- Embedded Systems Design Techniques 19
- VLSI and Analog Circuit Testing 9
- Real-Time Systems Scheduling 6
- Parallel Computing and Optimization Techniques 4
-
- Formal Methods in Verification 17
- Co-authors
- Alberto Sangiovanni‐VincentelliLuciano LavagnoHarry HsiehMassimiliano ChiodoAttila JurecskaPaolo GiustoFelice BalarinKei Suzuki
- Journals
- Formal Methods in System Design (2 papers)IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2 papers)IEEE Transactions on Very Large Scale Integration (VLSI) Systems (1 paper)IEICE Transactions on Information and Systems (1 paper)Design Automation Conference (1 paper)
- Partner nations
- United StatesItalyFrance
In The Last Decade
Ellen Sentovich
33 papers receiving 2.8k citations
Hit Papers
Peers
Comparison fields: 5 of 67
- Hardware and Architecture 2.3k
- Computational Theory and Mathematics 825
- Software 181
- Electrical and Electronic Engineering 1.6k
- Computer Networks and Communications 522
Countries citing papers authored by Ellen Sentovich
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
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
The 25 scholars most cited alongside Ellen Sentovich, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | SAT-based protein design | 2009 | 7 |
| 2 | Proceedings of the 43rd annual Design Automation Conference | 2006 | 40 |
| 3 | 2005 | 1 | |
| 4 | 2003 | 37 | |
| 5 | 2003 | 9 | |
| 6 | 2003 | 2 | |
| 7 | 2003 | 147 | |
| 8 | 2002 | 10 | |
| 9 | Proceedings of the 2000 international conference on Computer-aided design | 2001 | 36 |
| 10 | Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design | 2000 | 24 |
| 11 | 1999 | 7 | |
| 12 | Formal verification meets simulation (tutorial abstract). | 1999 | 1 |
| 13 | 1998 | 6 | |
| 14 | 1997 | 7 | |
| 15 | 1996 | 22 | |
| 16 | Network Hierarchies and Node Minimization | 1995 | 1 |
| 17 | Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal | 1995 | 8 |
| 18 | SIS : A System for Sequential Circuit Synthesis Hit paper breakdown → | 1992 | 1462 |
| 19 | Preserving Don't Care Conditions During Retiming. | 1991 | 5 |
| 20 | 1991 | 146 |
About Ellen Sentovich
Ellen Sentovich is a scholar working on Hardware and Architecture, Computational Theory and Mathematics, Software, Human-Computer Interaction and Electrical and Electronic Engineering, having authored 35 papers that have together received 3.0k indexed citations. Recurring topics across this work include Embedded Systems Design Techniques (19 papers), Formal Methods in Verification (17 papers), VLSI and Analog Circuit Testing (9 papers), Low-power high-performance VLSI design (6 papers), Real-Time Systems Scheduling (6 papers), VLSI and FPGA Design Techniques (4 papers), Parallel Computing and Optimization Techniques (4 papers) and Simulation Techniques and Applications (2 papers). The work is most often cited by research in Hardware and Architecture (2.3k citations), Computational Theory and Mathematics (825 citations), Software (181 citations), Electrical and Electronic Engineering (1.6k citations) and Computer Networks and Communications (522 citations). Ellen Sentovich has collaborated with scholars based in United States, Italy and France. Frequent 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. Their work appears in journals such as Formal Methods in System Design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEICE Transactions on Information and Systems and Design Automation Conference.
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.