Diego Figueira

Identifiers

• name variant Diego Figueira 0.60 · backfill

Papers (8)

1. How Hard is it to Decide if a Fact is Relevant to a Query? cs.DB · 2026 · author #2
2. Guarded Negation Transitive Closure Logic cs.LO · 2025 · author #1
3. A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order cs.LO · 2025 · author #1
4. Boundedness of Conjunctive Regular Path Queries cs.DB · 2019 · author #2
5. Reasoning about Data Repetitions with Counter Systems cs.LO · 2016 · author #2
6. Graph Logics with Rational Relations cs.FL · 2013 · author #2
7. Satisfiability for two-variable logic with two successor relations on finite linear orders cs.LO · 2012 · author #1
8. Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma cs.LO · 2010 · author #1

Mentions

• 1204.2495 #1 · backfill · confidence 0.70 Diego Figueira
• 2501.15303 #1 · arxiv_oai · confidence 0.70 Diego Figueira
• 1007.2989 #1 · backfill · confidence 0.70 Diego Figueira

Frequent Coauthors

• Santiago Figueira 3 shared papers
• Leonid Libkin 1 shared papers
• Meghyn Bienvenu 1 shared papers
• Miguel Romero 1 shared papers
• M Praveen 1 shared papers
• Pablo Barcel\'o 1 shared papers
• Pablo Barcelo 1 shared papers
• Philippe Schnoebelen 1 shared papers
• Pierre Lafourcade 1 shared papers
• Stephane Demri 1 shared papers
• Sylvain Schmitz 1 shared papers
• Yoshiki Nakamura 1 shared papers