Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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.A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities., , , und . NDSS, The Internet Society, (2000)Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation., , und . LISP and Functional Programming, Seite 79-90. ACM, (1994)Type Inclusion Constraints and Type Inference., und . FPCA, Seite 31-41. ACM, (1993)Implementing Regular Tree Expressions., und . FPCA, Volume 523 von Lecture Notes in Computer Science, Seite 427-447. Springer, (1991)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)Type Systems for Distributed Data Structures., und . POPL, Seite 199-213. ACM, (2000)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , und . TACS, Volume 1281 von Lecture Notes in Computer Science, Seite 47-76. Springer, (1997)