|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 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 | Pierre-Alain Reynier, Frédéric Servais |
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Picalausa, Frédéric Servais, Esteban Zimányi |
XEvolve: an XML schema evolution framework. |
SAC |
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-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, 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 | Jean-François Raskin, Frédéric Servais |
Visibly Pushdown Transducers. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Collette, Jean-François Raskin, Frédéric Servais |
On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. |
Computers and Games |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")