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: Figueira:Diego
Contributed to:
201520142013
20132012201120112009Wrote 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.