Concepedia

Diego Figueira

DF

18

Publications

470

Citations

14

H-Index

2009

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Bordelais de Recherche en Informatique

École Normale Supérieure Paris-Saclay

University of Edinburgh

Institut national de recherche en sciences et technologies du numérique

Diego Figueira is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityVerificationProof ComplexityGraph TheorySatisfiability

Publications per year

2009–2020

18

Publications

18

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Diego Figueira, Santiago Figueira, Sylvain Schmitz et al. · 2011 · 104 citations · Full text

Satisfiability of downward XPath with data equality tests

Diego Figueira · 2009 · 41 citations

Engineering, Automated Reasoning, Downward Axes +14

Alternating register automata on finite words and trees

Diego Figueira · Logical Methods in Computer Science · 2012 · 36 citations · Full text

Computational Logic, Data Word, Engineering +13

Graph Logics with Rational Relations

Pablo Barceló, Diego Figueira, Leonid Libkin · Logical Methods in Computer Science · 2013 · 35 citations · Full text

Computational Logic, Graph Logics, Algebraic Logic +15

Graph Logics with Rational Relations and the Generalized Intersection Problem

Pablo Barceló, Diego Figueira, Leonid Libkin · 2012 · 29 citations · Full text

Graph Logics, Engineering, Such Logics +16

Rows per page

1–5 of 18