Antoine Amarilli

79
Documents
Affiliations actuelles
  • Centre Inria de l'Université de Lille
  • Données : algorithmiques et logiques dynamiques (D-DAL)
Contact

Publications

Publications

Linear Time Subsequence and Supersequence Regex Matching

Antoine Amarilli , Florin Manea , Tina Ringleb , Markus Schmid
MFCS, Aug 2025, Warsaw, Poland. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, ⟨10.4230/LIPIcs.MFCS.2025.9⟩
Proceedings/Recueil des communications hal-05407156 v1

Resilience for Regular Path Queries: Towards a Complexity Classification

Antoine Amarilli , Wolfgang Gatterbauer , Neha Makhija , Mikaël Monet
PODS, Jun 2025, Berlin, Germany. Proceedings of the ACM on Management of Data, 3 (2), pp.1-18, 2025, ⟨10.1145/3725245⟩
Proceedings/Recueil des communications hal-04871464 v1

Dynamic Membership for Regular Tree Languages

Antoine Amarilli , Corentin Barloy , Louis Jachiet , Charles Paperman
MFCS, Aug 2025, Warsaw, Poland. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, ⟨10.4230/LIPIcs.MFCS.2025.8⟩
Proceedings/Recueil des communications hal-05407144 v1

Approximating Queries on Probabilistic Graphs

Antoine Amarilli , Timothy van Bremen , Octave Gaspard , Kuldeep S. Meel
2025
Pré-publication, Document de travail hal-04871474 v1

Confluence of the Node-Domination and Edge-Domination Hypergraph Rewrite Rules

Antoine Amarilli , Mikaël Monet , Rémi de Pretto
2025
Pré-publication, Document de travail hal-05407139 v1

Tighter Bounds for Query Answering with Guarded TGDs

Antoine Amarilli , Michael Benedikt
2025
Pré-publication, Document de travail hal-04871495 v1

Locality Testing for NFAs is PSPACE-complete

Antoine Amarilli , Mikaël Monet , Rémi de Pretto
2025
Pré-publication, Document de travail hal-05407131 v1

Cutwidth Bounds via Vertex Partitions

Antoine Amarilli , Benoît Groz
2025
Pré-publication, Document de travail hal-05407161 v1

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

Antoine Amarilli , Marcelo Arenas , Yoojung Choi , Mikaël Monet , Guy van Den Broeck et al.
2025
Pré-publication, Document de travail hal-04871512 v1

Survey of Results on the ModPath and ModCycle Problems

Antoine Amarilli
2025
Pré-publication, Document de travail hal-04871498 v1
Image document

The Non-Cancelling Intersections Conjecture

Antoine Amarilli , Mikaël Monet , Dan Suciu
2024
Pré-publication, Document de travail hal-04603239 v1

Connecting Width and Structure in Knowledge Compilation (Extended Version)

Antoine Amarilli , Mikaël Monet , Pierre Senellart
2018
Pré-publication, Document de travail hal-01614551 v1

Top-k Querying of Unknown Values under Order Constraints (Extended Version)

Antoine Amarilli , Yael Amsterdamer , Tova Milo , Pierre Senellart
2017
Pré-publication, Document de travail hal-01439310 v1
Image document

Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)

Antoine Amarilli , Pierre Bourhis , Mikaël Monet , Pierre Senellart
2016
Pré-publication, Document de travail hal-01439309 v1

Skyline Operators for Document Spanners

Antoine Amarilli , Benny Kimelfeld , Sébastien Labbé , Stefan Mengel
27th International Conference on Database Theory (ICDT 2024), Mar 2024, Paestum, Italy. pp.7:1-7:18, ⟨10.4230/LIPICS.ICDT.2024.7⟩
Communication dans un congrès hal-04778343 v1

Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability

Antoine Amarilli , Timothy van Bremen , Kuldeep Meel
ICDT 2024 27th International Conference on Database Theory, Mar 2024, Paestum, Italy. ⟨10.4230/LIPIcs.ICDT.2024.15⟩
Communication dans un congrès hal-04871556 v1

