From post

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.

 

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

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