Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(322)
Kenneth Y. Yun
19
Edmund M. Clarke
13
Clark W. Barrett
13
Debashis Sahoo
13
Mark A. Horowitz
12
Conferences
(42)
DAC
30
CAV
26
ICCAD
13
FMCAD
12
ICCD
10
Journals
(44)
FMSD
10
TCAD
7
ENTCS
4
COMP BIOCHEM PHYSIOL PHYSIOL
4
CACM
3
Keywords
(358)
Embed
Subscribe
Academic
Authors
David L. Dill
Edit
David L. Dill
Stanford University
Publications: 289
|
Citations: 17851
|
G-Index: 131
|
H-Index: 54
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Hardware & Architecture
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
322 co-authors
from 1969 to 2012
; Cited by
9595 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(289)
BibTeX
|
RIS
|
RefWorks
Download
Knowing: A Generic Data Analysis Application
T. Bernecker
,
F. Graf
,
H.-P. Kriegel
,
N. Seiler
,
C. Tuermer
,
D. Dill
Published in 2012.
Are Cells Asynchronous Circuits? - (Invited Talk)
David L. Dill
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, 2011
Towards program optimization through automated analysis of numerical precision
(
Citations: 1
)
Michael D. Linderman
,
Matthew Ho
,
David L. Dill
,
Teresa H. Y. Meng
,
Garry P. Nolan
Conference:
Symposium on Code Generation and Optimization - CGO
, pp. 230-237, 2010
Timing Robustness in the Budding and Fission Yeast Cell Cycles
(
Citations: 3
)
Karan Mangla
,
Mark A. Horowitz
Journal:
Plos One
, vol. 5, no. 2, 2010
MiDReG: A method of mining developmentally regulated genes using Boolean implications
D. Sahoo
,
J. Seita
,
D. Bhattacharya
,
M. A. Inlay
,
I. L. Weissman
,
S. K. Plevritis
,
D. L. Dill
Journal:
Proceedings of The National Academy of Sciences - PNAS
, vol. 107, no. 13, pp. 5732-5737, 2010
Order by:
Citations
(17851 times by 10627 publications)
An Information Theoretic Approach to Constructing Robust Boolean Gene Regulatory Networks
Bane Vasic
,
Vida Ravanmehr
,
Anantha Raman Krishnan
Journal:
IEEE/ACM Transactions on Computational Biology and Bioinformatics - TCBB
, vol. 9, no. 1, pp. 52-65, 2012
S2E: a platform for in-vivo multi-path analysis of software systems
(
Citations: 5
)
Vitaly Chipounov
,
Volodymyr Kuznetsov
,
George Candea
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 265-278, 2011
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
Parallel symbolic execution for automated real-world software testing
(
Citations: 4
)
Stefan Bucur
,
Vlad Ureche
,
Cristian Zamfir
,
George Candea
Conference:
EuroSys Conference - EUROSYS
, pp. 183-198, 2011
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
Comments