Edge-Minimum Walk of Modular Length in Polynomial Time

Antoine Amarilli , Benoit Groz , Nicole Wein
16th Innovations in Theoretical Computer Science - ITCS 2025, Jan 2025, New York City, United States. pp.5:1-5:23, ⟨10.4230/LIPIcs.ITCS.2025.5⟩
Communication dans un congrès hal-04871489 v1
Image document

Ranked Enumeration for MSO on Trees via Knowledge Compilation

Antoine Amarilli , Pierre Bourhis , Florent Capelli , Mikaël Monet
International Conference on Database Theory (ICDT 2024), Mar 2024, Paestum, Italy. pp.5:1-25:18, ⟨10.4230/LIPIcs.ICDT.2024.25⟩
Communication dans un congrès hal-04377344 v2
Image document

Enumerating Regular Languages with Bounded Delay

Antoine Amarilli , Mikaël Monet
STACS, Mar 2023, Hamburg, Germany. ⟨10.4230/LIPIcs.STACS.2023.8⟩
Communication dans un congrès hal-03940590 v1

Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries

Antoine Amarilli
ICDT 2023 : 26th International Conference on Database Theory, Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.14⟩
Communication dans un congrès hal-04871580 v1

Query-Guided Resolution in Uncertain Databases

Osnat Drien , Matanya Freiman , Antoine Amarilli , Yael Amsterdamer
SIGMOD, Jun 2024, Washington, United States. pp.Article No.: 180, Pages 1 - 27, ⟨10.1145/3589325⟩
Communication dans un congrès hal-04871570 v1

Weighted Counting of Matchings in Unbounded-Treewidth Graph Families

Antoine Amarilli , Mikaël Monet
MFCS, Aug 2022, Vienna, Austria. ⟨10.4230/LIPIcs.MFCS.2022.9⟩
Communication dans un congrès hal-03712197 v1

Worst-case Analysis for Interactive Evaluation of Boolean Provenance

Antoine Amarilli , Yael Amsterdamer
TaPP workshop, Jun 2022, Philadelphia, United States
Communication dans un congrès hal-03712198 v1

Efficient enumeration algorithms for annotated grammars

Antoine Amarilli , Louis Jachiet , Martín Muñoz , Cristian Riveros
PODS 2022, Jun 2022, Philadelphie, United States. ⟨10.1145/3517804.3526232⟩
Communication dans un congrès hal-03654592 v1

Managing Consent for Data Access in Shared Databases

Osnat Drien , Antoine Amarilli , Yael Amsterdamer
2021 IEEE 37th International Conference on Data Engineering (ICDE), Apr 2021, Chania, Greece. pp.1949-1954, ⟨10.1109/ICDE51399.2021.00182⟩
Communication dans un congrès hal-03712201 v1
Image document

Uniform Reliability of Self-Join-Free Conjunctive Queries

Antoine Amarilli , Benny Kimelfeld
24th International Conference on Database Theory (ICDT 2021), Mar 2021, Nicosia, Cyprus. ⟨10.4230/LIPIcs.ICDT.2021.17⟩
Communication dans un congrès hal-03712202 v1

Dynamic Membership for Regular Languages

Antoine Amarilli , Louis Jachiet , Charles Paperman
ICALP 2021 - 48th International Colloquium on Automata, Languages, and Programming, Jul 2021, Glasgow, United Kingdom. pp.116:1--116:17, ⟨10.4230/LIPIcs.ICALP.2021.116⟩
Communication dans un congrès hal-03466453 v1
Image document

Computing and Illustrating Query Rewritings on Path Views with Binding Patterns

Julien Romero , Nicoleta Preda , Antoine Amarilli , Fabian Suchanek
International conference on information and knowledge management (CIKM), 2020, virtual, France. ⟨10.1145/3340531.3417431⟩
Communication dans un congrès hal-03108517 v1

