research
∙
10/29/2022
Linear Programs with Conjunctive Database Queries
In this paper, we study the problem of optimizing a linear program whose...
share
research
∙
09/21/2022
Schema-Based Automata Determinization
We propose an algorithm for schema-based determinization of finite autom...
research
∙
08/05/2022
Jumping Evaluation of Nested Regular Path Queries
Nested regular path queries are used for querying graph databases and RD...
research
∙
02/21/2019
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
This volume contains the formal proceedings of the 5th International Wor...
research
∙
01/11/2019