dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Edmund M. Clarke (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnmol Mathur, Masahiro Fujita, Edmund M. Clarke, Pascal Urard: Functional Equivalence Verification Tools in High-Level Synthesis Flows. IEEE Design & Test of Computers 26(4): 88-95 (2009)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Masahiro Fujita, David P. Gluch: Model Checking for Dependable Software-Intensive Systems. DSN 2003: 764
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program slicing for VHDL. STTT 4(1): 125-137 (2002)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita: Efficient variable ordering using aBDD based sampling. DAC 2000: 687-692
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. Formal Methods in System Design 10(2/3): 137-148 (1997)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Masahiro Fujita, Xudong Zhao: Hybrid decision diagrams. ICCAD 1995: 159-163
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer: Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. ISCAS 1994: 275-278
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. DAC 1993: 54-60

Selection of 10 from 259 records - Edmund M. Clarke has 165 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page