| 2004 |
|---|
| 39 | EE | 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 |
|---|
| 38 | EE | 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 |
|---|
| 37 | EE | 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-126 (1999) |
| 1998 |
|---|
| 36 | EE | 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) |
| 35 | EE | 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 |
|---|
| 34 | | Tadao Murata:
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.
Application and Theory of Petri Nets 1996: 11-28 |
| 33 | EE | Eric 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 |
| 31 | EE | 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) |
| 30 | EE | 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 |
|---|
| 29 | | Tadao Murata,
Jaegeol Yim:
Petri-Net Methods for Reasoning in Real-Time Control Systems.
ISCAS 1995: 517-520 |
| 28 | EE | 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 |
|---|
| 27 | EE | Masato Notomi,
Tadao Murata:
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.
IEEE Trans. Software Eng. 20(5): 325-336 (1994) |
| 26 | EE | 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 |
|---|
| 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 |
| 23 | EE | Teruhiro 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 |
|---|
| 21 | EE | 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) |
| 20 | EE | 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) |
| 19 | EE | Tadao 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) |
| 15 | EE | 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 |
|---|
| 14 | | Tadao Murata,
Jaegeol Yim:
Petri Net Method for Real-Time Control of Rule-Based Systems.
SEKE 1989: 122-127 |
| 13 | EE | 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) |
| 12 | EE | 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 |
|---|
| 11 | EE | 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 |
|---|
| 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) |
