( en | de | ru )

 

Disambiguierung von "Aiken, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

, , , und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 78-96. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrew Aiken

Aiken Brent Krahmer

Alexander

Alexander Stadler

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

Alexander Auch

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

Weitere Publikationen von Autoren mit dem selben Namen

Solving Systems of Set Constraints (Extended Abstract), und . LICS, Seite 329-340. IEEE Computer Society, (1992)A Toolkit for Constructing Type- and Constraint-Based Program Analyses., , , und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 78-96. Springer, (1998)Implementing Regular Tree Expressions., und . FPCA, Volume 523 von Lecture Notes in Computer Science, Seite 427-447. Springer, (1991)Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation., , und . LISP and Functional Programming, Seite 79-90. ACM, (1994)A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities., , , und . NDSS, The Internet Society, (2000)DataSplash., , , , , , , und . SIGMOD Conference, Seite 550-552. ACM Press, (1998)Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism., , und . SIGMOD Conference, Seite 59-68. ACM Press, (1992)SIGMOD Record 21(2), June 1992.Type Inclusion Constraints and Type Inference., und . FPCA, Seite 31-41. ACM, (1993)Type Systems for Distributed Data Structures., und . POPL, Seite 199-213. ACM, (2000)A Theory of Type Qualifiers, , und . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (Mai 1999)