A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
ICDT, Mar 2020, Copenhagen, Denmark. ⟨10.4230/LIPIcs.ICDT.2020.5⟩
Communication dans un congrès hal-02941907 v1
Image document

Equivalent Rewritings on Path Views with Binding Patterns

Julien Romero , Nicoleta Preda , Antoine Amarilli , Fabian M. Suchanek
17th Extended Semantic Web Conference, ESWC 2020, Mar 2020, Online, France. pp.446-462, ⟨10.1007/978-3-030-49461-2_26⟩
Communication dans un congrès hal-02876611 v1

Smoothing Structured Decomposable Circuits

Andy Shih , Guy van Den Broeck , Paul Beame , Antoine Amarilli
NeurIPS 2019, Dec 2019, Vancouver, Canada
Communication dans un congrès hal-02338336 v1

Enumeration on Trees with Tractable Combined Complexity and Efficient Updates

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
PODS, Jun 2019, Amsterdam, France. pp.89-103, ⟨10.1145/3294052.3319702⟩
Communication dans un congrès hal-02326243 v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
ICDT, Mar 2019, Lisbon, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.22⟩
Communication dans un congrès hal-02338344 v1
Image document

Topological Sorting with Regular Constraints

Antoine Amarilli , Charles Paperman
ICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic. pp.115:1--115:14
Communication dans un congrès hal-01950909 v1

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Antoine Amarilli , Michael Benedikt
PODS 2018, Jun 2018, Houston, United States
Communication dans un congrès hal-02079064 v1
Image document

Connecting Width and Structure in Knowledge Compilation

Antoine Amarilli , Mikaël Monet , Pierre Senellart
ICDT 2018 - 21st International Conference on Database Theory, Mar 2018, Vienna, Austria. pp.1-17, ⟨10.4230/LIPIcs.ICDT.2018.6⟩
Communication dans un congrès hal-01851564 v1

Enumeration on Trees under Relabelings

Antoine Amarilli , Pierre Bourhis , Stefan Mengel
21st International Conference on Database Theory,ICDT 2018, Mar 2018, Vienna, Austria. ⟨10.4230/LIPIcs.ICDT.2018.5⟩
Communication dans un congrès hal-02412744 v1
Image document

Combined Tractability of Query Evaluation via Tree Automata and Cycluits

Antoine Amarilli , Pierre Bourhis , Mikaël Monet , Pierre Senellart
ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.6⟩
Communication dans un congrès hal-01439294 v1

Top-k Queries on Unknown Values under Order Constraints

Antoine Amarilli , Yael Amsterdamer , Tova Milo , Pierre Senellart
ICDT 2017, Mar 2017, Venice, Italy
Communication dans un congrès hal-02287482 v1
Image document

Conjunctive Queries on Probabilistic Graphs: Combined Complexity

Antoine Amarilli , Mikaël Monet , Pierre Senellart
Principles of Database Systems (PODS), May 2017, Chicago, United States. ⟨10.1145/3034786.3056121⟩
Communication dans un congrès hal-01486634 v1

Predicting Completeness in Knowledge Bases

Luis Galárraga , Simon Razniewski , Antoine Amarilli , Fabian M. Suchanek
WSDM, 2017, Unknown, Unknown Region
Communication dans un congrès hal-01472488 v1
Image document

Possible and Certain Answers for Queries over Order-Incomplete Data

Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. pp.4:1-4:19, ⟨10.4230/LIPIcs.TIME.2017.4⟩
Communication dans un congrès hal-01614571 v2
Image document

Top-k Querying of Unknown Values under Order Constraints

Antoine Amarilli , Yael Amsterdamer , Tova Milo , Pierre Senellart
ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.5⟩
Communication dans un congrès hal-01439295 v1
Image document

A Circuit-Based Approach to Efficient Enumeration

Antoine Amarilli , Pierre Bourhis , Louis Jachiet , Stefan Mengel
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2017.111⟩
Communication dans un congrès hal-01639179 v1

Tractable Lineages on Treelike Instances: Limits and Extensions

