Manuscrits

• Antoine Amarilli, Mikaël Monet, Dan Suciu.
  The Non-Cancelling Intersections Conjecture.
  [pdf sur arXiv]
• Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang.
  A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata.
  [pdf on arXiv]

Journaux

• Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi, Mikaël Monet.
  On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
  JMLR 2023. [pdf sur arXiv], [version conférence]
• Marcelo Arenas, Pablo Barceló, Mikaël Monet.
  The Complexity of Counting Problems over Incomplete Databases.
  TOCL 2021. [pdf sur arXiv], [version conférence]
• Antoine Amarilli, Florent Capelli, Mikaël Monet, Pierre Senellart.
  Connecting Knowledge Compilation Classes and Width Parameters.
  ToCS 2020. [pdf sur arXiv], [version conférence]
• Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart.
  Evaluating Datalog via Tree Automata and Cycluits.
  ToCS 2019. [pdf sur arXiv], [version conférence]

Conférences

• Pratik Karmakar, Mikaël Monet, Pierre Senellart, Stéphane Bressan.
  Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases.
  PODS 2024. [pdf sur arXiv]
• Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet.
  Ranked Enumeration for MSO on Trees via Knowledge Compilation.
  ICDT 2024. [pdf sur arXiv]
• Antoine Amarilli, Mikaël Monet.
  Enumerating Regular Languages in Constant Delay.
  STACS 2023. [pdf sur arXiv]
• Antoine Amarilli, Mikaël Monet.
  Weighted Counting of Matchings in Unbounded-Treewidth Graph Families.
  MFCS 2022. [pdf sur arXiv]
• Daniel Deutch, Nave Frost, Benny Kimelfeld, Mikaël Monet.
  Computing the Shapley Value of Facts in Query Answering.
  SIGMOD 2022. [pdf sur arXiv]
• Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi, Mikaël Monet.
  The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits.
  AAAI 2021. [pdf sur arXiv], [version journal]
• Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux.
  Model Interpretability through the Lens of Computational Complexity.
  NeurIPS 2020. [pdf sur arXiv]
• Marcelo Arenas, Pablo Barceló, Mikaël Monet.
  Counting Problems over Incomplete Databases.
  PODS 2020. [pdf sur arXiv], [version journal]
• Pablo Barceló, Egor Kostylev, Mikaël Monet, Jorge Pérez, Juan Reutter, Juan-Pablo Silva.
  The Logical Expressiveness of Graph Neural Networks.
  ICLR 2020. [pdf sur OpenReview], [workshop version]
• Mikaël Monet.
  Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases.
  PODS 2020. [pdf sur arXiv]
• Antoine Amarilli, Mikaël Monet, Pierre Senellart.
  Connecting Width and Structure in Knowledge Compilation.
  ICDT 2018. [pdf sur arXiv], [version journal]
• Antoine Amarilli, Mikaël Monet, Pierre Senellart.
  Conjunctive Queries on Probabilistic Graphs: Combined Complexity.
  PODS 2017. [pdf sur arXiv]
• Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart.
  Combined Tractability of Query Evaluation via Tree Automata and Cycluits.
  ICDT 2017. [pdf sur arXiv], [version journal]
• Antoine Amarilli, Silviu Maniu, Mikaël Monet.
  Challenges for Efficient Query Evaluation on Structured Probabilistic Data.
  SUM 2016. [pdf sur arXiv]

Workshops

• Pablo Barceló, Egor Kostylev, Mikaël Monet, Jorge Pérez, Juan Reutter, Juan-Pablo Silva.
  Logical Expressiveness of Graph Neural Networks.
  GRL 2019. [pdf], [version conférence]
• Mikaël Monet, Dan Olteanu.
  Towards Deterministic Decomposable Circuits for Safe Queries.
  AMW 2018. [pdf sur arXiv]. [code + fonctions]
• Mikaël Monet.
  Probabilistic Evaluation of Expressive Queries on Bounded-Treewidth Instances.
  SIGMOD/PODS 2016 PhD Symposium. [pdf]