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

Three Partition Refinement Algorithms., und . SIAM J. Comput., 16 (6): 973-989 (1987)Binding Performance at Language Design Time., und . POPL, Seite 85-97. ACM Press, (1987)High Level Reading and Data Structure Compilation., und . POPL, Seite 456-469. ACM Press, (1997)Future Directions in Program Transformations.. ACM Comput. Surv., 28 (4es): 170 (1996)Symbolic Finite Differencing - Part I.. ESOP, Volume 432 von Lecture Notes in Computer Science, Seite 36-56. Springer, (1990)The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset., und . Algorithmic Languages and Calculi, Volume 95 von IFIP Conference Proceedings, Seite 382-414. Chapman & Hall, (1997)A Transformational Framework for the Automatic Control of Derived Data, und . VLDB, Seite 306-318. IEEE Computer Society, (1981)Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem., und . Sci. Comput. Program., 24 (3): 189-220 (1995)On testing common indices for two multi-index models: A link-free approach., , , und . J. Multivar. Anal., (2015)Towards Increased Productivity of Algorithm Implementation., und . SIGSOFT FSE, Seite 71-78. ACM, (1993)