 | 2009 |
|---|
| 29 |       | Daowen Qiu,
Paulo Mateus,
Xiangfu Zou,
Amílcar Sernadas:
One-way quantum finite automata together with classical states
CoRR abs/0909.1428: (2009) |
| 28 | | Hongyan Xing,
Daowen Qiu:
Automata theory based on complete residuated lattice-valued logic: A categorical approach.
Fuzzy Sets and Systems 160(16): 2416-2428 (2009) |
| 27 | | Hongyan Xing,
Daowen Qiu,
Fuchun Liu:
Automata theory based on complete residuated lattice-valued logic: Pushdown automata.
Fuzzy Sets and Systems 160(8): 1125-1140 (2009) |
| 26 | | Hongyan Xing,
Daowen Qiu:
Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic.
Fuzzy Sets and Systems 160(8): 1141-1151 (2009) |
| 25 | | Fuchun Liu,
Daowen Qiu:
Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach.
IEEE T. Fuzzy Systems 17(2): 372-384 (2009) |
| 24 | | Lvzhou Li,
Daowen Qiu:
A note on quantum sequential machines.
Theor. Comput. Sci. 410(26): 2529-2535 (2009) |
| 23 | | Daowen Qiu,
Sheng Yu:
Hierarchy and equivalence of multi-letter quantum finite automata.
Theor. Comput. Sci. 410(30-32): 3006-3017 (2009) |
| 2008 |
|---|
| 22 | | Daowen Qiu:
Some Observations on Two-Way Finite Automata with Quantum and Classical States.
ICIC (1) 2008: 1-8 |
| 21 | | Daowen Qiu:
Research report: State complexity of operations on two-way quantum finite automata
CoRR abs/0807.0476: (2008) |
| 20 | | Daowen Qiu,
Sheng Yu:
Hierarchy and equivalence of multi-letter quantum finite automata
CoRR abs/0812.0852: (2008) |
| 19 | | Daowen Qiu:
Decidability of the Equivalence of Multi-Letter Quantum Finite Automata
CoRR abs/0812.1061: (2008) |
| 18 | | Daowen Qiu,
Lvzhou Li:
An overview of quantum computation models: quantum automata.
Frontiers of Computer Science in China 2(2): 193-207 (2008) |
| 17 | | Lvzhou Li,
Daowen Qiu:
Determining the equivalence for one-way quantum finite automata.
Theor. Comput. Sci. 403(1): 42-51 (2008) |
| 2007 |
|---|
| 16 | | Fuchun Liu,
Daowen Qiu:
Lyapunov Stability of Fuzzy Discrete Event Systems.
ICIC (2) 2007: 693-701 |
| 15 | | Daowen Qiu:
A note on Trillas' CHC models.
Artif. Intell. 171(4): 239-254 (2007) |
| 14 | | Hongyan Xing,
Daowen Qiu,
Fuchun Liu,
Zhujun Fan:
Equivalence in automata theory based on complete residuated lattice-valued logic.
Fuzzy Sets and Systems 158(13): 1407-1422 (2007) |
| 13 | | Daowen Qiu:
Automata theory based on quantum logic: Reversibilities and pushdown automata.
Theor. Comput. Sci. 386(1-2): 38-56 (2007) |
| 2006 |
|---|
| 12 | | Daowen Qiu:
Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach
CoRR abs/cs/0605106: (2006) |
| 11 | | Daowen Qiu,
Fuchun Liu:
Fuzzy Discrete Event Systems under Fuzzy Observability and a test-algorithm
CoRR abs/cs/0605107: (2006) |
| 10 | | Fuchun Liu,
Daowen Qiu,
Hongyan Xing,
Zhujun Fan:
Diagnosability of Fuzzy Discrete Event Systems
CoRR abs/cs/0605108: (2006) |
| 9 | | Fuchun Liu,
Daowen Qiu,
Hongyan Xing,
Zhujun Fan:
Decentralized Failure Diagnosis of Stochastic Discrete Event Systems
CoRR abs/cs/0610165: (2006) |
| 8 | | Daowen Qiu:
Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note.
Fuzzy Sets and Systems 157(15): 2128-2138 (2006) |
| 7 | | Lvzhou Li,
Daowen Qiu:
Determination of equivalence between quantum sequential machines.
Theor. Comput. Sci. 358(1): 65-74 (2006) |
| 2005 |
|---|
| 6 | | Daowen Qiu:
Supervisory control of fuzzy discrete event systems: a formal approach.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(1): 72-88 (2005) |
| 5 | | Daowen Qiu,
Huaiqing Wang:
A probabilistic model of computing with words.
J. Comput. Syst. Sci. 70(2): 176-200 (2005) |
| 2004 |
|---|
| 4 | | Daowen Qiu:
Characterizations of fuzzy finite automata.
Fuzzy Sets and Systems 141(3): 391-414 (2004) |
| 3 | | Daowen Qiu:
Fuzzifying topological linear spaces.
Fuzzy Sets and Systems 147(2): 249-272 (2004) |
| 2 | | Daowen Qiu:
Automata theory based on quantum logic: some characterizations.
Inf. Comput. 190(2): 179-195 (2004) |
| 1 | | Daowen Qiu,
Mingsheng Ying:
Characterizations of quantum automata.
Theor. Comput. Sci. 312(2-3): 479-489 (2004) |
