2008 |
11 | EE | Victor R. L. Shen,
Tony Tong-Ying Juang:
Verification of Knowledge-Based Systems Using Predicate/Transition Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 78-87 (2008) |
2007 |
10 | | Victor R. L. Shen,
Tong-Ying Juang,
Cheng-Ying Yang:
A Problem-Based Learning System with Website Assistance.
CSREA EEE 2007: 16-19 |
2006 |
9 | EE | Victor R. L. Shen:
Knowledge Representation Using High-Level Fuzzy Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1220-1227 (2006) |
8 | EE | Victor R. L. Shen:
A PN-based approach to the high-level synthesis of digital systems.
Integration 39(3): 182-204 (2006) |
2005 |
7 | | Victor R. L. Shen:
Using Agent Technology to Improve the Quality of Artificial Intelligence Instruction.
DMS 2005: 151-154 |
6 | EE | Victor R. L. Shen,
Tzer-Shyong Chen,
Kai-Quan Shai:
A novel cryptosystem based on grey system theory and genetic algorithm.
Applied Mathematics and Computation 170(2): 1290-1302 (2005) |
2003 |
5 | | Victor R. L. Shen:
Reinforcement learning for high-level fuzzy Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 33(2): 351-362 (2003) |
2002 |
4 | | Victor R. L. Shen,
Tzer-Shyong Chen:
A Novel Key Management Scheme Based on Discrete Logarithms and Polynomial Interpolations.
Computers & Security 21(2): 164-171 (2002) |
3 | | Victor R. L. Shen,
F. H. C. Shen:
Requirements specification and analysis of fault-tolerant digital systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 32(1): 149-159 (2002) |
2000 |
2 | | Victor R. L. Shen:
Correctness in hierarchical knowledge-based requirements.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(4): 625-631 (2000) |
1998 |
1 | | Victor R. L. Shen,
Feipei Lai:
Requirements specification and analysis of digital systems using fuzzy and marked Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 28(5): 748-754 (1998) |