2008 |
22 | EE | Daowen Qiu:
Some Observations on Two-Way Finite Automata with Quantum and Classical States.
ICIC (1) 2008: 1-8 |
21 | EE | Daowen Qiu:
Research report: State complexity of operations on two-way quantum finite automata
CoRR abs/0807.0476: (2008) |
20 | EE | Daowen Qiu,
Sheng Yu:
Hierarchy and equivalence of multi-letter quantum finite automata
CoRR abs/0812.0852: (2008) |
19 | EE | Daowen Qiu:
Decidability of the Equivalence of Multi-Letter Quantum Finite Automata
CoRR abs/0812.1061: (2008) |
18 | EE | Daowen Qiu,
Lvzhou Li:
An overview of quantum computation models: quantum automata.
Frontiers of Computer Science in China 2(2): 193-207 (2008) |
17 | EE | Lvzhou Li,
Daowen Qiu:
Determining the equivalence for one-way quantum finite automata.
Theor. Comput. Sci. 403(1): 42-51 (2008) |
2007 |
16 | EE | Fuchun Liu,
Daowen Qiu:
Lyapunov Stability of Fuzzy Discrete Event Systems.
ICIC (2) 2007: 693-701 |
15 | EE | Daowen Qiu:
A note on Trillas' CHC models.
Artif. Intell. 171(4): 239-254 (2007) |
14 | EE | 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 | EE | Daowen Qiu:
Automata theory based on quantum logic: Reversibilities and pushdown automata.
Theor. Comput. Sci. 386(1-2): 38-56 (2007) |
2006 |
12 | EE | Daowen Qiu:
Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach
CoRR abs/cs/0605106: (2006) |
11 | EE | Daowen Qiu,
Fuchun Liu:
Fuzzy Discrete Event Systems under Fuzzy Observability and a test-algorithm
CoRR abs/cs/0605107: (2006) |
10 | EE | Fuchun Liu,
Daowen Qiu,
Hongyan Xing,
Zhujun Fan:
Diagnosability of Fuzzy Discrete Event Systems
CoRR abs/cs/0605108: (2006) |
9 | EE | Fuchun Liu,
Daowen Qiu,
Hongyan Xing,
Zhujun Fan:
Decentralized Failure Diagnosis of Stochastic Discrete Event Systems
CoRR abs/cs/0610165: (2006) |
8 | EE | 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 | EE | Lvzhou Li,
Daowen Qiu:
Determination of equivalence between quantum sequential machines.
Theor. Comput. Sci. 358(1): 65-74 (2006) |
2005 |
6 | EE | 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 | EE | Daowen Qiu,
Huaiqing Wang:
A probabilistic model of computing with words.
J. Comput. Syst. Sci. 70(2): 176-200 (2005) |
2004 |
4 | EE | Daowen Qiu:
Characterizations of fuzzy finite automata.
Fuzzy Sets and Systems 141(3): 391-414 (2004) |
3 | EE | Daowen Qiu:
Fuzzifying topological linear spaces.
Fuzzy Sets and Systems 147(2): 249-272 (2004) |
2 | EE | Daowen Qiu:
Automata theory based on quantum logic: some characterizations.
Inf. Comput. 190(2): 179-195 (2004) |
1 | EE | Daowen Qiu,
Mingsheng Ying:
Characterizations of quantum automata.
Theor. Comput. Sci. 312(2-3): 479-489 (2004) |