Zhoujun Li

Hua Guo, Chang Xu, Zhoujun Li, Yanqing Yao, Yi Mu: Efficient and dynamic key management for multiple identities in identity-based systems. Inf. Sci. 221: 579-590 (2013)

Xiaojian Zhao, Jin Yuan, Meng Wang, Guangda Li, Richang Hong, Zhoujun Li, Tat-Seng Chua: Video recommendation over multiple information sources. Multimedia Syst. 19(1): 3-15 (2013)

Xiaoming Zhang, Zhoujun Li, Wen-Han Chao: Improving image tags by exploiting web search results. Multimedia Tools Appl. 62(3): 601-631 (2013)

Xiaoshi Yin, Jimmy Xiangji Huang, Zhoujun Li, Xiaofeng Zhou: A Survival Modeling Approach to Biomedical Search Result Diversification Using Wikipedia. IEEE Trans. Knowl. Data Eng. 25(6): 1201-1212 (2013)

Hua Guo, Chang Xu, Yi Mu, Zhoujun Li: A provably secure authenticated key agreement protocol for wireless communications. Computers & Electrical Engineering 38(3): 563-572 (2012)

Chang Xu, Zhoujun Li, Yi Mu, Hua Guo, Tao Guo: Affiliation-Hiding Authenticated Asymmetric Group Key Agreement. Comput. J. 55(10): 1180-1191 (2012)

Xiaoshi Yin, Jimmy Xiangji Huang, Zhoujun Li: Re-ranking with context for high-performance biomedical information retrieval. IJDMB 6(2): 115-129 (2012)

Xiaojian Zhao, Jin Yuan, Guangda Li, Xiaoming Chen, Zhoujun Li: Relationship strength estimation for online social networks with the study on Facebook. Neurocomputing 95: 89-97 (2012)

Xiaoming Zhang, Zhoujun Li, Wen-Han Chao: Tagging image by merging multiple features in a integrated manner. J. Intell. Inf. Syst. 39(1): 87-107 (2012)

Xiaoming Zhang, Zi Huang, Heng Tao Shen, Yang Yang, Zhoujun Li: Automatic tagging by exploring tag information capability and correlation. World Wide Web 15(3): 233-256 (2012)

Biyun Hu, Zhoujun Li, Wen-Han Chao: When Sparsity Meets Noise in Collaborative Filtering. APWeb 2012: 594-601

Biyun Hu, Zhoujun Li, Wen-Han Chao: Data Sparsity: A Key Disadvantage of User-Based Collaborative Filtering? APWeb 2012: 602-609

Senzhang Wang, Fang Wang, Zhoujun Li, Xiaoming Zhang: Who are More Influential Spreaders? Users with Broader Social Circle or with More Friends? CGC 2012: 586-593

Yan Chen, Zhoujun Li, Liqiang Nie, Xia Hu, Xiangyu Wang, Tat-Seng Chua, Xiaoming Zhang: A Semi-Supervised Bayesian Network Model for Microblog Topic Classification. COLING 2012: 561-576

Xiaojian Zhao, Huan-Bo Luan, Junjie Cai, Jin Yuan, Xiaoming Chen, Zhoujun Li: Personalized video recommendation based on viewing history with the study on YouTube. ICIMCS 2012: 161-165

Senzhang Wang, Zhoujun Li, Xiaoming Zhang: Bootstrap Sampling Based Data Cleaning and Maximum Entropy SVMs for Large Datasets. ICTAI 2012: 1151-1156

Yi Wang, Zhoujun Li: SQL Injection Detection via Program Tracing and Machine Learning. IDCS 2012: 264-274

Senzhang Wang, Zhoujun Li, Wen-Han Chao, Qinghua Cao: Applying adaptive over-sampling technique based on data density and cost-sensitive SVM to imbalanced learning. IJCNN 2012: 1-8

