|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Diego Figueira |
Satisfiability for two-variable logic with two successor relations on finite linear orders  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Diego Figueira |
Alternating register automata on finite words and trees |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Luc Segoufin |
Bottom-up automata on data trees and vertical XPath. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira |
A Decidable Two-Way Logic on Data Words. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Diego Figueira |
Efficient evaluation for a temporal logic on changing XML documents. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
Ackermann and Primitive-Recursive Bounds with Dickson's Lemma |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Diego Figueira, Piotr Hofman, Slawomir Lasota |
Relating timed and register automata |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira |
Forward-XPath and extended register automata on data-trees. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
alternating tree register automata, data-tree, forward XPath, infinite alphabet, unranked ordered tree, XML |
| 1 | Carlos Areces, Diego Figueira |
Which Semantics for Neighbourhood Semantics? |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Diego Figueira, Luc Segoufin |
Future-Looking Logics on Data Words and Trees. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera |
Tableaux and Model Checking for Memory Logics. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira |
Satisfiability of downward XPath with data equality tests. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values |
| 1 | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
Expressive Power and Decidability for Memory Logics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")