| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiaoming Zhang, Zi Huang, Heng Tao Shen, Yang Yang, Zhoujun Li |
Automatic tagging by exploring tag information capability and correlation.  |
World Wide Web  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Chang Xu, Yi Mu, Zhoujun Li |
A provably secure authenticated key agreement protocol for wireless communications. |
Computers & Electrical Engineering |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojian Zhao, Jin Yuan, Richang Hong, Meng Wang, Zhoujun Li, Tat-Seng Chua |
On Video Recommendation over Social Network. |
MMM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Biyun Hu, Zhoujun Li, Wen-Han Chao |
Data Sparsity: A Key Disadvantage of User-Based Collaborative Filtering? |
APWeb |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Biyun Hu, Zhoujun Li, Wen-Han Chao |
When Sparsity Meets Noise in Collaborative Filtering. |
APWeb |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li |
Authenticated key exchange protocol with selectable identities. |
Wireless Communications and Mobile Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Liming Lu, Peng Xiao, Zhoujun Li, Yuan Zhou |
Monitoring, analyzing and characterizing lookup traffic in a large-scale DHT. |
Computer Communications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshi Yin, Jimmy Xiangji Huang, Zhoujun Li |
Mining and modeling linkage information from citation context for improving biomedical literature retrieval. |
Inf. Process. Manage. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Peng Xiao, Zhoujun Li, Yuan Zhou |
Toward an Accurate Snapshot of DHT Networks. |
IEEE Communications Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang |
Provably secure identity-based authenticated key agreement protocols with malicious private key generators. |
Inf. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shasha Li, Zhoujun Li |
Question-Oriented Answer Summarization via Term Hierarchical Structure. |
International Journal of Software Engineering and Knowledge Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanqing Yao, Ju-Sheng Mi, Zhoujun Li, Bin Xie |
The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Zhoujun Li, Peng Xiao, Chengfang Fang, Jia Xu, Ee-Chien Chang |
ID Repetition in Structured P2P Networks. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li |
An Integrated Approach to Automatic Management of Virtualized Resources in Cloud Environments. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Zhoujun Li, Yi Mu, Fan Zhang, Chuankun Wu, Jikai Teng |
An efficient dynamic authenticated key exchange protocol with selectable identities. |
Computers & Mathematics with Applications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Yi Mu, Zhoujun Li, Xiyong Zhang |
An efficient and non-interactive hierarchical key agreement protocol. |
Computers & Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Zhang, Zhoujun Li |
Image Tagging by Exploiting Feature Correlation. |
ICADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Zhang, Zi Huang, Heng Tao Shen, Zhoujun Li |
Probabilistic Image Tagging with Tags Expanded By Text-Based Search. |
DASFAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li |
An Iterative Method for Generating Loop Invariants. |
FAW-AAIM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojian Zhao, Guangda Li, Meng Wang, Si Li, Xiaoming Chen, Zhoujun Li |
An online video recommendation framework using rich information. |
ICIMCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoying Liu, Zhoujun Li, Xiaojian Zhao, Zhenggan Zhou |
Using Concept-Level Random Walk Model and Global Inference Algorithm for Answer Summarization. |
AIRS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Aftab, Zhoujun Li, Abdul Hussain Shah Bukhari |
Triphasic solving approach for scheduling problem. |
ICNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, Xiaoshi Yin, Zhoujun Li, Xiaohua Hu, Jimmy Xiangji Huang |
Promoting Ranking Diversity for Biomedical Information Retrieval Based on LDA. |
BIBM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Xiaohua Hu, Zhoujun Li, Yiming Chen |
Multiobjective optizition shuffled frog-leaping biclustering. |
BIBM Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Zhang, Heng Tao Shen, Zi Huang, Zhoujun Li |
Tagging Image with Informative and Correlative Tags. |
APWeb |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
Online MOACO biclustering of microarray data. |
GrC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | WenHan Chao, ZhouJun Li |
Improved Graph-Based Bilingual Corpus Selection with Sentence Pair Ranking for Statistical Machine Translation. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wang, Zhoujun Li, Tao Guo |
Program Slicing Stored XSS Bugs in Web Application. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Zhang, Zhoujun Li, Yun Long |
Tagging Image by Exploring Weighted Correlation between Visual Features and Tags. |
WAIM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojian Zhao, Guangda Li, Meng Wang, Jin Yuan, Zheng-Jun Zha, Zhoujun Li, Tat-Seng Chua |
Integrating rich information for video recommendation with multi-task rank aggregation. |
ACM Multimedia |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Wang, Xia Hu, Zhoujun Li, Wen-Han Chao, Biyun Hu |
Learning to recommend questions based on public interest. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
MOACO Biclustering of gene expression data. |
I. J. Functional Informatics and Personalised Medicine |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Zhang, Zhoujun Li |
Automatic Topic Detection with an Incremental Clustering Algorithm. |
WISM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shasha Li, Chin-Yew Lin, Young-In Song, Zhoujun Li |
Comparable Entity Mining from Comparative Questions. |
ACL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jie Yu, Liming Lu, Zhoujun Li, Xiaofeng Wang, Jinshu Su |
A Simple Effective Scheme to Enhance the Capability of Web Servers Using P2P Networks. |
ICPP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Wang, Zhoujun Li, Biyun Hu |
A context approach to measuring similarity between questions in the community-based QA services. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shasha Li, Zhoujun Li |
Answer summarization via term hierarchical structure. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Palakorn Achananuparp, Xiaohua Hu, Lifan Guo, Tingting He, Yuan An, Zhoujun Li |
Improving Diversity of Focused Summaries through the Negative Endorsements of Redundant Facts. |
Web Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Liu, Zhoujun Li |
A Tree Graph Model Based on Mobile Environment. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
arithmetice, mobile service, personalized service, tree model, interval-valued fuzzy sets |
| 1 | Xiaoshi Yin, Zhoujun Li, Jimmy Xiangji Huang, Xiaohua Hu |
A relevance-novelty combined model for genomics search result diversification. |
BIBM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshi Yin, Xiangji Huang, Xiaofeng Zhou, Zhoujun Li |
A survival modeling approach to biomedical search result diversification using wikipedia. |
SIGIR |
2010 |
DBLP DOI BibTeX RDF |
biomedical IR, survival modeling, diversity |
| 1 | Xiaoshi Yin, Xiangji Huang, Zhoujun Li |
Promoting Ranking Diversity for Biomedical Information Retrieval Using Wikipedia. |
ECIR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Biyun Hu, Zhoujun Li, Jun Wang |
User's Latent Interest-Based Collaborative Filtering. |
ECIR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Aftab, Zhoujun Li |
Solving Course Timetabling Problem Using Interrelated Approach. |
GrC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianying Xing, Mengjun Li, Zhoujun Li |
Automated Program Verification Using Generation of Invariants. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Liu, Zhoujun Li |
A Method for Mobile User Profile and Reasoning. |
PRICAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Wang, Zhoujun Li, Xia Hu, Biyun Hu |
A Novel Composite Kernel for Finding Similar Questions in CQA Services. |
WAIM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiming Chen, Zhoujun Li, Xiaohua Hu, Junwan Liu |
Hierarchical Classification with Dynamic-Threshold SVM Ensemble for Gene Function Prediction. |
ADMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Tingting He, Zhoujun Li |
The topic-perspective model for social tagging systems. |
KDD |
2010 |
DBLP DOI BibTeX RDF |
user modeling, social tagging, social annotation, perplexity |
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
Biclustering of microarray data with MOSPO based on crowding distance. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuewang Zhang, Zhoujun Li, Wei Shen |
Design of Collaborative Platform on Clustering Applications for Governments. |
Intelligent Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqian Ji, Zhoujun Li, Wen-Han Chao, Xiaoming Chen |
A New Method for Calculating Similarity between Sentences and Application on Automatic Abstracting. |
Intelligent Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Lin, Biao Wang, Zhoujun Li |
Digital multisignature on the generalized conic curve over Zn. |
Computers & Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiming Chen, Zhoujun Li, Junwan Liu |
Learning Kernel Matrix from Gene Ontology and Annotation Data for Protein Function Prediction. |
ISNN |
2009 |
DBLP DOI BibTeX RDF |
Diffusion kernel, Gene ontology, Protein function prediction |
| 1 | Xiaoshi Yin, Xiangji Huang, Qinmin Hu, Zhoujun Li |
Boosting Biomedical Information Retrieval Performance through Citation Graph: An Empirical Study. |
PAKDD |
2009 |
DBLP DOI BibTeX RDF |
ranking, link analysis, biomedical information retrieval |
| 1 | Jie Yu, Chengfang Fang, Jia Xu, Ee-Chien Chang, Zhoujun Li |
ID Repetition in Kad. |
Peer-to-Peer Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li |
Server-Controlled Identity-Based Authenticated Key Exchange. |
ProvSec |
2009 |
DBLP DOI BibTeX RDF |
Provable Security, Key Exchange, Identity-based Cryptography |
| 1 | Junwan Liu, Zhoujun Li, Yiming Chen |
Microarray Data Biclustering with Multi-objective Immune Optimization Algorithm. |
ICNC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
Microarray Biclustering with Crowding Based MOACO. |
BIBM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshi Yin, Xiangji Huang, Zhoujun Li |
Towards a Better Ranking for Biomedical Information Retrieval Using Context. |
BIBM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshi Yin, Xiangji Huang, Zhoujun Li |
BioCLink: A Probabilistic Approach for Improving Genomics Search with Citation Links. |
BIBM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Xiyong Zhang, Yi Mu, Zhoujun Li |
An Efficient Certificateless Encryption Scheme in the Standard Model. |
NSS |
2009 |
DBLP DOI BibTeX RDF |
Self-Generated-Certificate Encryption, Standard Model, Certificateless Encryption |
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
Multi-objective ant colony optimization biclustering of microarray data. |
GrC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiming Chen, Zhoujun Li, Xiaohua Hu, Hongxiang Diao, Junwan Liu |
Predicting gene function with positive and unlabeled examples. |
GrC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikun Chen, Zhoujun Li, Mengjun Li |
Constructing Program Invariants via Solving QBF. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Chengfang Fang, Liming Lu, Zhoujun Li |
A Lightweight Mechanism to Mitigate Application Layer DDoS Attacks. |
Infoscale |
2009 |
DBLP DOI BibTeX RDF |
Trust, DDoS Attacks, Lightweight, Application layer |
| 1 | Xiaoming Zhang, Zhoujun Li |
Online New Event Detection Based on IPLSA. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
Term reweighting, PLSA, TDT, New event detection |
| 1 | Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li |
Novel and Efficient Identity-Based Authenticated Key Agreement Protocols from Weil Pairings. |
UIC |
2009 |
DBLP DOI BibTeX RDF |
Master key forward secrecy, Provable security, Weil pairing, Authenticated key agreement |
| 1 | Shikun Chen, Zhoujun Li |
Simplifying Buffer Overflow Detection Using Site-Safe Expressions. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen |
Modeling and Verifying Time Sensitive Security Protocols with Constraints. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou |
A Novel Derivation Framework For Definite Logic Program. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhoujun Li, Hua Guo, Xiyong Zhang |
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang |
Cryptanalysis of simple three-party key exchange protocol. |
Computers & Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen |
Constraint Abstraction in Verification of Security Protocols. |
FAW |
2008 |
DBLP DOI BibTeX RDF |
time sensitive, formal verification, security protocol, logic model, constraint system |
| 1 | Xiaoming Zhang, Zhoujun Li, Yijie Wang |
A distributed topology-aware overlays construction algorithm. |
Mardi Gras Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li, Ti Zhou, Zhoujun Li |
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
non-termination characterization and prediction, abstract and refinement, security protocol |
| 1 | Zhoujun Li, Xiaoming Chen |
Misusing Kademlia Protocol to Perform DDoS Attacks. |
ISPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Lin, Biao Wang, Zhoujun Li |
A Digital Signature Scheme on the Conic Curve over Zn Based on Two Hard Problems. |
PACIIA |
2008 |
DBLP DOI BibTeX RDF |
conic curve, digital signature, discrete logarithm, integer factorization |
| 1 | Wen-Han Chao, Zhoujun Li |
Similar Sentence Retrieval for Machine Translation Based on Word-Aligned Bilingual Corpus. |
AIRS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Wen, Zhoujun Li |
Improving Information Retrieval within Language Model Framework by Integrating Adjacent and Distant Relation. |
FSKD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangli Jia, Zhoujun Li, Zhenling Zhang |
Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Zhoujun Li, Feifei Liu, Yiming Chen |
Multi-objective Particle Swarm Optimization Biclustering of Microarray Data. |
BIBM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li |
VM-based Architecture for Network Monitoring and Analysis. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li |
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jian Wen, Zhoujun Li |
Research on Mixture Language Model-based Document Clustering. |
GrC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangrong Li, Xiaohua Hu, Xiajiong Shen, Xin Chen, Zhoujun Li |
A Novel Unsupervised Feature Selection Method for Bioinformatics Data Sets through Feature Clustering. |
GrC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen |
Multi-objective Evolutionary Algorithm for Mining 3D Clusters in Gene-sample-time Microarray Data. |
GrC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ti Zhou, Mengjun Li, Zhoujun Li |
Local abstract verification and refinement of security protocols. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
verification, refinement, abstraction, security protocols |
| 1 | Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen |
A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
VFDT, Data Streams, Fuzzy, Binary Search Tree, Continuous Attribute |
| 1 | Yun Sun, Zhoujun Li, Deqiang Wang |
Hamiltonian Property on Binary Recursive Networks. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
binary recursive networks, interconnection network, hypercube, Hamiltonian cycle |
| 1 | Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen |
Constraints Solution for Time Sensitive Security Protocols. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
time sensitive, algorithm, constraint, security protocol |
| 1 | Wen-Han Chao, Zhoujun Li, Yuexin Chen |
An Integrated Reordering Model for Statistical Machine Translation. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
Reordering model, ITG, Statistical Machine Translation |
| 1 | Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen |
A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees. |
PAKDD Workshops |
2007 |
DBLP DOI BibTeX RDF |
VFDT, Threaded Binary Search Tree, Data Streams, Continuous Attribute |
| 1 | Lijuan Zhang, Zhoujun Li, Huowang Chen |
An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
relevance analysis, gene selection, discernibility matrix |
| 1 | Yun Sun, Zhoujun Li, Deqiang Wang |
Hamiltonicity and Pancyclicity of Binary Recursive Networks. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
Binary recursive networks, Interconnection network, Hypercube, Hamiltonian cycle, Pancyclicity |
| 1 | Xiao-Ming Zhang, Yi-Jie Wang, ZhouJun Li |
Research of Routing Algorithm in Hierarchy-Adaptive P2P Systems. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen |
A Survey of Fuzzy Decision Tree Classifier Methodology. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Wen, Zhoujun Li, Xiaohua Hu |
Ontology Based Clustering for Improving Genomic IR. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
Genomic information retrieval, concept index, cluster language model |
| 1 | Zhoujun Li, Yun Sun, Deqiang Wang |
Diameter bounds of cubelike recursive networks. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen |
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
abstraction and refinement, security protocol |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")