298 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université de LilleFR364 papers
- Centre National de la Recherche ScientifiqueFR257 papers
- École Centrale de LilleFR212 papers
- Centre de Recherche en InformatiqueFR203 papers
- Université Paris-SaclayFR74 papers
- Institut d'Astrophysique SpatialeFR64 papers
- Sorbonne UniversitéFR59 papers
- Institut de Recherche en Astrophysique et PlanétologieFR58 papers
- Université Paris CitéFR57 papers
- Université Paris Sciences et LettresFR53 papers
- Ludwig-Maximilians-Universität MünchenDE52 papers
- CEA Paris-SaclayFR51 papers
4 papers · 2 filters
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…
Connecting Knowledge Compilation Classes and Width Parameters
Antoine Amarilli, Florent Capelli, Mikaël Monet +1
The field of knowledge compilation establishes the tractability of many tasks by studying how to compile them to Boolean circuit classes obeying some requirements such as structure…
Evaluating Datalog via Tree Automata and Cycluits
Antoine Amarilli, Pierre Bourhis, Mikaël Monet +1
We investigate parameterizations of both database instances and queries that make query evaluation fixed-parameter tractable in combined complexity. We show that clique-frontier-gu…
Relational to RDF Data Exchange in Presence of a Shape Expression Schema
Iovka Boneva, Jose Lozano, Sławek Staworko
We study the relational to RDF data exchange problem, where the tar- get constraints are specified using Shape Expression schema (ShEx). We investi- gate two fundamental problems:…