Search

Your search keyword '"Li, Zhoujun"' showing total 893 results

Search Constraints

Start Over You searched for: Author "Li, Zhoujun" Remove constraint Author: "Li, Zhoujun"
893 results on '"Li, Zhoujun"'

Search Results

251. Novel and Efficient Identity-Based Authenticated Key Agreement Protocols from Weil Pairings

252. Learning Kernel Matrix from Gene Ontology and Annotation Data for Protein Function Prediction

253. SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming

254. Boosting Biomedical Information Retrieval Performance through Citation Graph: An Empirical Study

255. Constraint Abstraction in Verification of Security Protocols

261. Hamiltonicity and Pancyclicity of Binary Recursive Networks

262. Research of Routing Algorithm in Hierarchy-Adaptive P2P Systems

263. Hamiltonian Property on Binary Recursive Networks

264. A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees

265. Constraints Solution for Time Sensitive Security Protocols

267. Model Checking for BPEL4WS with Time

268. A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees

269. An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming

270. A New Component-Oriented Programming Language with the First-Class Connector

271. HAND: An Overlay Optimization Algorithm in Peer-to-Peer Systems

272. Mining Maximal Frequent ItemSets Using Combined FP-Tree

278. Fast Mining Maximal Frequent ItemSets Based on FP-Tree

280. A Proof Assistant for Mobile Processes

282. TransLog: A Unified Transformer-based Framework for Log Anomaly Detection

Catalog

Books, media, physical & digital resources