7 citations · 26 across the 17 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.DB2026
Property Testing for Recursive Query Languages
Isolde Adler, Carsten Lutz, Quentin Manière +2
In the context of database querying, property testing provides a framework for testing query answers with high confidence while inspecting only a sublinear part of the database, th…
cs.LO2026
Constant time testability of first-order logic with modulo counting on finitary graphs
Isolde Adler, Jenny Stimpson
This paper studies algorithmic meta theorems for property testing with \emph{constant running time} in the bounded degree model. In (Adler, Harwath 2018) it was shown that on graph…