Xiaojian Zhao, Jin Yuan, Richang Hong, Meng Wang, Zhoujun Li, Tat-Seng Chua: On Video Recommendation over Social Network. MMM 2012: 149-160

Jiangxiao Zhang, Zhoujun Li, Hua Guo: Anonymous Transferable Conditional E-cash. SecureComm 2012: 45-60

Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi: File Parsing Vulnerability Detection with Symbolic Execution. TASE 2012: 135-142

Yi Wang, Zhoujun Li, Tao Guo, Zhiwei Shi: FSMesh - Flexibly Securing Mashups by User Defined DOM Environment. WEBIST 2012: 96-102

Xiaoshi Yin, Zhoujun Li, Jimmy Huang, Xiaohua Hu: Promoting ranking diversity for genomics search with relevance-novelty combined model. BMC Bioinformatics 12(S-5): S8 (2011)

Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li: An Integrated Approach to Automatic Management of Virtualized Resources in Cloud Environments. Comput. J. 54(6): 905-919 (2011)

Jie Yu, Zhoujun Li, Peng Xiao, Chengfang Fang, Jia Xu, Ee-Chien Chang: ID Repetition in Structured P2P Networks. Comput. J. 54(6): 962-975 (2011)

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 61(9): 2518-2527 (2011)

Jie Yu, Liming Lu, Peng Xiao, Zhoujun Li, Yuan Zhou: Monitoring, analyzing and characterizing lookup traffic in a large-scale DHT. Computer Communications 34(13): 1622-1629 (2011)

Hua Guo, Yi Mu, Zhoujun Li, Xiyong Zhang: An efficient and non-interactive hierarchical key agreement protocol. Computers & Security 30(1): 28-34 (2011)

Yanqing Yao, Ju-Sheng Mi, Zhoujun Li, Bin Xie: The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators. Fundam. Inform. 111(1): 33-45 (2011)

Jie Yu, Peng Xiao, Zhoujun Li, Yuan Zhou: Toward an Accurate Snapshot of DHT Networks. IEEE Communications Letters 15(1): 97-99 (2011)

Shasha Li, Zhoujun Li: Question-Oriented Answer Summarization via Term Hierarchical Structure. International Journal of Software Engineering and Knowledge Engineering 21(6): 877-889 (2011)

Xiaoshi Yin, Jimmy Xiangji Huang, Zhoujun Li: Mining and modeling linkage information from citation context for improving biomedical literature retrieval. Inf. Process. Manage. 47(1): 53-67 (2011)

Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang: Provably secure identity-based authenticated key agreement protocols with malicious private key generators. Inf. Sci. 181(3): 628-647 (2011)

Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li: Authenticated key exchange protocol with selectable identities. Wireless Communications and Mobile Computing 11(2): 226-239 (2011)

Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li: An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274

Biyun Hu, Zhoujun Li, Wen-Han Chao, Xia Hu, Jun Wang: User Preference Representation Based on Psychometric Models. ADC 2011: 57-64

Xiaoying Liu, Zhoujun Li, Xiaojian Zhao, Zhenggan Zhou: Using Concept-Level Random Walk Model and Global Inference Algorithm for Answer Summarization. AIRS 2011: 434-445

Xiaoming Zhang, Heng Tao Shen, Zi Huang, Zhoujun Li: Tagging Image with Informative and Correlative Tags. APWeb 2011: 258-263

Junwan Liu, Xiaohua Hu, Zhoujun Li, Junwan Liu, Yiming Chen: Multiobjective optizition shuffled frog-leaping biclustering. BIBM Workshops 2011: 151-156

Yan Chen, Xiaoshi Yin, Zhoujun Li, Xiaohua Hu, Jimmy Xiangji Huang: Promoting Ranking Diversity for Biomedical Information Retrieval Based on LDA. BIBM 2011: 456-461

Jun Wang, Xia Hu, Zhoujun Li, Wen-Han Chao, Biyun Hu: Learning to recommend questions based on public interest. CIKM 2011: 2029-2032

Xiaoming Zhang, Zi Huang, Heng Tao Shen, Zhoujun Li: Probabilistic Image Tagging with Tags Expanded By Text-Based Search. DASFAA (1) 2011: 269-283

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Online MOACO biclustering of microarray data. GrC 2011: 427-432

Xiaoming Zhang, Zhoujun Li: Image Tagging by Exploiting Feature Correlation. ICADL 2011: 50-59

Xiaojian Zhao, Guangda Li, Meng Wang, Si Li, Xiaoming Chen, Zhoujun Li: An online video recommendation framework using rich information. ICIMCS 2011: 46-50

Ahmed Aftab, Zhoujun Li, Abdul Hussain Shah Bukhari: Triphasic solving approach for scheduling problem. ICNC 2011: 2358-2363

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: 1521-1524

Wen-Han Chao, Zhoujun Li: A Graph-based Bilingual Corpus Selection Approach for SMT. PACLIC 2011: 120-129

Yi Wang, Zhoujun Li, Tao Guo: Program Slicing Stored XSS Bugs in Web Application. TASE 2011: 191-194

Xiaoming Zhang, Zhoujun Li, Yun Long: Tagging Image by Exploring Weighted Correlation between Visual Features and Tags. WAIM 2011: 277-289

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: MOACO Biclustering of gene expression data. I. J. Functional Informatics and Personalised Medicine 3(1): 58-72 (2010)

Shasha Li, Chin-Yew Lin, Young-In Song, Zhoujun Li: Comparable Entity Mining from Comparative Questions. ACL 2010: 650-658

Yiming Chen, Zhoujun Li, Xiaohua Hu, Junwan Liu: Hierarchical Classification with Dynamic-Threshold SVM Ensemble for Gene Function Prediction. ADMA (2) 2010: 336-347

Wei Liu, Zhoujun Li: A Tree Graph Model Based on Mobile Environment. AINA 2010: 584-591

Xiaoshi Yin, Zhoujun Li, Jimmy Xiangji Huang, Xiaohua Hu: A relevance-novelty combined model for genomics search result diversification. BIBM 2010: 692-695

Xiaoshi Yin, Xiangji Huang, Zhoujun Li: Promoting Ranking Diversity for Biomedical Information Retrieval Using Wikipedia. ECIR 2010: 495-507

Biyun Hu, Zhoujun Li, Jun Wang: User's Latent Interest-Based Collaborative Filtering. ECIR 2010: 619-622

Shasha Li, Zhoujun Li: Answer summarization via term hierarchical structure. FSKD 2010: 2349-2353

Jun Wang, Zhoujun Li, Biyun Hu: A context approach to measuring similarity between questions in the community-based QA services. FSKD 2010: 2408-2411

Ahmed Aftab, Zhoujun Li: Solving Course Timetabling Problem Using Interrelated Approach. GrC 2010: 651-655

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: 680-689

Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Tingting He, Zhoujun Li: The topic-perspective model for social tagging systems. KDD 2010: 683-692

Wei Liu, Zhoujun Li: A Method for Mobile User Profile and Reasoning. PRICAI 2010: 170-181

Jianying Xing, Mengjun Li, Zhoujun Li: Automated Program Verification Using Generation of Invariants. QSIC 2010: 300-305

Xiaoshi Yin, Xiangji Huang, Xiaofeng Zhou, Zhoujun Li: A survival modeling approach to biomedical search result diversification using wikipedia. SIGIR 2010: 901-902

Jun Wang, Zhoujun Li, Xia Hu, Biyun Hu: A Novel Composite Kernel for Finding Similar Questions in CQA Services. WAIM 2010: 608-619

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: 342-349

Xiaoming Zhang, Zhoujun Li: Automatic Topic Detection with an Incremental Clustering Algorithm. WISM 2010: 344-351

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Biclustering of microarray data with MOSPO based on crowding distance. BMC Bioinformatics 10(S-4) (2009)

