( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Barrier Inference.

, и . POPL, стр. 342-354. ACM, (1998)

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.

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)
 

Другие публикации лиц с тем же именем

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