|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data words.  |
ACM Trans. Comput. Log.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire David, Pierre Sagaut |
Spurious caustics of dispersion-relation-preserving schemes. |
Int. J. Comput. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadime Francis, Claire David, Leonid Libkin |
A Direct Translation from XPath to Nondeterministic Automata. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claire David, Leonid Libkin, Tony Tan |
Efficient reasoning about data trees via integer linear programming. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cristau, Claire David, Florian Horn |
How do we remember the past in randomised strategies? |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire David, Leonid Libkin, Tony Tan |
On the Satisfiability of Two-Variable Logic over Data Words. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak |
On the tradeoff between mapping and querying power in XML data exchange. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire David, Leonid Libkin, Filip Murlak |
Certain answers for XML queries. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
queries returning trees, data exchange, incomplete information, certain answers |
| 1 | Claire David |
Complexity of Data Tree Patterns over XML Documents. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
Two-Variable Logic on Words with Data. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
data trees, first-order logic, decidability |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")