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

Worst-Case Optimal Radix Triejoin., , , und . CoRR, (2019)Predicated Partial Redundancy Elimination Using A Cost Analysis., , und . Parallel Process. Lett., 13 (4): 525-536 (2003)Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs., , und . Ada-Europe, Volume 1845 von Lecture Notes in Computer Science, Seite 225-237. Springer, (2000)Partial Redundancy Elimination with Predication Techniques., , und . Euro-Par, Volume 2790 von Lecture Notes in Computer Science, Seite 242-250. Springer, (2003)Symbolic Analysis of Imperative Programming Languages., , und . JMLC, Volume 4228 von Lecture Notes in Computer Science, Seite 172-194. Springer, (2006)Provenance for Large-scale Datalog., , und . CoRR, (2019)Provenance-guided synthesis of Datalog programs., , , , und . Proc. ACM Program. Lang., 4 (POPL): 62:1-62:27 (2020)Symbolic Cache Analysis for Real-Time Systems., , und . Real Time Syst., 18 (2/3): 181-215 (2000)Generalized instruction selection using SSA-graphs., , , , , und . LCTES, Seite 31-40. ACM, (2008)Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract)., , , , , und . ICDE, Seite 3897-3898. IEEE, (2023)