| 2008 |
|---|
| 4 | EE | Yu-Lin Chu,
Tsai-Yen Li,
Cheng-Chia Chen:
User Pluggable Animation Components in Multi-user Virtual Environment.
IJVR 7(3): 31-36 (2008) |
| 1994 |
|---|
| 3 | | Cheng-Chia Chen,
I-Peng Lin:
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories.
LFCS 1994: 69-80 |
| 2 | | Cheng-Chia Chen,
I-Peng Lin:
The Computational Complexity of the Satisfiability of Modal Horn Clauses for Modal Propositional Logics.
Theor. Comput. Sci. 129(1): 95-121 (1994) |
| 1993 |
|---|
| 1 | | Cheng-Chia Chen,
I-Peng Lin:
The Computational Complexity of Satisfiability of Temporal Horn Formulas in Propositional Linear-Time Temporal Logic.
Inf. Process. Lett. 45(3): 131-136 (1993) |
