( en | de | ru )

 

Disambiguation of "Aiken, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

, , , and . NDSS, The Internet Society, (2000)

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.

Andrew Aiken

Aiken Brent Krahmer

Alexander

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)
 

Other publications of authors with the same name

Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)Scalable statistical bug isolation., , , , and . PLDI, page 15-26. ACM, (2005)Bug isolation via remote program sampling., , , and . PLDI, page 141-154. ACM, (2003)Checking and inferring local non-aliasing., , , and . PLDI, page 129-140. ACM, (2003)Decidability of Systems of Set Constraints with Negative Constraints, , and . Inf. Comput., 122 (1): 30-44 (October 1995)DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data., , , , , , , and . J. Vis. Lang. Comput., 12 (5): 551-571 (2001)A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)Type Systems for Distributed Data Structures., and . POPL, page 199-213. ACM, (2000)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 47-76. Springer, (1997)Directional Type Checking of Logic Programs, and . SAS, volume 864 of Lecture Notes in Computer Science, page 43-60. Springer, (1994)