|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 25 keywords
|
|
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yanyan Xu, Wei Chen 0018, Kaile Su, Wenhui Zhang |
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.  |
FAW-AAIM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Long, Wenhui Zhang |
Proving Liveness Property under Strengthened Compassion Requirements. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan H. Rodger, Melissa Dalis, Chitra Gadwal, Jenna Hayes, Peggy Li, Francine Wolfe, Wenhui Zhang, Liz Liang |
Integrating computing into middle school disciplines through projects. |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang, Naiming Qi, Jing Ma, Ayang Xiao |
Neural integrated control for a free-floating space robot with suddenly changing parameters. |
SCIENCE CHINA Information Sciences |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Le, Roberto Baldessari, Pablo Salvador, Andreas Festag, Wenhui Zhang |
Performance Evaluation of Beacon Congestion Control Algorithms for VANETs. |
GLOBECOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manabu Tsukada, Ines Ben Jemaa, Hamid Menouar, Wenhui Zhang, Maria Goleva, Thierry Ernst |
Experimental evaluation for IPv6 over VANET geographic routing. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
IPv6, VANET, geographic routing |
| 1 | Bowen Chen, Haihua Shen, Wenhui Zhang |
Formula-Oriented Compositional Minimization in Model Checking. |
Asian Test Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Long, Wenhui Zhang |
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0018, Wenhui Zhang |
A direct construction of polynomial-size OBDD proof of pigeon hole problem. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
| 1 | Wenhui Zhang |
Bounded Semantics of CTL and SAT-Based Verification. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Drigo, Wenhui Zhang, Roberto Baldessari, Long Le, Andreas Festag, Michele Zorzi |
Distributed rate control algorithm for VANETs (DRCV). |
Vehicular Ad Hoc Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. |
VTC Spring |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Scalable hybrid data dissemination for internet hot spots. |
|
2008 |
RDF |
|
| 1 | Jian Zhang 0001, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu |
Basic research in computer science and software engineering at SKLCS. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory |
| 1 | Roberto Baldessari, Wenhui Zhang, Andreas Festag, Long Le |
A MANET-centric solution for the application of NEMO in VANET using geographic routing. |
TRIDENTCOM |
2008 |
DBLP DOI BibTeX RDF |
Car2Car, MANET, intelligent transportation systems, VANET, NEMO |
| 1 | Wenhui Zhang, Vincenzo Liberatore, Jonathan Beaver, Panos K. Chrysanthis, Kirk Pruhs |
Scalable data dissemination using hybrid methods. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Optimization of service provisioning in heterogeneous wireless networks: bearer service allocation and pricing. |
|
2007 |
RDF |
|
| 1 | Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai |
A polynomial dynamic system approach to software design for attractivity requirement. |
Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Pu, Wenhui Zhang |
Combining search space partition and abstraction for LTL model checking. |
Science in China Series F: Information Sciences |
2007 |
DBLP DOI BibTeX RDF |
search space partition, LTL model checking, refinement, abstraction |
| 1 | Wenhui Zhang |
Model Checking with SAT-Based Characterization of ACTL Formulas. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yi, Wenhui Zhang |
Efficient State Space Reduction for Automata by Fair Simulation. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yi, Wenhui Zhang |
Enhancing Simulation for Checking Language Containment. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Verification of ACTL Properties by Bounded Model Checking. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Pu, Wenhui Zhang |
Partition Refinement in Abstract Model Checking. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanyan Xu, Wei Chen 0018, Liang Xu, Wenhui Zhang |
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Structure of proofs and the complexity of cut elimination. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Pan, Wenhui Zhang, Arthur U. Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic, Laurence Tianruo Yang |
Toward Incremental Parallelization Using Navigational Programming. |
IEICE Transactions |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad T. Al-Hammouri, Wenhui Zhang, Robert F. Buchheit, Vincenzo Liberatore, Panos K. Chrysanthis, Kirk Pruhs |
Network awareness and application adaptability. |
Inf. Syst. E-Business Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
SAT-Based Verification of LTL Formulas. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Wenhui Zhang (eds.) |
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. |
ATVA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fei Pu, Wenhui Zhang |
LTL Model Checking via Search Space Partition. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Pu, Wenhui Zhang, Shaochun Wang |
An Improved Case-Based Approach to LTL Model Checking. |
RISE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Pan, Wenhui Zhang, Arthur U. Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic |
Incremental Parallelization Using Navigational Programming: A Case Study. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
incremental parallelization, navigational programming (NavP), Gentleman’s Algorithm, Cannon’s Algorithm, program transformation, matrix multiplication, programming methodologies |
| 1 | Wenhui Zhang, Wei Li, Vincenzo Liberatore |
Application-Perceived Multicast Push Performance. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
performance, middleware, multicast |
| 1 | Bai Su, Wenhui Zhang |
Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment. |
International Conference on Wireless Networks |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wei Li, Wenhui Zhang, Vincenzo Liberatore, Vince Penkrot, Jonathan Beaver, Mohamed A. Sharaf, Siddhartha Roychowdhury, Panos K. Chrysanthis, Kirk Pruhs |
An Optimized Multicast-based Data Dissemination Middleware. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
Combining Graphical and Formal Development of Open Distributed Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
A Strategy for Improving the Efficiency of Procedure Verification. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang, Zhuo Huang, Jian Zhang 0001 |
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo |
Integrating UML and OUN for Specification of Open Distributed Systems. (PDF / PS) |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Applying SDL Specifications and Tools to the Verification of Procedures. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Validation of Control System Specifications with Abstract Plant Models. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Model Checking Operator Procedures. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Number of Models and Satisfiability of Sets of Clauses. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang |
Cut-Formulas in Propositional Logic. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Renwei Li, Pei He, Wenhui Zhang |
An introduction to INCAPS system. |
J. Comput. Sci. Technol. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei He, Renwei Li, Wenhui Zhang |
Theory and Practice for XYZ/VERI System. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Wenhui Zhang |
Cut Elimination and Automatic Proof Procedures. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")