Antoine Amarilli , Pierre Bourhis , Pierre Senellart
PODS (Principles of Database Systems), Jun 2016, San Francisco, United States. pp.355-370
Communication dans un congrès hal-01336514 v1
Image document

Query Answering with Transitive and Linear-Ordered Data

Antoine Amarilli , Michael Benedikt , Pierre Bourhis , Michael Vanden Boom
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
Communication dans un congrès hal-01413881 v1
Image document

Challenges for Efficient Query Evaluation on Structured Probabilistic Data

Antoine Amarilli , Silviu Maniu , Mikaël Monet
SUM 2016 - 10th International Conference Scalable Uncertainty Management, Sep 2016, Nice, France. pp.323-330, ⟨10.1007/978-3-319-45856-4_22⟩
Communication dans un congrès hal-01360167 v1

Combining Existential Rules and Description Logics

Antoine Amarilli , Michael Benedikt
IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.2691-2697
Communication dans un congrès hal-01190601 v1

Finite Open-World Query Answering with Number Restrictions

Antoine Amarilli , Michael Benedikt
LICS 2015, Jul 2015, Kyoto, Japan. pp.305-316
Communication dans un congrès hal-01190580 v1

Circuits de provenance pour les arbres et les instances quasi-arborescentes

Antoine Amarilli , Pierre Bourhis , Pierre Senellart
BDA, Sep 2015, Porquerolles, France
Communication dans un congrès hal-02287157 v1

Requêtes sur des données à ordre incomplet

Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart
BDA, Sep 2015, Porquerolles, France
Communication dans un congrès hal-02288441 v1

Structurally Tractable Uncertain Data

Antoine Amarilli
SIGMOD/PODS Ph.D. Symposium, Jun 2015, Melbourne, Australia. pp.39-44
Communication dans un congrès hal-01190610 v1

Provenance Circuits for Trees and Treelike Instances

Antoine Amarilli , Pierre Bourhis , Pierre Senellart
ICALP 2015, Jun 2015, Kyoto, Japan. pp.56-68
Communication dans un congrès hal-01178399 v1

IBEX: Harvesting Entities from the Web Using Unique Identifiers

Aliaksandr Talaika , Joanna Biega , Antoine Amarilli , Fabian M. Suchanek
WebDB, May 2015, Melbourne, Australia
Communication dans un congrès hal-01190629 v1

Uncertainty in Crowd Data Sourcing under Structural Constraints

Antoine Amarilli , Yael Amsterdamer , Tova Milo
UnCrowd, Apr 2014, Bali, Indonesia. pp.351-359
Communication dans un congrès hal-01190716 v1

The Possibility Problem for Probabilistic XML

Antoine Amarilli
Alberto Mendelzon International Workshop on Foundations of Data Management, Jun 2014, Carthagène des Indes, Colombia
Communication dans un congrès hal-01190712 v1

Get a Sample for a Discount: Sampling-Based XML Data Pricing

Ruiming Tang , Antoine Amarilli , Pierre Senellart , Stéphane Bressan
DEXA (Database and Expert Systems Applications), Sep 2014, Munich, Germany. pp.20-34
Communication dans un congrès hal-01069820 v1

On the Complexity of Mining Itemsets from the Crowd Using Taxonomies

Antoine Amarilli , Yael Amsterdamer , Tova Milo
ICDT (International Conference on Database Theory), Mar 2014, Athens, Greece. pp.15-25
Communication dans un congrès hal-00986184 v1

Recent Topics of Research around the YAGO Knowledge Base

Antoine Amarilli , Luis Galárraga , Nicoleta Preda , Fabian M. Suchanek
Asia-Pacific Web Conference (APWEB), Sep 2014, Changsha, China. pp.1-12
Communication dans un congrès hal-01190642 v1
Image document

On the Connections between Relational and XML Probabilistic Data Models

Antoine Amarilli , Pierre Senellart
BNCOD (British National Conference on Databases), Jul 2013, Oxford, United Kingdom. pp.121-134
Communication dans un congrès hal-00874445 v1

