Tadao Murata

54 papers A* 1A 1B 6C 6Journal 30Unranked 8
YearRankTypeTitle / Venue / Authors
2006 J jnl
Petri-net model and minimum cycle time for updating a moving objects database.
Comput. Syst. Sci. Eng.
Tadao Murata, Jaegeol Yim, Huabei Yin, Ouri Wolfson
2005 J jnl
Are the effects of vowel repetition influenced by frequencies? A corpus study on CVCVCV-structured nouns with and without vowel repetition.
Glottometrics
Katsuo Tamaoka, Shogo Makioka, Tadao Murata
2004 B conf
A Secure Mobile Agent System Model Based on Extended Elementary Object System.
COMPSAC
Lu Ma, Jeffrey J. P. Tsai, Tadao Murata
2001 J jnl
Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets.
Trans. SDPS
Yi Zhou, Tadao Murata
2001 J jnl
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.
IEEE Trans. Software Eng.
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou
2000 J jnl
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments.
IEEE Trans. Syst. Man Cybern. Part B
Yi Zhou, Tadao Murata, Thomas A. DeFanti
1999 J jnl
Petri net model with fuzzy timing and fuzzy-metric temporal logic.
Int. J. Intell. Syst.
Yi Zhou, Tadao Murata
1999 J jnl
Protocol Specification Design Using an Object-Based Petri Net Formalism.
Int. J. Softw. Eng. Knowl. Eng.
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
1998 J jnl
A Constructive Method for Finding Legal Transition Sequences in Petri Nets.
J. Circuits Syst. Comput.
Jeng S. Huang, Tadao Murata
1998 — conf
Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech.
ICSLP
Yasushi Terao, Tadao Murata
1998 J jnl
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
ACM Trans. Program. Lang. Syst.
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
1998 B conf
Fuzzy-timing Petri net model for distributed multimedia synchronization.
SMC
Yi Zhou, Tadao Murata
1996 J jnl
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.
IEEE Trans. Knowl. Data Eng.
John Jeffrey, Jorge Lobo, Tadao Murata
1996 C conf
A Method for Applying G-Nets To Communication Protocols.
SEKE
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
1996 — conf
A new compositional method for condensed state-space verification.
HASE
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
1996 J jnl
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.
IEEE Trans. Parallel Distributed Syst.
Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri
1996 — conf
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.
Application and Theory of Petri Nets
Tadao Murata
1995 J jnl
An Extended Petri Net Model for Normal Logic Programs.
IEEE Trans. Knowl. Data Eng.
Teruhiro Shimura, Jorge Lobo, Tadao Murata
1995 C conf
Petri-Net Methods for Reasoning in Real-Time Control Systems.
ISCAS
Tadao Murata, Jaegeol Yim
1994 J jnl
A ß-distributed stochastic petri net model for software project time/cost management.
J. Syst. Softw.
Gang-soo Lee, Tadao Murata
1994 J jnl
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.
IEEE Trans. Software Eng.
Masato Notomi, Tadao Murata
1993 C conf
On reachability conditions for unrestricted Petri nets.
ISCAS
Kohkichi Tsuji, Tadao Murata
1993 J jnl
Oscillatory binocular system and temporal segmentation of stereoscopic depth surfaces.
Biol. Cybern.
R. M. Wood, Tadao Murata, Hiroshi Shimizu
1992 C conf
A Petri Net Semantics for Logic Programs with Negation.
SEKE
Teruhiro Shimura, Jorge Lobo, Tadao Murata
1992 J jnl
B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems.
J. Comput. Syst. Sci.
Manuel Silva, Tadao Murata
1992 — conf
Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis.
IPPS
Masato Notomi, Tadao Murata
1992 — ch.
Petri Nets.
Concise Encyclopedia of Modelling & Simulation
Tadao Murata
1991 J jnl
A Petri Net Model for Reasoning in the Presence of Inconsistency.
IEEE Trans. Knowl. Data Eng.
Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama
1991 J jnl
A Predicate-Transition Net Model for Multiple Agent Planning.
Inf. Sci.
Tadao Murata, Peter C. Nelson, Jaegeol Yim
1991 J jnl
Guest Editors' Introduction Special Section on Petri Net Performance Models.
IEEE Trans. Software Eng.
Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio
1990 C conf
A High-Level Petri Net for a Subset of FGHC.
SEKE
John Jeffrey, Tadao Murata
1990 J jnl
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
IEEE Trans. Software Eng.
Toshinori Suzuki, Sol M. Shatz, Tadao Murata
1990 J jnl
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.
IEEE Trans. Computers
Meiliu Lu, Du Zhang, Tadao Murata
1990 A conf
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.
ICDCS
Shengru Tu, Sol M. Shatz, Tadao Murata
1989 B conf
Automated protocol modeling and verification combining an entity-based specification language and Petri nets.
COMPSAC
Sol M. Shatz, Toshinori Suzuki, Tadao Murata
1989 J jnl
Detection of Ada Static Deadlocks Using Petri Net Invariants.
IEEE Trans. Software Eng.
Tadao Murata, Boris Shenker, Sol M. Shatz
1989 C conf
Petri Net Method for Real-Time Control of Rule-Based Systems.
SEKE
Tadao Murata, Jaegeol Yim
1989 J jnl
Petri nets: Properties, analysis and applications.
Proc. IEEE
Tadao Murata
1989 J jnl
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.
IEEE Trans. Software Eng.
George Peterka, Tadao Murata
1988 J jnl
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.
IEEE Trans. Software Eng.
Tadao Murata, Du Zhang
1987 — conf
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization.
PNPM
Meiliu Lu, Du Zhang, Tadao Murata
1986 — conf
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.
FJCC
Boris Shenker, Tadao Murata, Sol M. Shatz
1985 — conf
A Timed Petri Net Model and Simulation of a Dataflow Computer.
PNPM
T. Smigelski, Tadao Murata, Masahiro Sowa
1985 J jnl
Workshop: Artificial Intelligence Research in Japan.
Computer
Harriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone
1983 B conf
A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion.
ICPP
Ming-Yang Chern, Tadao Murata
1983 J jnl
A Method for Stepwise Refinement and Abstraction of Petri Nets.
J. Comput. Syst. Sci.
Ichiro Suzuki, Tadao Murata
1983 B conf
Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor.
ICPP
Ming-Yang Chern, Tadao Murata
1982 J jnl
A Data Flow Computer Architecture with Program and Token Memories.
IEEE Trans. Computers
Masahiro Sowa, Tadao Murata
1982 J jnl
The first international conference on the fifth generation computer systems.
Perform. Evaluation
Tadao Murata, Hisashi Kobayashi
1981 — conf
Stepwise Refinements of Transitions and Places.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Ichiro Suzuki, Tadao Murata
1980 J jnl
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.
IEEE Trans. Software Eng.
Tadao Murata
1979 A* conf
Modeling and simulating data flow computations at machine language level.
SIGMETRICS
Stone H. Yu, Tadao Murata
1979 B conf
Synthesis of marked graph computation models for prescribed resources and performance.
COMPSAC
Tadao Murata
1966 — —
A Topological Approach to the Stability of Time-Varying and Nonlinear Networks
Tadao Murata