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

Tadao Murata Vis

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

*2004
39EELu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223
2001
38EEEric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou: Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Trans. Software Eng. 27(5): 422-448 (2001)
1999
37EEVladimir P. Sliva, Tadao Murata, Sol M. Shatz: Protocol Specification Design Using an Object-Based Petri Net Formalism. International Journal of Software Engineering and Knowledge Engineering 9(1): 97-126 (1999)
1998
36EEEric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Trans. Program. Lang. Syst. 20(5): 917-979 (1998)
35EEJeng S. Huang, Tadao Murata: A Constructive Method for Finding Legal Transition Sequences in Petri Nets. Journal of Circuits, Systems, and Computers 8(1): 189-222 (1998)
1996
34EETadao Murata: Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. Application and Theory of Petri Nets 1996: 11-28
33EEEric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111
32 Vladimir P. Sliva, Tadao Murata, Sol M. Shatz: A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152
31EEJohn Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259 (1996)
30EESol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri: An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. IEEE Trans. Parallel Distrib. Syst. 7(12): 1307-1322 (1996)
1995
29 Tadao Murata, Jaegeol Yim: Petri-Net Methods for Reasoning in Real-Time Control Systems. ISCAS 1995: 517-520
28EETeruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995)
1994
27EEMasato Notomi, Tadao Murata: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994)
26EEGang-Soo Lee, Tadao Murata: A ß-distributed stochastic petri net model for software project time/cost management. Journal of Systems and Software 26(2): 149-165 (1994)
1993
25 Kohkichi Tsuji, Tadao Murata: On reachability conditions for unrestricted Petri nets. ISCAS 1993: 2713-2716
1992
24 Masato Notomi, Tadao Murata: Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623
23EETeruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299
22 Manuel Silva, Tadao Murata: B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. J. Comput. Syst. Sci. 44(3): 447-477 (1992)
1991
21EETadao Murata, V. S. Subrahmanian, Toshiro Wakayama: A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3(3): 281-292 (1991)
20EESadatoshi Kumagai, Tadao Murata, Shojiro Nishio: Guest Editors' Introduction Special Section on Petri Net Performance Models. IEEE Trans. Software Eng. 17(2): 97-98 (1991)
19EETadao Murata, Peter C. Nelson, Jaegeol Yim: A Predicate-Transition Net Model for Multiple Agent Planning. Inf. Sci. 57-58: 361-384 (1991)
1990
18 Shengru Tu, Sol M. Shatz, Tadao Murata: Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS 1990: 96-103
17 John Jeffrey, Tadao Murata: A High-Level Petri Net for a Subset of FGHC. SEKE 1990: 260-266
16 Meiliu Lu, Du Zhang, Tadao Murata: Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. IEEE Trans. Computers 39(5): 597-604 (1990)
15EEToshinori Suzuki, Sol M. Shatz, Tadao Murata: A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. IEEE Trans. Software Eng. 16(5): 523-536 (1990)
1989
14 Tadao Murata, Jaegeol Yim: Petri Net Method for Real-Time Control of Rule-Based Systems. SEKE 1989: 122-127
13EEGeorge Peterka, Tadao Murata: Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng. 15(2): 209-217 (1989)
12EETadao Murata, Boris Shenker, Sol M. Shatz: Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15(3): 314-326 (1989)
1988
11EETadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497 (1988)
1987
10 Meiliu Lu, Du Zhang, Tadao Murata: Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. PNPM 1987: 104-110
1986
9 Boris Shenker, Tadao Murata, Sol M. Shatz: Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081
1985
8 T. Smigelski, Tadao Murata, Masahiro Sowa: A Timed Petri Net Model and Simulation of a Dataflow Computer. PNPM 1985: 56-63
7 Harriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone: Workshop: Artificial Intelligence Research in Japan. IEEE Computer 18(9): 83-90 (1985)
1983
6 Ming-Yang Chern, Tadao Murata: A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. ICPP 1983: 79-86
5 Ming-Yang Chern, Tadao Murata: Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor. ICPP 1983: 90-94
4 Ichiro Suzuki, Tadao Murata: A Method for Stepwise Refinement and Abstraction of Petri Nets. J. Comput. Syst. Sci. 27(1): 51-76 (1983)
1982
3 Masahiro Sowa, Tadao Murata: A Data Flow Computer Architecture with Program and Token Memories. IEEE Trans. Computers 31(9): 820-824 (1982)
1981
2 Ichiro Suzuki, Tadao Murata: Stepwise Refinements of Transitions and Places. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 136-141
1980
1 Tadao Murata: Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. IEEE Trans. Software Eng. 6(6): 525-530 (1980)

Coauthor Index

1Taylor L. Booth [7]
2Faye A. Briggs [7]
3Ming-Yang Chern [5] [6]
4Sastry Duri [30]
5Jeng S. Huang [35]
6John Jeffrey [17] [31]
7Eric Y. T. Juan [33] [36] [38]
8Sadatoshi Kumagai [20]
9Gang-Soo Lee [26]
10Jorge Lobo [23] [28] [31]
11Meiliu Lu [10] [16]
12Lu Ma [39]
13Peter C. Nelson [19]
14Shojiro Nishio (Shojiro Muro) [20]
15Masato Notomi [24] [27]
16George Peterka [13]
17Harriett B. Rigas [7]
18Sol M. Shatz [9] [12] [15] [18] [30] [32] [37]
19Boris Shenker [9] [12]
20Teruhiro Shimura [23] [28]
21Manuel Silva [22]
22Vladimir P. Sliva [32] [37]
23T. Smigelski [8]
24Masahiro Sowa [3] [8]
25Harold S. Stone [7]
26V. S. Subrahmanian [21]
27Ichiro Suzuki [2] [4]
28Toshinori Suzuki [15]
29Jeffrey J. P. Tsai [33] [36] [38] [39]
30Kohkichi Tsuji [25]
31Shengru Tu [18] [30]
32Toshiro Wakayama [21]
33Jaegeol Yim [14] [19] [29]
34Du Zhang [10] [11] [16]
35Yi Zhou [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)