BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Greece
1 × Japan
3 × USA
Collaborated with:
L.Libkin M.Bojanczyk S.Demri M.Praveen P.Barceló S.Figueira S.Schmitz P.Schnoebelen
Talks about:
logic (5) data (4) path (3) effici (2) relat (2) graph (2) test (2) ackermannian (1) intersect (1) auxiliari (1)

Person: Diego Figueira

DBLP DBLP: Figueira:Diego

Contributed to:

LICS 20152015
CSL-LICS 20142014
LICS 20132013
PODS 20132013
LICS 20122012
LICS 20112011
PODS 20112011
PODS 20092009

Wrote 9 papers:

LICS-2015-FigueiraL #graph #logic #performance #query
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
LICS-CSL-2014-FigueiraL #logic
Pattern logics and auxiliary relations (DF, LL), p. 10.
LICS-2013-DemriFP #reasoning
Reasoning about Data Repetitions with Counter Systems (SD, DF, MP), pp. 33–42.
PODS-2013-Figueira #on the #testing #transitive #xpath
On XPath with transitive axes and data tests (DF), pp. 249–260.
LICS-2012-BarceloFL #graph #logic #problem
Graph Logics with Rational Relations and the Generalized Intersection Problem (PB, DF, LL), pp. 115–124.
LICS-2011-Figueira #decidability #logic #word
A Decidable Two-Way Logic on Data Words (DF), pp. 365–374.
LICS-2011-FigueiraFSS #bound #recursion
Ackermannian and Primitive-Recursive Bounds with Dickson’s Lemma (DF, SF, SS, PS), pp. 269–278.
PODS-2011-BojanczykF #documentation #evaluation #logic #performance #xml
Efficient evaluation for a temporal logic on changing XML documents (MB, DF), pp. 259–270.
PODS-2009-Figueira #satisfiability #similarity #testing #xpath
Satisfiability of downward XPath with data equality tests (DF), pp. 197–206.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.