Tadao Murata

According to our database, Tadao Murata authored at least 54 papers between 1966 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2006

Petri-net model and minimum cycle time for updating a moving objects database.

Tadao Murata, Jaegeol Yim, Huabei Yin, Ouri Wolfson

Comput. Syst. Sci. Eng., 2006

2005

Are the effects of vowel repetition influenced by frequencies? A corpus study on CVCVCV-structured nouns with and without vowel repetition.

Katsuo Tamaoka, Shogo Makioka, Tadao Murata

Glottometrics, 2005

2004

A Secure Mobile Agent System Model Based on Extended Elementary Object System.

Lu Ma, Jeffrey J. P. Tsai, Tadao Murata

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2001

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou

IEEE Trans. Software Eng., 2001

Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets.

Yi Zhou, Tadao Murata

Trans. SDPS, 2001

2000

Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments.

Yi Zhou, Tadao Murata, Thomas A. DeFanti

IEEE Trans. Syst. Man Cybern. Part B, 2000

1999

Protocol Specification Design Using an Object-Based Petri Net Formalism.

Vladimir P. Sliva, Tadao Murata, Sol M. Shatz

Int. J. Softw. Eng. Knowl. Eng., 1999

Petri net model with fuzzy timing and fuzzy-metric temporal logic.

Yi Zhou, Tadao Murata

Int. J. Intell. Syst., 1999

1998

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

ACM Trans. Program. Lang. Syst., 1998

A Constructive Method for Finding Legal Transition Sequences in Petri Nets.

Jeng S. Huang, Tadao Murata

J. Circuits Syst. Comput., 1998

Fuzzy-timing Petri net model for distributed multimedia synchronization.

Yi Zhou, Tadao Murata

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech.

Yasushi Terao, Tadao Murata

Proceedings of the 5th International Conference on Spoken Language Processing, Incorporating The 7th Australian International Speech Science and Technology Conference, Sydney Convention Centre, Sydney, Australia, 30th November, 1998

1996

An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.

Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri

IEEE Trans. Parallel Distributed Syst., 1996

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.

John Jeffrey, Jorge Lobo, Tadao Murata

IEEE Trans. Knowl. Data Eng., 1996

A Method for Applying G-Nets To Communication Protocols.

Vladimir P. Sliva, Tadao Murata, Sol M. Shatz

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

A new compositional method for condensed state-space verification.

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.

Tadao Murata

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

An Extended Petri Net Model for Normal Logic Programs.

Teruhiro Shimura, Jorge Lobo, Tadao Murata

IEEE Trans. Knowl. Data Eng., 1995

Petri-Net Methods for Reasoning in Real-Time Control Systems.

Tadao Murata, Jaegeol Yim

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

1994

Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.

Masato Notomi, Tadao Murata

IEEE Trans. Software Eng., 1994

A ß-distributed stochastic petri net model for software project time/cost management.

Gang-Soo Lee, Tadao Murata

J. Syst. Softw., 1994

1993

Oscillatory binocular system and temporal segmentation of stereoscopic depth surfaces.

R. M. Wood, Tadao Murata, Hiroshi Shimizu

Biol. Cybern., 1993

On reachability conditions for unrestricted Petri nets.

Kohkichi Tsuji, Tadao Murata

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

1992

B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems.

Manuel Silva, Tadao Murata

J. Comput. Syst. Sci., 1992

A Petri Net Semantics for Logic Programs with Negation.

Teruhiro Shimura, Jorge Lobo, Tadao Murata

Proceedings of the SEKE'92, 1992

Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis.

Masato Notomi, Tadao Murata

Proceedings of the 6th International Parallel Processing Symposium, 1992

Petri Nets.

Tadao Murata

Proceedings of the Concise Encyclopedia of Modelling & Simulation, 1992

1991

Guest Editors' Introduction Special Section on Petri Net Performance Models.

Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio

IEEE Trans. Software Eng., 1991

A Petri Net Model for Reasoning in the Presence of Inconsistency.

Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama

IEEE Trans. Knowl. Data Eng., 1991

A Predicate-Transition Net Model for Multiple Agent Planning.

Tadao Murata, Peter C. Nelson, Jaegeol Yim

Inf. Sci., 1991

1990

A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.

Toshinori Suzuki, Sol M. Shatz, Tadao Murata

IEEE Trans. Software Eng., 1990

Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.

Meiliu Lu, Du Zhang, Tadao Murata

IEEE Trans. Computers, 1990

A High-Level Petri Net for a Subset of FGHC.

John Jeffrey, Tadao Murata

Proceedings of the SEKE'90, 1990

Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.

Shengru Tu, Sol M. Shatz, Tadao Murata

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.

George Peterka, Tadao Murata

IEEE Trans. Software Eng., 1989

Detection of Ada Static Deadlocks Using Petri Net Invariants.

Tadao Murata, Boris Shenker, Sol M. Shatz

IEEE Trans. Software Eng., 1989

Petri nets: Properties, analysis and applications.

Tadao Murata

Proc. IEEE, 1989

Petri Net Method for Real-Time Control of Rule-Based Systems.

Tadao Murata, Jaegeol Yim

Proceedings of the SEKE'89, 1989

Automated protocol modeling and verification combining an entity-based specification language and Petri nets.

Sol M. Shatz, Toshinori Suzuki, Tadao Murata

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.

Tadao Murata, Du Zhang

IEEE Trans. Software Eng., 1988

1987

Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization.

Meiliu Lu, Du Zhang, Tadao Murata

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1986

Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.

Boris Shenker, Tadao Murata, Sol M. Shatz

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Workshop: Artificial Intelligence Research in Japan.

Harriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone

Computer, 1985

A Timed Petri Net Model and Simulation of a Dataflow Computer.

T. Smigelski, Tadao Murata, Masahiro Sowa

Proceedings of the International Workshop on Timed Petri Nets, 1985

1983

A Method for Stepwise Refinement and Abstraction of Petri Nets.

Ichiro Suzuki, Tadao Murata

J. Comput. Syst. Sci., 1983

Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor.

Ming-Yang Chern, Tadao Murata

Proceedings of the International Conference on Parallel Processing, 1983

A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion.

Ming-Yang Chern, Tadao Murata

Proceedings of the International Conference on Parallel Processing, 1983

1982

A Data Flow Computer Architecture with Program and Token Memories.

Masahiro Sowa, Tadao Murata

IEEE Trans. Computers, 1982

The first international conference on the fifth generation computer systems.

Tadao Murata, Hisashi Kobayashi

Perform. Evaluation, 1982

1981

Stepwise Refinements of Transitions and Places.

Ichiro Suzuki, Tadao Murata

Proceedings of the Application and Theory of Petri Nets, 1981

1980

Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.

Tadao Murata

IEEE Trans. Software Eng., 1980

1979

Modeling and simulating data flow computations at machine language level.

Stone H. Yu, Tadao Murata

Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, 1979

Synthesis of marked graph computation models for prescribed resources and performance.

Tadao Murata

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1966

A Topological Approach to the Stability of Time-Varying and Nonlinear Networks

Tadao Murata

PhD thesis, 1966