|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu |
On Injective Embeddings of Tree Patterns  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zhilin Wu |
A Decidable Extension of Data Automata |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Zhilin Wu |
Verifying Recursive Active Documents with Positive Data Tree Rewriting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of motion planning on acyclic and strongly connected directed graphs. |
Discrete Applied Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Distributed tree decomposition of graphs and applications to verification. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Zhilin Wu |
Verifying Recursive Active Documents with Positive Data Tree Rewriting. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
On Distributed Model Checking of MSO on Graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Logical locality entails frugal distributed computation over graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fang Wang, Zhilin Wu |
On the distributed evaluation of recursive queries over graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). |
WG |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of Motion Planning on Directed Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu |
A note on the characterization of TL[EF]. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu |
On the Expressive Power of QLTL. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu |
Quasi-star-free Languages on Infinite Words. |
Acta Cybern. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jin Zhou, Yinglong Ma, Wei Li, Zhilin Wu |
A Formal Framework of UML. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos |
Audio-Visual Speech Recognition Using MPEG-4 Compliant Visual Features. |
EURASIP J. Adv. Sig. Proc. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu, Petar S. Aleksic, Aggelos K. Katsaggelos |
Lip Tracking for MPEG-4 Facial Animation. |
ICMI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos |
Audio-visual continuous speech recognition using MPEG-4 compliant visual features. |
ICIP |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")