default search action
Ellen Sentovich
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
- [c21]Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme:
SAT-based protein design. ICCAD 2009: 128-135 - 2006
- [e3]Ellen Sentovich:
Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. ACM 2006, ISBN 1-59593-381-6 [contents] - 2004
- [c20]Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal:
Competitive strategies for the electronics industry. DAC 2004: 264 - [c19]Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan:
Business models in IP, software licensing, and services. DAC 2004: 264 - 2003
- [c18]Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich:
Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808 - 2001
- [c17]Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich:
Embedded system design specification: merging reactive control and data computation. CDC 2001: 3302-3307 - [c16]Gérard Berry, Ellen Sentovich:
Multiclock Esterel. CHARME 2001: 110-125 - 2000
- [j5]Stefano Quer
, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton:
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods Syst. Des. 17(2): 107-134 (2000) - [j4]Gérard Berry, Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. 17(2): 135-161 (2000) - [c15]Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich:
Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711 - [e2]Ellen Sentovich:
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000. IEEE Computer Society 2000, ISBN 0-7803-6448-1 [contents]
1990 – 1999
- 1999
- [j3]Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki:
Synthesis of software programs for embedded control applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(6): 834-849 (1999) - [c14]Luciano Lavagno, Ellen Sentovich:
ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516 - [c13]Ellen Sentovich, David L. Dill, Serdar Tasiran:
Formal verification meets simulation (tutorial abstract). ICCAD 1999: 221 - [e1]Jacob K. White, Ellen Sentovich:
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999. IEEE Computer Society 1999, ISBN 0-7803-5832-5 [contents] - 1998
- [c12]Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich:
Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509 - 1997
- [c11]Ellen Sentovich, Horia Toma, Gérard Berry:
Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11 - [c10]Ellen Sentovich:
Quick Conservative Causality Analysis. ISSS 1997: 2-8 - 1996
- [c9]Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich:
Incremental re-encoding for symbolic traversal of product machines. EURO-DAC 1996: 158-163 - [c8]Ellen Sentovich:
A Brief Study of BDD Package Performance. FMCAD 1996: 389-403 - [c7]Ellen Sentovich, Horia Toma, Gérard Berry:
Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435 - [c6]Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich:
Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11 - 1995
- [j2]Robert K. Brayton, Ellen M. Sentovich:
Network Hierarchies and Node Minimization. IEICE Trans. Inf. Syst. 78-D(3): 199-208 (1995) - [c5]Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich:
Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592 - 1994
- [c4]Ellen Sentovich, Robert K. Brayton:
An Exact Optimization of Two-Level Acyclic Sequential Circuits. ICCD 1994: 242-249 - 1992
- [c3]Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Sequential Circuit Design Using Synthesis and Optimization. ICCD 1992: 328-333 - 1991
- [j1]Sharad Malik
Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(1): 74-84 (1991) - [c2]Ellen Sentovich, Robert K. Brayton:
Preserving Don't Care Conditions During Retiming. VLSI 1991: 461-470
1980 – 1989
- 1988
- [c1]Robert K. Brayton, Ellen M. Sentovich, Fabio Somenzi:
Don't cares and global flow analysis of Boolean networks. ICCAD 1988: 98-101
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: