2007 |
18 | EE | Daniel Y. Chao:
Correction to "Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons".
IEEE Transactions on Systems, Man, and Cybernetics, Part B 37(1): 248-249 (2007) |
2005 |
17 | EE | Daniel Y. Chao:
Reachability of nonsynchronized choice Petri nets and its applications.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(6): 1203-1213 (2005) |
16 | EE | Daniel Y. Chao:
Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets.
J. Inf. Sci. Eng. 21(1): 129-152 (2005) |
2001 |
15 | EE | Daniel Y. Chao,
Jose A. Nicdao:
Liveness for Synchronized Choice Petri Nets.
Comput. J. 44(2): 124-136 (2001) |
2000 |
14 | EE | Daniel Y. Chao:
A Fast Implementation for Recurrent DSP Scheduling Using Final Matrix.
J. Inf. Sci. Eng. 16(3): 391-422 (2000) |
1999 |
13 | EE | Daniel Y. Chao:
Petri Net Synthesis and Synchronization Using Knitting Technique.
J. Inf. Sci. Eng. 15(4): 543-568 (1999) |
1998 |
12 | EE | Daniel Y. Chao:
Application of a Synthesis Algorithm to Flexible Manufacturing System.
J. Inf. Sci. Eng. 14(2): 409-447 (1998) |
1997 |
11 | | Daniel Y. Chao,
David T. Wang:
Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 27(6): 962-977 (1997) |
10 | EE | Daniel Y. Chao:
Performance of Multi-Rate Data Flow Graphs for Concurrent Processing.
J. Inf. Sci. Eng. 13(1): 85-123 (1997) |
1994 |
9 | | Daniel Y. Chao,
David T. Wang:
The Knitting Technique and Its Application to Communication Protocol Synthesis.
MASCOTS 1994: 234-238 |
8 | | Daniel Y. Chao,
David T. Wang:
An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols.
MASCOTS 1994: 381-385 |
7 | | Daniel Y. Chao,
MengChu Zhou,
David T. Wang:
Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems.
Comput. J. 37(1): 67-76 (1994) |
6 | EE | Daniel Y. Chao,
David T. Wang:
A synthesis technique of general petri nets.
Journal of Systems Integration 4(1): 67-102 (1994) |
5 | | Daniel Y. Chao,
David T. Wang:
An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols.
Softw., Pract. Exper. 24(8): 747-783 (1994) |
1993 |
4 | | Daniel Y. Chao,
David T. Wang:
X-Window Implementation of Finding Critical Loop, Next-Critical Loops and Iteration Bounds of Data Flow Graphs.
MASCOTS 1993: 107-112 |
3 | | Daniel Y. Chao,
David T. Wang:
Minimum Marking for No Loop-Combination of General Petri Nets.
MASCOTS 1993: 265-270 |
2 | | Daniel Y. Chao,
David T. Wang,
D. C. Douglas Hung:
Convergence Time and Memory Capacity of Higher-order Hopfield Associative Memory with Multi-valued Neurons.
Comput. J. 36(6): 554-561 (1993) |
1 | EE | Yigang Chen,
Wei-Tek Tsai,
Daniel Y. Chao:
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.
IEEE Trans. Parallel Distrib. Syst. 4(4): 414-426 (1993) |