Skip to content

Ellen Sentovich

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

4

Active years

1992–2009

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2009ICCADSAT-based protein design.Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme
2004DACCompetitive strategies for the electronics industry.Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal
2004DACBusiness models in IP, software licensing, and services.Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan
2003ICCADMulti-Domain Clock Skew Scheduling.Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
2000DACWeb-based frameworks to enable CAD RD (abstract).Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
1999DACECL: A Specification Environment for System-Level Design.Luciano Lavagno, Ellen Sentovich
1999ICCADFormal verification meets simulation (tutorial abstract).Ellen Sentovich, David L. Dill, Serdar Tasiran
1998DACDon't Care-Based BDD Minimization for Embedded Software.Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich
1997DACEfficient Latch Optimization Using Exclusive Sets.Ellen Sentovich, Horia Toma, Grard Berry
1996FMCADA Brief Study of BDD Package Performance.Ellen Sentovich
1996ICCADLatch optimization in circuits generated from high-level descriptions.Ellen Sentovich, Horia Toma, Grard Berry
1996ICCDEnhancing FSM Traversal by Temporary Re-Encoding.Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich
1995DACSynthesis of Software Programs for Embedded Control Applications.Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
1994ICCDAn Exact Optimization of Two-Level Acyclic Sequential Circuits.Ellen Sentovich, Robert K. Brayton
1992ICCDSequential Circuit Design Using Synthesis and Optimization.Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli