Ho-fung Leung

Chun-Kit Au, Ho-Fung Leung: Eigenspace sampling in the mirrored variant of (1, λ)-CMA-ES. IEEE Congress on Evolutionary Computation 2012: 1-8

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, Jin Song Dong: Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340

Jianye Hao, Ho-Fung Leung: Incorporating Fairness into Infinitely Repeated Games with Conflicting Interests for Conflicts Elimination. ICTAI 2012: 314-321

Chun-Kit Au, Ho-Fung Leung: An Empirical Comparison of CMA-ES in Dynamic Environments. PPSN (1) 2012: 529-538

Jianye Hao, Ho-fung Leung: Learning to Achieve Socially Optimal Solutions in General-Sum Games. PRICAI 2012: 88-99

Jianye Hao, Ho-fung Leung: Incorporating Fairness into Agent Interactions Modeled as Two-Player Normal-Form Games. PRICAI 2012: 100-111

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung: Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30

Jianye Hao, Ho-fung Leung: An Efficient Negotiation Protocol to Achieve Socially Optimal Allocation. PRIMA 2012: 46-60

Jianye Hao, Ho-fung Leung: Maintaining cooperation in homogeneous multi-agent system. SMC 2012: 301-306

Xin Sui, Ho-fung Leung: Adaptive bidding in combinatorial auctions in dynamic markets. Evolving Systems 2(4): 219-233 (2011)

Chi-Kong Chan, Ho-Fung Leung: Belief-based stability in non-transferable utility coalition formation with uncertainty. Intelligent Decision Technologies 5(2): 151-162 (2011)

Yi Cai, Ho-fung Leung: Formalizing object membership in fuzzy ontology with property importance and property priority. FUZZ-IEEE 2011: 1719-1726

Jianye Hao, Ho-Fung Leung: Learning to Achieve Social Rationality Using Tag Mechanism in Repeated Interactions. ICTAI 2011: 148-155

Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao (Eds.): Web Information Systems Engineering - WISE 2010 Workshops - WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6724, Springer 2011, isbn 978-3-642-24395-0

Ching-man Au Yeung, Ho-Fung Leung: A Formal Model of Ontology for Handling Fuzzy Membership and Typicality of Instances. Comput. J. 53(3): 316-341 (2010)

Dickson K. W. Chiu, S. C. Cheung, Ho-fung Leung, Patrick C. K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, Yi Zhuang: Engineering e-Collaboration Services with a Multi-Agent System Approach. IJSSOE 1(1): 1-25 (2010)

Wen-hao Chen, Yi Cai, Ho-fung Leung, Qing Li: Generating ontologies with basic level concepts from folksonomies. Procedia CS 1(1): 573-581 (2010)

Chun-Kit Au, Ho-Fung Leung: Improving CMA-ES by random evaluation on the minor eigenspace. IEEE Congress on Evolutionary Computation 2010: 1-8

Yi Cai, Ho-fung Leung, Qing Li, Jie Tang, Juanzi Li: Recommendation based on object typicality. CIKM 2010: 1529-1532

Wen-hao Chen, Yi Cai, Ho-fung Leung: An Unsupervised Method of Exploring Ontologies from Folksonomies. ICCSA Workshops 2010: 331-334

Jianye Hao, Ho-fung Leung: Strategy and Fairness in Repeated Two-agent Interaction. ICTAI (2) 2010: 3-6

Shu-juan Ji, Ho-fung Leung: An Adaptive Prediction-Regret Driven Strategy for Bilateral Bargaining. ICTAI (2) 2010: 11-14

Yi Cai, Ho-fung Leung, Qing Li, Jie Tang, Juanzi Li: TyCo: Towards Typicality-based Collaborative Filtering Recommendation. ICTAI (2) 2010: 97-104

Yi Cai, Ho-Fung Leung: A Fuzzy Description Logic with Automatic Object Membership Measurement. KSEM 2010: 76-87

Xin Sui, Ho-fung Leung: An Adaptive Bidding Strategy for Combinatorial Auction-Based Resource Allocation in Dynamic Markets. PRICAI 2010: 510-522

Wen-hao Chen, Yi Cai, Ho-fung Leung, Qing Li: Context-Aware Basic Level Concepts Detection in Folksonomies. WAIM 2010: 632-643

Huiye Ma, Wenyan Hu, Ho-fung Leung: Enhancing Continuous Double Auction for Handling Homogeneous Goods in Online Auctions. CEC 2010: 32-39

Panida Tansiri, Laor Boongasame, Dickson K. W. Chiu, Ho-fung Leung: Forming Buyer Coalition Schemes with Ontologies in E-Marketplaces. WISE Workshops 2010: 27-35

Dickson K. W. Chiu, Ho-Fung Leung, Ka-man Lam: On the making of service recommendations: An action theory based on utility, reputation, and risk attitude. Expert Syst. Appl. 36(2): 3293-3301 (2009)

Yingni She, Ho-Fung Leung: Individual agent's wealth in minority games. IJAACS 2(3): 226-255 (2009)

Dickson K. W. Chiu, Yves T. F. Yueh, Ho-fung Leung, Patrick C. K. Hung: Towards ubiquitous tourist service coordination and process integration: A collaborative travel agent system architecture with semantic web services. Information Systems Frontiers 11(3): 241-256 (2009)

Ming Hua, Jian Pei, Ada Wai-Chee Fu, Xuemin Lin, Ho-Fung Leung: Top-k typicality queries and efficient query answering methods on large databases. VLDB J. 18(3): 809-835 (2009)

Xin Sui, Ho-Fung Leung: A q-learning based adaptive bidding strategy in combinatorial auctions. ICEC 2009: 186-194

Xin Sui, Ho-Fung Leung: An adaptive bidding strategy for combinatorial auctions-based resource allocation in dynamic markets. AAMAS (2) 2009: 1157-1158

Chun-Kit Au, Ho-Fung Leung: Investigating collaboration methods of random immigrant scheme in cooperative coevolution. IEEE Congress on Evolutionary Computation 2009: 2701-2707

Chun-Kit Au, Ho-Fung Leung: Group extinction heuristics in evolution strategy. IEEE Congress on Evolutionary Computation 2009: 2871-2878

Yingni She, Ho-fung Leung: An Adaptive Strategy for Resource Allocation with Changing Capacities. Complex (2) 2009: 1410-1423

Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong: Towards Ontology Learning from Folksonomies. IJCAI 2009: 2089-2094

Laor Boongasame, Ho-fung Leung, Veera Boonjing, Dickson K. W. Chiu: Forming Buyer Coalitions with Bundles of Items. KES-AMSTA 2009: 714-723

Dickson K. W. Chiu, Patrick C. K. Hung, Ho-fung Leung: Special issue on service intelligence and service science (SISS). Service Oriented Computing and Applications 2(2-3): 47-49 (2008)

Yingni She, Ho-fung Leung: Maximising Personal Utility Using Intelligent Strategy in Minority Game. ATC 2008: 191-205

Chun-Kit Au, Ho-fung Leung: On the behavior of cooperative coevolution in dynamic environments. IEEE Congress on Evolutionary Computation 2008: 2827-2836

Yi Cai, Ho-fung Leung: A Formal Model of Fuzzy Ontology with Property Hierarchy and Object Membership. ER 2008: 69-82

Yi Cai, Ho-fung Leung, Ada Wai-Chee Fu: Multi-Prototype Concept and Object Typicality in Ontology. FLAIRS Conference 2008: 470-475

Chi-Kong Chan, Ho-fung Leung: Stability of Coalitions in Belief-Based Non-Transferable Utility Games. FLAIRS Conference 2008: 625-630

Yi Cai, Ho-fung Leung: Formalizing Object Typicality in Context-Aware Ontology. ICTAI (2) 2008: 233-240

Yingni She, Ho-fung Leung: An Adaptive Strategy for Allocation of Resources with Gradually or Abruptly Changing Capacities. ICTAI (2) 2008: 415-422

Xin Sui, Ho-Fung Leung: An Adaptive Bidding Strategy in Multi-round Combinatorial Auctions for Resource Allocation. ICTAI (2) 2008: 423-430

Chi-Kong Chan, Ho-fung Leung: Belief Based Distributed Buyer Coalition Formation with Non-transferable Utility. CEC/EEE 2008: 60-67

Huiye Ma, Ho-Fung Leung: An adaptive attitude bidding strategy for agents in continuous double auctions. Electronic Commerce Research and Applications 6(4): 383-398 (2007)

Yves T. F. Yueh, Dickson K. W. Chiu, Ho-fung Leung, Patrick C. K. Hung: A Virtual Travel Agent System for M-Tourism with Semantic Web Service Based Design and Implementation. AINA 2007: 142-149

Ka-man Lam, Ho-fung Leung: An adaptive strategy for minority games. AAMAS 2007: 194

Yuqing Sun, Peng Pan, Ho-fung Leung, Bin Shi: Ontology Based Hybrid Access Control for Automatic Interoperation. ATC 2007: 323-332

Chun-Kit Au, Ho-Fung Leung: Biasing mutations in cooperative coevolution. IEEE Congress on Evolutionary Computation 2007: 828-835

Chun-Kit Au, Ho-Fung Leung: Guided mutations in cooperative coevolutionary algorithms for function optimization. GECCO 2007: 488

Chi-Kong Chan, Ho-Fung Leung: Rule Based Stability Criteria for Coalition Formation Under Uncertainty. ICEIS (2) 2007: 171-177

Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75

Ka-man Lam, Ho-fung Leung: Incorporating Risk Attitude and Reputation into Infinitely Repeated Games and an Analysis on the Iterated Prisoner's Dilemma. ICTAI (1) 2007: 60-67

Chi-Kong Chan, Ho-fung Leung: A Distributed Mechanism for Non-transferable Utility Buyer Coalition Problem. ICTAI (2) 2007: 82-86

Chun-Kit Au, Ho-Fung Leung: Guided Mutations in Cooperative Coevolutionary Algorithms for Function Optimization. ICTAI (1) 2007: 407-414

Laor Boongasame, Veera Boonjing, Ho-fung Leung: The Theory of Maximal Social Welfare Feasible Coalition. IEA/AIE 2007: 935-942

Ka-man Lam, Ho-fung Leung: Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium. PRIMA 2007: 1-12

Chi-Kong Chan, Ho-Fung Leung: Belief-Based Stability in Non-transferable Utility Coalition Formation. PRIMA 2007: 422-427

Ka-man Lam, Ho-fung Leung: An Adaptive Strategy for Resource Allocation Modeled as Minority Game. SASO 2007: 193-204

Ming Hua, Jian Pei, Ada Wai-Chee Fu, Xuemin Lin, Ho-fung Leung: Efficiently Answering Top-k Typicality Queries on Large Databases. VLDB 2007: 890-901

Huiye Ma, Ho-fung Leung: Adaptive Agents for Sequential English Auctions with a Fixed Deadline. CEC/EEE 2007: 29-38

Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky (Eds.): Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Lecture Notes in Computer Science 4408, Springer 2007, isbn 978-3-540-73130-6

Ka-man Lam, Ho-fung Leung: A Trust/Honesty Model with Adaptive Strategy for Multiagent Semi-Competitive Environments. Autonomous Agents and Multi-Agent Systems 12(3): 293-359 (2006)

Alessandro Garcia, Holger Giese, Alexander Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon: Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Software Engineering Notes 31(5): 24-32 (2006)

Ho-Fung Leung, Zeshan Peng, Hing-Fung Ting: An efficient algorithm for online square detection. Theor. Comput. Sci. 363(1): 69-75 (2006)

Huiye Ma, Ho-fung Leung: A Demand and Contribution Based Bandwidth Allocation Mechanism in P2P Networks: A Game-Theoretic Analysis. AINA (1) 2006: 1005-1010

Ching-man Au Yeung, Ho-fung Leung: Formalizing typicality of objects and context-sensitivity in ontologies. AAMAS 2006: 946-948

Gilbert H. L. Luk, Dickson K. W. Chiu, Ho-fung Leung: Web-service Based Human Resource Recruitment by Using Matchmaking Decision Support. EDOC Workshops 2006: 67

Changjie Wang, Dickson K. W. Chiu, Ho-fung Leung: Anonymity and Security Support for Persistent Enterprise Conversation. EDOC 2006: 471-476

Ching-man Au Yeung, Ho-fung Leung: Ontology with Likeliness and Typicality of Objects in Concepts. ER 2006: 98-111

Spencer K. L. Fung, Jimmy Ho-Man Lee, Ho-fung Leung: Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem. FLAIRS Conference 2006: 141-146

Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander Romanovsky: Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE 2006: 1022-1023

Ka-man Lam, Ho-fung Leung: Formalizing Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Infinitely Repeated Games. PRIMA 2006: 138-149

Ka-man Lam, Ho-fung Leung: Expected Utility Maximization and Attractiveness Maximization. PRIMA 2006: 638-643

Huiye Ma, Ho-fung Leung: Effect of Time Strategies on the Profit of Agents Using Adaptive Bid Softness Determination in Continuous Double Auctions with a Fixed Deadline. CEC/EEE 2006: 16

Changjie Wang, Ho-fung Leung, S. C. Cheung, Yumin Wang: Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents. IJHPCN 3(5/6): 385-394 (2005)

Dickson K. W. Chiu, Ho-fung Leung, Ka-man Lam: Making personalized recommendations to customers in a service-oriented economy: a quantitative model based on reputation and risk attitude. ICEC 2005: 210-216

