21 citations · 38 across the 18 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 21 cited
Reasoning about Data Repetitions with Counter Systems
Stephane Demri, Diego Figueira, M Praveen
We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions…
cs.LO2016★ 1 cited
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity
M. Praveen, B. Srivathsan
Designing query languages for graph structured data is an active field of research, where expressiveness and efficient algorithms for query evaluation are conflicting goals. To bet…