|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emmanuel Filiot, Frédéric Servais |
Visibly Pushdown Transducers with Look-Ahead.  |
SOFSEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Quantitative Languages Defined by Functional Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Antichains and compositional algorithms for LTL synthesis. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
Streamability of Nested Word Transductions. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Tree Automata with Global Constraints. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin |
Iterated Regret Minimization in Game Graphs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
On Functionality of Visibly Pushdown Transducers |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin |
Iterated Regret Minimization in Game Graphs. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
Properties of Visibly Pushdown Transducers. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Compositional Algorithms for LTL Synthesis. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin |
Efficient Enumeration for Conjunctive Queries over X-underbar Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
An Antichain Algorithm for LTL Realizability. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Tree Automata with Global Constraints. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Sophie Tison |
Regular n-ary Queries in Trees and Variable Independence. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Satisfiability of a Spatial Logic with Tree Variables. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Polynomial time fragments of XPath with variables. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
N-ary queries, XML, logic, XPath |
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Composing Monadic Queries in Trees. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")