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
(18)
Thomas W. Reps
10
Mooly Sagiv
3
Shmuel Sagiv
2
Nurit Dor
2
Manu Sridharan
2
Conferences
(6)
SAS(WSA)
2
CAV
2
OOPSLA
1
POPL
1
TACAS
1
Journals
(2)
SIGPLAN
2
ENTCS
1
Keywords
(26)
Embed
Subscribe
Academic
Authors
Denis Gopan
Edit
Denis Gopan
Cornell University
Publications: 13
|
Citations: 225
|
G-Index: 13
|
H-Index: 7
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:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
18 co-authors
from 2004 to 2010
; Cited by
191 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(13)
BibTeX
|
RIS
|
RefWorks
Download
View-Augmented Abstractions
(
Citations: 1
)
Matt Elder
,
Denis Gopan
,
Thomas W. Reps
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 267, no. 1, pp. 43-57, 2010
Guided Static Analysis
(
Citations: 18
)
Denis Gopan
,
Thomas W. Reps
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 349-365, 2007
Low-Level Library Analysis and Summarization
(
Citations: 14
)
Denis Gopan
,
Thomas W. Reps
Conference:
Computer Aided Verification - CAV
, pp. 68-81, 2007
Lookahead Widening
(
Citations: 32
)
Denis Gopan
,
Thomas W. Reps
Conference:
Computer Aided Verification - CAV
, pp. 452-466, 2006
A framework for numeric analysis of array operations
(
Citations: 60
)
Denis Gopan
,
Thomas W. Reps
,
Shmuel Sagiv
Journal:
Sigplan Notices - SIGPLAN
, vol. 40, no. 1, pp. 338-350, 2005
Order by:
Citations
(225 times by 150 publications)
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
The Reduced Product of Abstract Domains and the Combination of Decision Procedures
Patrick Cousot
,
Radhia Cousot
,
Laurent Mauborgne
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 456-472, 2011
Invariant Generation in Vampire
Krystof Hoder
,
Laura Kovács
,
Andrei Voronkov
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 60-64, 2011
Improving Strategies via SMT Solving
Thomas Martin Gawlitza
,
David Monniaux
Journal:
Computing Research Repository - CORR
, vol. abs/1101.2, pp. 236-255, 2011
Fluid Updates: Beyond Strong vs. Weak Updates
(
Citations: 8
)
Isil Dillig
,
Thomas Dillig
,
Alex Aiken
Conference:
European Symposium on Programming - ESOP
, pp. 246-266, 2010
Comments