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

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.DataSplash., , , , , , , und . SIGMOD Conference, Seite 550-552. ACM Press, (1998)A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities., , , und . NDSS, The Internet Society, (2000)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)Type Inclusion Constraints and Type Inference., und . FPCA, Seite 31-41. ACM, (1993)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)Solving Systems of Set Constraints (Extended Abstract), und . LICS, Seite 329-340. IEEE Computer Society, (1992)Fine-grain compilation for pipelined machines., , und . J. Supercomput., 2 (3): 279-295 (1988)Type Systems for Distributed Data Structures., und . POPL, Seite 199-213. ACM, (2000)