output
20052022
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.DBShow all

4 papers · 1 filter

cs.DB2020

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli, Pierre Bourhis, Stefan Mengel +1

We consider the information extraction framework known as document spanners, and study the problem of efficiently computing the results of the extraction from an input document, wh…

cs.DB2018★ 11 cited

Enumeration on Trees with Tractable Combined Complexity and Efficient Updates

Antoine Amarilli, Pierre Bourhis, Stefan Mengel +1

We give an algorithm to enumerate the results on trees of monadic second-order (MSO) queries represented by nondeterministic tree automata. After linear time preprocessing (in the…

cs.DB2017★ 4 cited

Enumeration on Trees under Relabelings

Antoine Amarilli, Pierre Bourhis, Stefan Mengel

We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time…

cs.DB2016★ 3 cited

Counting Answers to Existential Positive Queries: A Complexity Classification

Hubie Chen, Stefan Mengel

Existential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well…