Dickson K. W. Chiu, Ho-fung Leung: Towards ubiquitous tourist service coordination and integration: a multi-agent and semantic web approach. ICEC 2005: 574-581

Changjie Wang, Ho-fung Leung: A secure voter-resolved approval voting protocol over internet. ICEC 2005: 646-652

Dickson K. W. Chiu, Changjie Wang, Ho-fung Leung, Irene Kafeza, Eleanna Kafeza: Supporting the legal identities of contracting agents with an agent authorization platform. ICEC 2005: 721-728

Changjie Wang, Ho-fung Leung: A Private and Efficient Mobile Payment Protocol. CIS (2) 2005: 1030-1035

Huiye Ma, Ho-fung Leung: An Adaptive Attitude Bidding Strategy for Agents in Continuous Double Auctions. EEE 2005: 38-43

Changjie Wang, Ho-fung Leung: Mobile Agents for Secure Electronic Commerce Transactions with Privacy Protection of the Customers. EEE 2005: 530-535

Ka-man Lam, Ho-fung Leung: A Mutual Influence Algorithm for Multiple Concurrent Negotiations. FLAIRS Conference 2005: 836-837

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005

Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. HICSS 2005

Dickson K. W. Chiu, Oliver K. F. Lee, Ho-fung Leung, Eric W. K. Au, May C. W. Wong: A Multi-Modal Agent Based Mobile Route Advisory System for Public Transport Network. HICSS 2005

Huiye Ma, Ho-fung Leung: Adaptive Soft Bid Determination in Bidding Strategies for Continuous Double Auctions. ICTAI 2005: 94-98

Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee: Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707

Xin Feng, Ho-fung Leung, Lixin Tang: An Effective Algorithm Based on GENET Neural Network Model for Job Shop Scheduling with Release Dates and Due Dates. ISNN (1) 2005: 776-781

Ka-man Lam, Ho-fung Leung: A Mutual Influence Algorithm for Multiple Concurrent Negotiations - A Game Theoretical Analysis. KES (2) 2005: 986-992

Ka-man Lam, Ho-fung Leung: Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 ×2 Risk Games. PRIMA 2005: 163-177

Chi-Kong Chan, Ho-Fung Leung: Multi-auction Approach for Solving Task Allocation Problem. PRIMA 2005: 240-254

Huiye Ma, Ho-fung Leung: Enhancing Bidding Strategies in CDAs by Adaptive Judgement of Price Acceptability. PRIMA 2005: 380-394

Changjie Wang, Dickson K. W. Chiu, Ho-fung Leung: Anonymity and Security in Public Internet Forums. CEC 2005: 448-451

Changjie Wang, Ho-fung Leung: A secure and private clarke tax voting protocol without trusted authorities. ICEC 2004: 556-565

Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang: Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents. AINA (1) 2004: 414-419

Ho-fung Leung, Zeshan Peng, Hing-Fung Ting: An Efficient Online Algorithm for Square Detection. COCOON 2004: 432-439

Changjie Wang, Ho-fung Leung: A Secure and Fully Private Borda Voting Protocol with Universal Verifiability. COMPSAC 2004: 224-229

Shing-Chi Cheung, Ho-fung Leung, Changjie Wang: A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support. HICSS 2004

Changjie Wang, Ho-fung Leung: Anonymity and Security in Continuous Double Auctions for Internet Retails Market. HICSS 2004

Ka-man Lam, Ho-fung Leung: An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments. ICTAI 2004: 416-423

Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung, Jimmy Ho-Man Lee, H. W. Chun: A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. ICTAI 2004: 696-703

Xin Feng, Lixin Tang, Ho-fung Leung: Applying GENET to the JSSCSOP. ISNN (1) 2004: 454-461

Ka-man Lam, Ho-fung Leung: A Trust/Honesty Model in Multiagent Semi-competitive Environments. PRIMA 2004: 128-147

Xudong Luo, Nicholas R. Jennings, Nigel Shadbolt, Ho-fung Leung, Jimmy Ho-Man Lee: A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. Artif. Intell. 148(1-2): 53-102 (2003)

Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings: Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets and Systems 136(2): 151-188 (2003)

Minghua He, Nicholas R. Jennings, Ho-fung Leung: On Agent-Mediated Electronic Commerce. IEEE Trans. Knowl. Data Eng. 15(4): 985-1003 (2003)

Minghua He, Ho-fung Leung, Nicholas R. Jennings: A Fuzzy-Logic Based Bidding Strategy for Autonomous Agents in Continuous Double Auctions. IEEE Trans. Knowl. Data Eng. 15(6): 1345-1363 (2003)

