Travelled to:1 × China
1 × Portugal
1 × Switzerland
1 × The Netherlands
2 × Austria
2 × Canada
3 × USA
Collaborated with:J.H.Lee B.Tong D.K.W.Chiu C.Chan K.W.Ng C.Wang S.Cheung M.Tse W.Wong Y.Cai Q.Li J.Tang J.Li M.Hua J.Pei A.W.Fu X.Lin S.Song J.Hao Y.Liu J.Sun J.S.Dong
Talks about:program (5) concurr (5) constraint (4) logic (4) parallel (3) system (3) queri (3) base (3) increment (2) languag (2)
Person: Ho-fung Leung
DBLP: Leung:Ho=fung
Contributed to:
2012
2010
2007
2007
2006
2003
1996
1995
1995199419931988Wrote 12 papers:
- ICSE-2012-SongHLSLD #approach #model checking #multi #probability
- Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
- CIKM-2010-CaiLLTL #recommendation
- Recommendation based on object typicality (YC, HfL, QL, JT, JL), pp. 1529–1532.
- ICEIS-AIDSS-2007-ChanL #nondeterminism #rule-based
- Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
- VLDB-2007-HuaPFLL #database #query #scalability
- Efficiently Answering Top-k Typicality Queries on Large Databases (MH, JP, AWCF, XL, HfL), pp. 890–901.
- EDOC-2006-WangCL #enterprise #persistent #security
- Anonymity and Security Support for Persistent Enterprise Conversation (CW, DKWC, HfL), pp. 471–476.
- CAiSE-2003-ChiuCL #adaptation #collaboration
- A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems (DKWC, SCC, HfL), pp. 226–241.
- SAC-1996-LeeL #concurrent #constraints #incremental #query
- Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.
- ILPS-1995-TseWL #concurrent #logic programming #object-oriented #programming language #prolog
- P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language (MlT, WhW, HfL), p. 640.
- PLILP-1995-TongL #concurrent #constraints #performance #programming
- Performance of A Data-Parallel Concurrent Constraint Programming System (BMT, HfL), pp. 463–464.
- SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards
- IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.
- ILPS-1993-TongL #concurrent #constraints #logic programming #parallel
- Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers (BMT, HfL), pp. 388–402.
- JICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code
- The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.