#### Filter Results:

- Full text PDF available (18)

#### Publication Year

2001

2018

- This year (2)
- Last 5 years (12)
- Last 10 years (18)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Dominique Chu, Weng Kin Ho
- Artificial Life
- 2006

One of Robert Rosen's main contributions to the scientific community is summarized in his book Life itself. There Rosen presents a theoretical framework to define living systems; given thisâ€¦ (More)

- MartÃn HÃ¶tzel EscardÃ³, Weng Kin Ho
- LICS 2005
- 2005

A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and order. We further develop this, and, moreover, weâ€¦ (More)

- Weng Kin Ho
- Electr. Notes Theor. Comput. Sci.
- 2006

We develop an operational domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we do notâ€¦ (More)

- Dominique Chu, Weng Kin Ho
- Artificial Life
- 2007

In a recent article in Artificial Life, Chu and Ho suggested that Rosen's central result about the simulability of living systems might be flawed. This argument was later declared null and void byâ€¦ (More)

A dcpo P is continuous if and only if the lattice C(P ) of all Scottclosed subsets of P is completely distributive. However, in the case where P is a non-continuous dcpo, little is known about theâ€¦ (More)

- Dongsheng Zhao, Weng Kin Ho
- J. Log. Algebr. Meth. Program.
- 2015

In this paper, we define and study a new topology constructed from any given topology on a set, using irreducible sets. The manner in which this derived topology is obtained is inspired by how theâ€¦ (More)

- Weng Kin Ho
- 2006

We develop an operational domain theory to reason about programs in sequential functional languages. The central idea is to export domaintheoretic techniques of the Scott denotational semanticsâ€¦ (More)

- Weng Kin Ho, Achim Jung, Xiaoyong Xi
- Logical Methods in Computer Science
- 2018

Given a poset P , the set, Î“(P), of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Pos d (the category of posets and Scott-continuous maps) is said to beâ€¦ (More)

- Jian Liu, Runmei Li, +6 authors Arthur Tay
- 2001

Nuisance alarms often clutter and obscure an operatorâ€™s view of critical and important information. In this paper, an intelligent alarm management system for a refinery plant is presented. Itsâ€¦ (More)

- Weng Kin Ho, Foo Him Ho
- 2011

This paper gives an elementary proof of the famous identity