dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daniel Y. Chao Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuanJun Liu, Changjun Jiang, Daniel Y. Chao: A Necessary and Sufficient Condition for the Liveness of Normal Nets. Comput. J. 54(1): 157-163 (2011)
2010
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements). Comput. J. 53(10): 1783-1798 (2010)
2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Controllability for Siphons in S3PGR2. ETFA 2009: 1-7
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets. J. Inf. Sci. Eng. 21(1): 129-152 (2005)
2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao, Jose A. Nicdao: Liveness for Synchronized Choice Petri Nets. Comput. J. 44(2): 124-136 (2001)
2000
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: A Fast Implementation for Recurrent DSP Scheduling Using Final Matrix. J. Inf. Sci. Eng. 16(3): 391-422 (2000)
1999
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Petri Net Synthesis and Synchronization Using Knitting Technique. J. Inf. Sci. Eng. 15(4): 543-568 (1999)
1998
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Application of a Synthesis Algorithm to Flexible Manufacturing System. J. Inf. Sci. Eng. 14(2): 409-447 (1998)
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao: Performance of Multi-Rate Data Flow Graphs for Concurrent Processing. J. Inf. Sci. Eng. 13(1): 85-123 (1997)
1994
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao, David T. Wang: The Knitting Technique and Its Application to Communication Protocol Synthesis. MASCOTS 1994: 234-238
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao, David T. Wang: An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols. MASCOTS 1994: 381-385
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao, David T. Wang: A synthesis technique of general petri nets. Journal of Systems Integration 4(1): 67-102 (1994)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Y. Chao, David T. Wang: Minimum Marking for No Loop-Combination of General Petri Nets. MASCOTS 1993: 265-270
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYigang 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)

Coauthor Index

1Yigang Chen [1]
2D. C. Douglas Hung [2]
3Changjun Jiang [21]
4GuanJun Liu [21]
5Jose A. Nicdao [15]
6Wei-Tek Tsai [1]
7David T. Wang [2] [3] [4] [5] [6] [7] [8] [9] [11]
8MengChu Zhou (Mengchu Zhou) [7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page