Tadao Murata

	2004
41		Lu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223
	2001
40		Eric 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
39		Vladimir 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-125 (1999)
	1998
38		Yasushi Terao, Tadao Murata: Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech. ICSLP 1998
37		Eric 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)
36		Jeng 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
35		Tadao Murata: Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. Application and Theory of Petri Nets 1996: 11-28
34		Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111
33		Vladimir P. Sliva, Tadao Murata, Sol M. Shatz: A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152
32		John 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)
31		Sol 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
30		Tadao Murata, Jaegeol Yim: Petri-Net Methods for Reasoning in Real-Time Control Systems. ISCAS 1995: 517-520
29		Teruhiro 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
28		Masato Notomi, Tadao Murata: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994)
27		Gang-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
26		Kohkichi Tsuji, Tadao Murata: On reachability conditions for unrestricted Petri nets. ISCAS 1993: 2713-2716
	1992
25		Masato Notomi, Tadao Murata: Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623
24		Teruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299
23		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
22		Tadao 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)
21		Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio: Guest Editors' Introduction Special Section on Petri Net Performance Models. IEEE Trans. Software Eng. 17(2): 97-98 (1991)
20		Tadao Murata, Peter C. Nelson, Jaegeol Yim: A Predicate-Transition Net Model for Multiple Agent Planning. Inf. Sci. 57-58: 361-384 (1991)
	1990
19		Shengru Tu, Sol M. Shatz, Tadao Murata: Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS 1990: 96-103
18		John Jeffrey, Tadao Murata: A High-Level Petri Net for a Subset of FGHC. SEKE 1990: 260-266
17		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)
16		Toshinori 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
15		Tadao Murata, Jaegeol Yim: Petri Net Method for Real-Time Control of Rule-Based Systems. SEKE 1989: 122-127
14		George Peterka, Tadao Murata: Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng. 15(2): 209-217 (1989)
13		Tadao 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
12		Tadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497 (1988)
	1987
11		Meiliu Lu, Du Zhang, Tadao Murata: Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. PNPM 1987: 104-110
	1986
10		Boris Shenker, Tadao Murata, Sol M. Shatz: Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081
	1985
9		T. Smigelski, Tadao Murata, Masahiro Sowa: A Timed Petri Net Model and Simulation of a Dataflow Computer. PNPM 1985: 56-63
8		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
7		Ming-Yang Chern, Tadao Murata: A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. ICPP 1983: 79-86
6		Ming-Yang Chern, Tadao Murata: Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor. ICPP 1983: 90-94
5		Ichiro Suzuki, Tadao Murata: A Method for Stepwise Refinement and Abstraction of Petri Nets. J. Comput. Syst. Sci. 27(1): 51-76 (1983)
	1982
4		Masahiro Sowa, Tadao Murata: A Data Flow Computer Architecture with Program and Token Memories. IEEE Trans. Computers 31(9): 820-824 (1982)
3		Tadao Murata, Hisashi Kobayashi: The first international conference on the fifth generation computer systems. Perform. Eval. 2(3): 207-212 (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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page