Publications


2024

  1. Victor Marsault. Matching walks that are minimal with respect to edge inclusion. 2024. 〈hal〉.
  2. Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo. A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join. PODS'24 - ACM Conference on Principle of Database Systems, Jun 2024, Santiago, Chile. pp.1-15, ⟨10.1145/3651137⟩. 〈hal〉.
  3. Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade. When is Shapley Value Computation a Matter of Counting?. Symposium on Principles of Database Systems (PODS), Jun 2024, Santiago (CL), Chile. pp.105, ⟨10.1145/3651606⟩. 〈hal〉.
  4. Claire David, Nadime Francis, Victor Marsault. Distinct Shortest Walk Enumeration for RPQs. Proceedings of the ACM on Management of Data, 2024, 2 (2), pp.1-22. ⟨10.1145/3651601⟩. 〈hal〉.

2023

  1. Diego Figueira, Rémi Morvan. Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries. 2023. 〈hal〉.
  2. Albert Atserias, Joanna Fijalkow. Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem. SIAM Journal on Computing, 2023, 52 (5), pp.1193-1229. ⟨10.1137/20M1338435⟩. 〈hal〉.
  3. Claire David, Nadime Francis, Victor Marsault. Run-Based Semantics for RPQs. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23), Sep 2023, Rhodes, Greece. pp.178-187, ⟨10.24963/kr.2023/18⟩. 〈hal〉.
  4. Pablo Barceló, Diego Figueira, Rémi Morvan. Separating Automatic Relations. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2023, Bordeaux, France. 〈hal〉.
  5. Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Dusan Zivkovic. GPC: a pattern calculus for property graphs. Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250. ⟨10.1145/3584372.3588662⟩. 〈hal〉.
  6. Diego Figueira, Santiago Figueira, Edwin Pin. PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. Annual Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. 〈hal〉.
  7. Diego Figueira, Miguel Romero. Conjunctive Regular Path Queries under Injective Semantics. Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle, United States. ⟨10.1145/3584372.3588664⟩. 〈hal〉.
  8. Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo. A Simple Algorithm for Consistent Query Answering under Primary Keys. ICDT 2023 - International Conference on Database Theory, Mar 2023, Ioannina, Greece. 〈hal〉.
  9. Nadime Francis, Amelie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoč. A Researcher's Digest of GQL. 26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.1⟩. 〈hal〉.
  10. Diego Figueira, Rémi Morvan. Approximation and Semantic Tree-width of Conjunctive Regular Path Queries. International Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece. pp.15:1--15:19, ⟨10.4230/LIPIcs.ICDT.2023.15⟩. 〈hal〉.

2022

  1. Diego Figueira, Anthony Lin. Reasoning on Data Words over Numeric Domains. Annual Symposium on Logic in Computer Science (LICS), Aug 2022, Haifa, Israel. 〈hal〉.
  2. Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoč, Mingxi Wu, Fred Zemke. Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩. 〈hal〉.
  3. Diego Figueira, Artur Jeż, Anthony W Lin. Data Path Queries over Embedded Graph Databases. Symposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States. 〈hal〉.
  4. Diego Figueira, Varun Ramanathan. When is the Evaluation of Extended CRPQ Tractable?. Symposium on Principles of Database Systems (PODS), Jun 2022, Philidelphia, United States. 〈hal〉.

2021

  1. Diego Figueira. Foundations of Graph Path Query Languages (Course Notes). Reasoning Web Summer School 2021, Sep 2021, Leuven, Belgium. pp.1-21, ⟨10.1007/978-3-030-95481-9\_1⟩. 〈hal〉.

2020

  1. Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris. Semantic Optimization of Conjunctive Queries. Journal of the ACM (JACM), 2020, 67 (6:34), ⟨10.1145/3424908⟩. 〈hal〉.
  2. Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner. Containment of Simple Regular Path Queries. International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece. 〈hal〉.
  3. Diego Figueira, Santiago Figueira, Edwin Pin. Finite Controllability for Ontology-Mediated Query Answering of CRPQ. International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece. 〈hal〉.
  4. Diego Figueira. Containment of UC2RPQ: the hard and easy cases. International Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩. 〈hal〉.

2019

  1. Amélie Gheerbrant, Cristina Sirangelo. Best Answers over Incomplete Data : Complexity and First-Order Rewritings. the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. 〈hal〉.
  2. Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩. 〈hal〉.