( en | de | ru )

 

Disambiguation of "Gopan, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
Numeric Domains with Summarized Dimensions.

, , , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 512-529. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

Marina Denisova

 

Other publications of authors with the same name

Numeric Domains with Summarized Dimensions., , , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 512-529. Springer, (2004)Low-Level Library Analysis and Summarization., and . CAV, volume 4590 of Lecture Notes in Computer Science, page 68-81. Springer, (2007)View-Augmented Abstractions., , and . NSAD@SAS, volume 267 of Electronic Notes in Theoretical Computer Science, page 43-57. Elsevier, (2010)Numerical Domains with Summarized Dimensions, , , , and . Proc. TACAS 2004, volume 2988 of LNCS, page 512--529. (2004)Lookahead Widening., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 452-466. Springer, (2006)Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery., , , , , and . ICSE (1), page 145-155. IEEE Computer Society, (2015)Demand-driven points-to analysis for Java., , , and . OOPSLA, page 59-76. ACM, (2005)A Relational Abstraction for Functions., , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 186-202. Springer, (2005)Guided Static Analysis., and . SAS, volume 4634 of Lecture Notes in Computer Science, page 349-365. Springer, (2007)Vertx: Automated Validation of Binary Transformations., , and . FEAST@CCS, page 1-7. ACM, (2017)