The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tadao Murata: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002