Travelled to:1 × Denmark
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:Z.Li B.Chen T.Wang Y.Yan
Talks about:congruenc (2) equival (2) bisimul (2) strong (2) observ (2) weak (2) increment (1) connector (1) calculus (1) support (1)
Person: Huowang Chen
DBLP: Chen:Huowang
Contributed to:
2007
2006
1999
1998Wrote 4 papers:
- MLDM-2007-WangLYC #classification #data type #fuzzy #incremental #mining
- An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams (TW, ZL, YY, HC), pp. 91–103.
- SEKE-2006-ChenLC #programming language
- Supporting Connector in Programming Language (BC, ZL, HC), pp. 369–374.
- TACAS-1999-LiC #bisimulation #congruence #process
- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes (ZL, HC), pp. 300–314.
- ICALP-1998-LiC #bisimulation #congruence #π-calculus
- Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the π-Calculus (ZL, HC), pp. 707–718.