Dickson K. W. Chiu, Shing-Chi Cheung, Eleanna Kafeza, Ho-fung Leung: A three-tier view-based methodology for M-services adaptation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(6): 725-741 (2003)

Ka-man Lam, Ho-fung Leung: Rational communication in multi-agent semi-competitive environments. AAMAS 2003: 1044-1045

Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. CAiSE 2003: 226-241

Changjie Wang, Ho-fung Leung, Yumin Wang: Secure Double Auction Protocols with Full Privacy Protection. ICISC 2003: 215-229

Bryan Chi-ho Lam, Ho-fung Leung: Progressive Stochastic Search for Solving Constraint Satisfaction Problems. ICTAI 2003: 487-491

Ka-man Lam, Ho-fung Leung: Honesty, Trust, and Rational Communication in Multiagent Semi-competitive Environments. PRIMA 2003: 158-169

C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung: A Constraint-Based Interactive Train Rescheduling Tool. Constraints 7(2): 167-198 (2002)

Minghua He, Ho-fung Leung: Agents in E-Commerce: State of the Art. Knowl. Inf. Syst. 4(3): 257-282 (2002)

Xudong Luo, Chengqi Zhang, Ho-fung Leung: Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: a case study. Int. J. Approx. Reasoning 27(1): 27-59 (2001)

Minghua He, Ho-fung Leung: An agent bidding strategy based on fuzzy logic in a continuous double auction. Agents 2001: 61-62

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178

Minghua He, Xudong Luo, Ho-fung Leung, Yuhui Qiu: Group-Oriented Paper Retrieving and Filtering. ISCA Conference on Intelligent Systems 2000: 31-34

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. ISCA Conference on Intelligent Systems 2000: 35-38

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. ECAI 2000: 373-377

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410

Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795

Jimmy Ho-Man Lee, Ho-fung Leung: An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Comput. Lang. 25(3): 119-144 (1999)

Xudong Luo, Chengqi Zhang, Ho-fung Leung: A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System. PRIMA 1999: 211-225

Bo-Ming Tong, Ho-Fung Leung: Data-Parallel Concurrent Constraint Programming. J. Log. Program. 35(2): 103-150 (1998)

Jason H. Y. Wong, Ho-Fung Leung: Extending GENET to Solve Fuzzy Constraint Satisfaction Problems. AAAI/IAAI 1998: 380-385

Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won: Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. Australian Joint Conference on Artificial Intelligence 1998: 191-202

Ho-fung Leung, Hing-Fung Ting: An Optimal Algorithm for Global Termination Detection in Shared-Memory Asynchronous Multiprocessor Systems. IEEE Trans. Parallel Distrib. Syst. 8(5): 538-543 (1997)

Ho-Fung Leung, Keith L. Clark: Constraint Satisfaction in Distributed Concurrent Logic Programming. J. Symb. Comput. 21(4): 699-714 (1996)

Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won: Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52

C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung: A Constraint-Based Interactive Train Rescheduling Tool. CP 1996: 104-118

Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won: Towards a More Efficient Stochastic Constraint Solver. CP 1996: 338-352

Jason H. Y. Wong, Kai-fai Ng, Ho-Fung Leung: A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems. CP 1996: 568-569

Man-lai Tse, Wing-hang Wong, Ho-Fung Leung: Programming with Communicating Nondeterministic Logic Objects. ISPAN 1996: 556-558

Jimmy Ho-Man Lee, Ho-fung Leung: Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC 1996: 387-392

Bo-Ming Tong, Ho-Fung Leung: Performance of a Data-Parallel Concurrent Constraint Programming System. ASIAN 1995: 319-334

Bo-Ming Tong, Ho-Fung Leung: Performance of A Data-Parallel Concurrent Constraint Programming System. PLILP 1995: 463-464

Man-lai Tse, Wing-hang Wong, Ho-Fung Leung: P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language. ILPS 1995: 640

Jimmy Ho-Man Lee, Ho-fung Leung: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC 1994: 405-409

Bo-Ming Tong, Ho-Fung Leung: Performance of a Data-Parallel Concurrent Constraint Programming System. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0-

Bo-Ming Tong, Ho-Fung Leung: Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers. ILPS 1993: 388-402

K. W. Ng, Ho-Fung Leung: Competition: A Model of AND-Parallel Execution of Logic Programs. Comput. J. 33(3): 215-218 (1990)

K. W. Ng, Ho-Fung Leung: The Competition Model for Parallel Execution of Logic Programs. ICLP/SLP 1988: 1180-1187