Cross-Fertilizing Deep Web Analysis and Ontology Enrichment

Marilena Oita , Antoine Amarilli , Pierre Senellart
VLDS (Very Large Data Search), Aug 2012, Istanbul, Turkey. pp.21-24
Communication dans un congrès hal-00737941 v1
Image document

Can code polymorphism limit information leakage?

Antoine Amarilli , Sascha Müller , David Naccache , Daniel Page , Pablo Rauzy et al.
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.1-21, ⟨10.1007/978-3-642-21040-2_1⟩
Communication dans un congrès hal-01110259 v1

Tractable Circuits in Database Theory

Antoine Amarilli , Florent Capelli
SIGMOD record, 2024, 53 (2), pp.6-20. ⟨10.1145/3685980.3685982⟩
Article dans une revue hal-04871509 v1

Locality and Centrality: The Variety ZG

Antoine Amarilli , Charles Paperman
Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:4)2023⟩
Article dans une revue hal-04589443 v1

Uniform Reliability of Self-Join-Free Conjunctive Queries

Antoine Amarilli , Benny Kimelfeld
Logical Methods in Computer Science, In press, ⟨10.46298/lmcs-18(4:3)2022⟩
Article dans une revue hal-03807851 v1

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Antoine Amarilli , Michael Benedikt
Logical Methods in Computer Science, 2022
Article dans une revue hal-03712199 v1

The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
Logical Methods in Computer Science, 2022, ⟨10.46298/lmcs-18(1:2)2022⟩
Article dans une revue hal-03712200 v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Stefan Mengel , Antoine Amarilli , Pierre Bourhis , Matthias Niewerth
ACM Transactions on Database Systems, 2021, 46 (1), pp.1-30. ⟨10.1145/3436487⟩
Article dans une revue hal-03402446 v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
SIGMOD record, 2020, 49 (1), pp.25-32. ⟨10.1145/3422648.3422655⟩
Article dans une revue hal-03046848 v1

Connecting Knowledge Compilation Classes and Width Parameters

Antoine Amarilli , Florent Capelli , Mikaël Monet , Pierre Senellart
Theory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
Article dans une revue hal-02163749 v1

Finite Open-world Query Answering with Number Restrictions

Antoine Amarilli , Michael Benedikt
ACM Transactions on Computational Logic, 2020, 21 (4), pp.1-73. ⟨10.1145/3365834⟩
Article dans une revue hal-02941917 v1
Image document

Computing Possible and Certain Answers over Order-Incomplete Data

Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart
Theoretical Computer Science, 2019, 797, pp.42-76. ⟨10.1016/j.tcs.2019.05.013⟩
Article dans une revue hal-01891814 v1
Image document

Evaluating Datalog via Tree Automata and Cycluits

Antoine Amarilli , Pierre Bourhis , Mikaël Monet , Pierre Senellart
Theory of Computing Systems, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
Article dans une revue hal-01891811 v1

Query Answering with Transitive and Linear-Ordered Data

Antoine Amarilli , Michael Benedikt , Pierre Bourhis , Michael Vanden Boom
Journal of Artificial Intelligence Research, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩
Article dans une revue hal-02338348 v1

A Framework for Sampling-Based XML Data Pricing

Ruiming Tang , Antoine Amarilli , Pierre Senellart , Stéphane Bressan
Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2016, 24, pp.116-138
Article dans une revue hal-01261958 v1

Possibility for Probabilistic XML

Antoine Amarilli
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (5), pp.53-75
Article dans une revue hal-01336826 v1

Intensional Data on the Web

Antoine Amarilli , Silviu Maniu , Pierre Senellart
ACM SIGWEB Newsletter, 2015, pp.12
Article dans une revue hal-01191721 v1
Image document

Query Evaluation: Enumeration, Maintenance, Reliability

Antoine Amarilli
Computer Science [cs]. Institut polytechnique de Paris, 2023
HDR tel-04065298 v1