| 2008 |
|---|
| 20 | EE | Taolue Chen,
Wan Fokkink:
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.
LICS 2008: 156-165 |
| 19 | EE | Taolue Chen,
Jian Lu:
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
Electr. Notes Theor. Comput. Sci. 212: 55-70 (2008) |
| 18 | EE | Taolue Chen,
Wan Fokkink,
Bas Luttik,
Sumit Nain:
On finite alphabets and infinite bases.
Inf. Comput. 206(5): 492-519 (2008) |
| 17 | EE | Luca Aceto,
Taolue Chen,
Wan Fokkink,
Anna Ingólfsdóttir:
On the axiomatisability of priority.
Mathematical Structures in Computer Science 18(1): 5-28 (2008) |
| 2007 |
|---|
| 16 | EE | Taolue Chen,
Bas Ploeger,
Jaco van de Pol,
Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
CONCUR 2007: 120-135 |
| 2006 |
|---|
| 15 | EE | Taolue Chen,
Wan Fokkink:
On Finite Alphabets and Infinite Bases III: Simulation.
CONCUR 2006: 421-434 |
| 14 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
FSKD 2006: 149-158 |
| 13 | EE | Taolue Chen,
Wan Fokkink,
Sumit Nain:
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.
FoSSaCS 2006: 1-15 |
| 12 | EE | Luca Aceto,
Taolue Chen,
Wan Fokkink,
Anna Ingólfsdóttir:
On the Axiomatizability of Priority.
ICALP (2) 2006: 480-491 |
| 11 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern. 17(3): (2006) |
| 2005 |
|---|
| 10 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
Analysis of A Leader Election Algorithm in uCRL.
CIT 2005: 841-847 |
| 9 | EE | Tingting Han,
Taolue Chen,
Jian Lu:
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
COMPSAC (1) 2005: 71-76 |
| 8 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
On the Bisimulation Congruence in chi-Calculus.
FSTTCS 2005: 128-139 |
| 7 | EE | Tingting Han,
Taolue Chen,
Jian Lu:
Structure Analysis for Dynamic Software Architecture.
SNPD 2005: 338 |
| 6 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
A Modal Logic for pi-Calculus and Model Checking Algorithm.
Electr. Notes Theor. Comput. Sci. 123: 19-33 (2005) |
| 2004 |
|---|
| 5 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
CIT 2004: 540-545 |
| 4 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
Towards a Model Logic for p-Calculus.
COMPSAC 2004: 330-335 |
| 3 | | Taolue Chen,
Tingting Han,
Jian Lu:
Tree logic with recursion and model checking algorithm.
IASTED Conf. on Software Engineering and Applications 2004: 588-593 |
| 2 | EE | Taolue Chen,
Jingyang Zhou,
Tingting Han,
Jian Lu:
Checking Strong Open Congruence in Chi -Calculus.
Electr. Notes Theor. Comput. Sci. 91: 4-20 (2004) |
| 2003 |
|---|
| 1 | EE | Taolue Chen,
Tingting Han,
Jian Lu:
Intensionality of modal logic for Robust Ambient Calculus.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