Song Lin, Biao Wang, Zhoujun Li: Digital multisignature on the generalized conic curve over Z_n. Computers & Security 28(1-2): 100-104 (2009)

Xuewang Zhang, Zhoujun Li, Wei Shen: Design of Collaborative Platform on Clustering Applications for Governments. Intelligent Information Management 1(1): 30-35 (2009)

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 1(1): 36-42 (2009)

Shikun Chen, Zhoujun Li: Simplifying Buffer Overflow Detection Using Site-Safe Expressions. ACIS-ICIS 2009: 977-982

Xiaoming Zhang, Zhoujun Li: Online New Event Detection Based on IPLSA. ADMA 2009: 397-408

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Microarray Biclustering with Crowding Based MOACO. BIBM 2009: 170-173

Xiaoshi Yin, Xiangji Huang, Zhoujun Li: Towards a Better Ranking for Biomedical Information Retrieval Using Context. BIBM 2009: 344-349

Xiaoshi Yin, Xiangji Huang, Zhoujun Li: BioCLink: A Probabilistic Approach for Improving Genomics Search with Citation Links. BIBM 2009: 375-378

Yiming Chen, Zhoujun Li, Xiaohua Hu, Hongxiang Diao, Junwan Liu: Predicting gene function with positive and unlabeled examples. GrC 2009: 89-94

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Multi-objective ant colony optimization biclustering of microarray data. GrC 2009: 424-429

Junwan Liu, Zhoujun Li, Yiming Chen: Microarray Data Biclustering with Multi-objective Immune Optimization Algorithm. ICNC (1) 2009: 200-204

Jie Yu, Chengfang Fang, Liming Lu, Zhoujun Li: A Lightweight Mechanism to Mitigate Application Layer DDoS Attacks. Infoscale 2009: 175-191

Yiming Chen, Zhoujun Li, Junwan Liu: Learning Kernel Matrix from Gene Ontology and Annotation Data for Protein Function Prediction. ISNN (3) 2009: 694-703

Hua Guo, Xiyong Zhang, Yi Mu, Zhoujun Li: An Efficient Certificateless Encryption Scheme in the Standard Model. NSS 2009: 302-309

Jie Yu, Chengfang Fang, Jia Xu, Ee-Chien Chang, Zhoujun Li: ID Repetition in Kad. Peer-to-Peer Computing 2009: 111-120

Xiaoshi Yin, Xiangji Huang, Qinmin Hu, Zhoujun Li: Boosting Biomedical Information Retrieval Performance through Citation Graph: An Empirical Study. PAKDD 2009: 949-956

Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li: Server-Controlled Identity-Based Authenticated Key Exchange. ProvSec 2009: 214-229

Shikun Chen, Zhoujun Li, Mengjun Li: Constructing Program Invariants via Solving QBF. TASE 2009: 217-221

Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li: Novel and Efficient Identity-Based Authenticated Key Agreement Protocols from Weil Pairings. UIC 2009: 310-324

Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang: Cryptanalysis of simple three-party key exchange protocol. Computers & Security 27(1-2): 16-21 (2008)

Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou: A Novel Derivation Framework For Definite Logic Program. Electr. Notes Theor. Comput. Sci. 212: 71-85 (2008)

Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen: Modeling and Verifying Time Sensitive Security Protocols with Constraints. Electr. Notes Theor. Comput. Sci. 212: 103-118 (2008)

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. 212: 257-268 (2008)

Wen-Han Chao, Zhoujun Li: Similar Sentence Retrieval for Machine Translation Based on Word-Aligned Bilingual Corpus. AIRS 2008: 578-585

Junwan Liu, Zhoujun Li, Feifei Liu, Yiming Chen: Multi-objective Particle Swarm Optimization Biclustering of Microarray Data. BIBM 2008: 363-366

Ti Zhou, Mengjun Li, Zhoujun Li: Local abstract verification and refinement of security protocols. FMSE 2008: 21-30

Mengjun Li, Ti Zhou, Zhoujun Li: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140

