Diego Figueira
16
Documents
Publications
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 13
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 6
- 1
- 1
|
Semantic Optimization of Conjunctive QueriesJournal of the ACM (JACM), 2020, 67 (6:34), ⟨10.1145/3424908⟩
Article dans une revue
hal-02927969v1
|
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⟩
Communication dans un congrès
hal-04375905v1
|
|
PDL on Steroids: on Expressive Extensions of PDL with Intersection and ConverseAnnual Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States
Communication dans un congrès
hal-04076661v1
|
|
Separating Automatic RelationsInternational Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2023, Bordeaux, France
Communication dans un congrès
hal-04099907v1
|
|
Conjunctive Regular Path Queries under Injective SemanticsSymposium on Principles of Database Systems (PODS), Jun 2023, Seattle, United States. ⟨10.1145/3584372.3588664⟩
Communication dans un congrès
hal-04070990v1
|
|
A Simple Algorithm for Consistent Query Answering under Primary KeysICDT 2023 - International Conference on Database Theory, Mar 2023, Ioannina, Greece
Communication dans un congrès
hal-03953588v1
|
|
|
Approximation and Semantic Tree-width of Conjunctive Regular Path QueriesInternational Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece. pp.15:1--15:19, ⟨10.4230/LIPIcs.ICDT.2023.15⟩
Communication dans un congrès
hal-03883042v1
|
|
Data Path Queries over Embedded Graph DatabasesSymposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States
Communication dans un congrès
hal-03684553v1
|
|
Reasoning on Data Words over Numeric DomainsAnnual Symposium on Logic in Computer Science (LICS), Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03684239v1
|
|
When is the Evaluation of Extended CRPQ Tractable?Symposium on Principles of Database Systems (PODS), Jun 2022, Philidelphia, United States
Communication dans un congrès
hal-03353483v2
|
|
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⟩
Communication dans un congrès
hal-03349901v3
|
|
Containment of Simple Regular Path QueriesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-02505244v1
|
|
Finite Controllability for Ontology-Mediated Query Answering of CRPQInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-02508782v2
|
|
Containment of UC2RPQ: the hard and easy casesInternational Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩
Communication dans un congrès
hal-02291888v2
|
|
Boundedness of Conjunctive Regular Path QueriesInternational Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩
Communication dans un congrès
hal-02056388v2
|
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries2023
Pré-publication, Document de travail
hal-04311290v1
|