Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Huayang Guo" ( http://dblp.L3S.de/Authors/Huayang_Guo )

  Author page on DBLP  Author page in RDF  Community of Huayang Guo in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (2)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
SOSP(2) SIGSOFT FSE(1)
Authors
Huayang Guo(3) Junfeng Yang(2) Lidong Zhou(2) Ming Wu(2) Fan Long(1) Gang Hu(1) Haoxiang Lin(1) Heming Cui(1) Jingyue Wu(1) John Gallagher(1) Lintao Zhang(1) Xi Wang(1) Xuezheng Liu(1) Zheng Zhang(1) Zhenyu Guo(1) Zhilei Xu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang Practical software model checking via dynamic interface reduction. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang Efficient deterministic multithreading through schedule relaxation. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang Language-based replay via data flow cut. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.