Yangli Jia, Zhoujun Li, Zhenling Zhang: Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems. CSSE (2) 2008: 135-138

Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263

Jian Wen, Zhoujun Li: Improving Information Retrieval within Language Model Framework by Integrating Adjacent and Distant Relation. FSKD (4) 2008: 186-192

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: 41-47

Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Multi-objective Evolutionary Algorithm for Mining 3D Clusters in Gene-sample-time Microarray Data. GrC 2008: 442-447

Jian Wen, Zhoujun Li: Research on Mixture Language Model-based Document Clustering. GrC 2008: 649-652

Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li: VM-based Architecture for Network Monitoring and Analysis. ICYCS 2008: 1395-1400

Zhoujun Li, Wen-Han Chao, Yuexin Chen: An Example-based Decoder for Spoken Language Machine Translation. IJCNLP 2008: 1-8

Zhoujun Li, Xiaoming Chen: Misusing Kademlia Protocol to Perform DDoS Attacks. ISPA 2008: 80-86

Xiaoming Zhang, Zhoujun Li, Yijie Wang: A distributed topology-aware overlays construction algorithm. Mardi Gras Conference 2008: 5

Song Lin, Biao Wang, Zhoujun Li: A Digital Signature Scheme on the Conic Curve over Zn Based on Two Hard Problems. PACIIA (1) 2008: 808-811

Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li: Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. SEKE 2008: 795-801

Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen: A New Method of Cluster-Based Topic Language Model for Genomic IR. AINA Workshops (1) 2007: 301-306

Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen: Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533

Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen: An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN 2007: 166-180

Jian Wen, Zhoujun Li, Xiaohua Hu: Ontology Based Clustering for Improving Genomic IR. CBMS 2007: 225-230

Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203

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: 216-227

Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonian Property on Binary Recursive Networks. FAW 2007: 228-235

Chen Wu, Xiaohua Hu, Zhoujun Li, Xiaohua Zhou, Palakorn Achananuparp: Algorithms for Different Approximations in Incomplete Information Systems with Maximal Compatible Classes as Primitive Granules. GrC 2007: 169-174

Jian Wen, Zhoujun Li: Semantic Smoothing the Multinomial Naive Bayes for Biomedical Literature Classification. GrC 2007: 648-

Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968

Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen: A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54

Zhoujun Li, Yun Sun, Deqiang Wang: Diameter bounds of cubelike recursive networks. ICPADS 2007: 1-8

Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonicity and Pancyclicity of Binary Recursive Networks. ISPA 2007: 786-796

Wen-Han Chao, Zhoujun Li, Yuexin Chen: An Integrated Reordering Model for Statistical Machine Translation. MICAI 2007: 955-965

Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103

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: 256-267

Lijuan Zhang, Zhoujun Li, Huowang Chen: An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095

Lijuan Zhang, Zhoujun Li: Gene Selection for Classifying Microarray Data Using Grey Relation Analysis. Discovery Science 2006: 378-382

Xiaoming Chen, Zhoujun Li, Yongzhen Zhuang, Jinsong Han, Lei Chen: HAND: An Overlay Optimization Algorithm in Peer-to-Peer Systems. HPCC 2006: 290-299

Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen: Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124

Bo Chen, Zhoujun Li, Huowang Chen: A New Component-Oriented Programming Language with the First-Class Connector. JMLC 2006: 271-286

Bo Chen, Zhoujun Li, Huowang Chen: Supporting Connector in Programming Language. SEKE 2006: 369-374

Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen: Mining Maximal Frequent ItemSets Using Combined FP-Tree. Australian Conference on Artificial Intelligence 2004: 475-487

Yuejin Yan, Zhoujun Li, Huowang Chen: Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361

Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214

Bingshan Wang, Zhoujun Li, Huowang Chen: Universal abstract consistency class and universal refutation. J. Comput. Sci. Technol. 14(2): 165-172 (1999)

Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314

Zhoujun Li, Huowang Chen: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718