Author of the publication

An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners.

, , , , and . WISE (1), volume 8786 of Lecture Notes in Computer Science, page 480-495. Springer, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , and . Dagstuhl Reports, 6 (5): 56-71 (2016)Static Analysis of Shape in TensorFlow Programs (Artifact)., , , , and . Dagstuhl Artifacts Ser., 6 (2): 06:1-06:3 (2020)ICC++-AC++ Dialect for High Performance Parallel Computing., , , and . ISOTAS, volume 1049 of Lecture Notes in Computer Science, page 76-95. Springer, (1996)LakeBench: Benchmarks for Data Discovery over Data Lakes., , , , , , , , and . CoRR, (2023)Model Generation For Java Frameworks., , , , , and . ICST, page 165-175. IEEE, (2023)Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints., , , , and . Softw. Pract. Exp., 54 (3): 363-393 (March 2024)Validating structural properties of nested objects., , , , , , and . OOPSLA Companion, page 294-304. ACM, (2004)Scalable and precise taint analysis for Android., , , and . ISSTA, page 106-117. ACM, (2015)Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding., , , and . AAAI, page 4415-4423. AAAI Press, (2022)A Toolkit for Generating Code Knowledge Graphs., , , and . K-CAP, page 137-144. ACM, (2021)