`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:

### 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.