M. Thomazo

activity

20132026

most citedComplexity of Universality and Related Problems for Partially Ordered NFAs

25 citations · 47 across the 12 of their papers we have counts for

collaborators

Showing 2014Show all

3 papers · 1 filter

cs.AI2014★ 2 cited

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

Sebastian Rudolph, Michaël Thomazo, Jean-François Baget +1

The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in t…

cs.FL2014★ 2 cited

On $k$ -piecewise testability (preliminary report)

Tomáš Masopust, Michaël Thomazo

For a non-negative integer $k$ , a language is $k$ -piecewise test\-able ( $k$ -PT) if it is a finite boolean combination of languages of the form $Σ^{*} a_{1} Σ^{*} \dots Σ^{*} a_{n} Σ^{*}$ for…

cs.FL2014★ 6 cited

Alternating Towers and Piecewise Testable Separators

Štěpán Holub, Tomáš Masopust, Michaël Thomazo

Two languages are separable by a piecewise testable language if and only if there exists no infinite tower between them. An infinite tower is an infinite sequence of strings altern…

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

On k-piecewise testability (preliminary report)

Alternating Towers and Piecewise Testable Separators

On $k$ -piecewise testability (preliminary report)