 | 2012 |
|---|
| 14 |       | Diego Figueira:
Satisfiability for two-variable logic with two successor relations on finite linear orders
CoRR abs/1204.2495: (2012) |
| 13 | | Diego Figueira:
Alternating register automata on finite words and trees
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
|---|
| 12 | | Diego Figueira,
Santiago Figueira,
Sylvain Schmitz,
Philippe Schnoebelen:
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma.
LICS 2011: 269-278 |
| 11 | | Diego Figueira:
A Decidable Two-Way Logic on Data Words.
LICS 2011: 365-374 |
| 10 | | Mikolaj Bojanczyk,
Diego Figueira:
Efficient evaluation for a temporal logic on changing XML documents.
PODS 2011: 259-270 |
| 9 | | Diego Figueira,
Luc Segoufin:
Bottom-up automata on data trees and vertical XPath.
STACS 2011: 93-104 |
| 2010 |
|---|
| 8 | | Diego Figueira,
Piotr Hofman,
Slawomir Lasota:
Relating timed and register automata
EXPRESS'10 2010: 61-75 |
| 7 | | Diego Figueira:
Forward-XPath and extended register automata on data-trees.
ICDT 2010: 231-241 |
| 6 | | Diego Figueira,
Santiago Figueira,
Sylvain Schmitz,
Philippe Schnoebelen:
Ackermann and Primitive-Recursive Bounds with Dickson's Lemma
CoRR abs/1007.2989: (2010) |
| 2009 |
|---|
| 5 | | Carlos Areces,
Diego Figueira:
Which Semantics for Neighbourhood Semantics?
IJCAI 2009: 671-676 |
| 4 | | Diego Figueira,
Luc Segoufin:
Future-Looking Logics on Data Words and Trees.
MFCS 2009: 331-343 |
| 3 | | Diego Figueira:
Satisfiability of downward XPath with data equality tests.
PODS 2009: 197-206 |
| 2 | | Carlos Areces,
Diego Figueira,
Daniel Gorín,
Sergio Mera:
Tableaux and Model Checking for Memory Logics.
TABLEAUX 2009: 47-61 |
| 2008 |
|---|
| 1 | | Carlos Areces,
Diego Figueira,
Santiago Figueira,
Sergio Mera:
Expressive Power and Decidability for Memory Logics.
WoLLIC 2008: 56-68 |
Data released under the ODC-BY 1.0 license — See also our legal information page