Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Wanwei Liu" ( http://dblp.L3S.de/Authors/Wanwei_Liu )

  Author page on DBLP  Author page in RDF  Community of Wanwei Liu in ASPL-2

Publication years (Num. hits)
2007 (1) 2008 (1) 2009 (3) 2010 (1) 2011 (1)
Publication types (Num. hits)
article(4) inproceedings(3)
Venues (Conferences, Journals, ...)
TASE(2) Comput. Sci. Inf. Syst.(1) Frontiers of Computer Science ...(1) ICTAC(1) Inf. Process. Lett.(1) J. Comput. Sci. Technol.(1)
Authors
Wanwei Liu(7) Ji Wang(6) Huowang Chen(3) Xiaodong Ma(3) Wei Dong(2) Dengping Wei(1) Hou-Feng Xu(1) Jianjun Xu(1) Liqian Chen(1) Qingping Tan(1) Renjian Li(1) Zhaofei Wang(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei Quantitative analysis for symbolic heap bounds of CPS software. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jianjun Xu, Qingping Tan, Wanwei Liu Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wanwei Liu, Ji Wang A tighter analysis of Piterman's Büchi determinization. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang Symbolic model checking APSL. Search on Bibsonomy Frontiers of Computer Science in China The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tableau approach, extended NuSMV, symbolic model checking, property specification language
1Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF memory leak detection, static analysis, flow-sensitive, demand-driven
1Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma Symbolic Model Checking APSL. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbolic model checking, PSL
1Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen Axiomatizing Extended Temporal Logic Fragments Via Instantiation. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.