Tadao Murata - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2006

Petri-net model and minimum cycle time for updating a moving objects databaseTadao Murata, Jaegeol Yim, Huabei Yin, Ouri Wolfson. csse, 21(3), 2006.

2005

Are the effects of vowel repetition influenced by frequencies? A corpus study on CVCVCV-structured nouns with and without vowel repetitionKatsuo Tamaoka, Shogo Makioka, Tadao Murata. glottometrics, 8:1-11, 2005.

2004

A Secure Mobile Agent System Model Based on Extended Elementary Object SystemLu Ma, Jeffrey J. P. Tsai, Tadao Murata. compsac 2004: 218-223 [doi]

2001

Reduction Methods for Real-Time Systems Using Delay Time Petri NetsEric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou. TSE, 27(5):422-448, 2001. [doi]

Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri NetsYi Zhou, Tadao Murata. jid, 5(4):23-37, 2001. [doi]

1999

Protocol Specification Design Using an Object-Based Petri Net FormalismVladimir P. Sliva, Tadao Murata, Sol M. Shatz. ijseke, 9(1):97-126, 1999. [doi]

Petri net model with fuzzy timing and fuzzy-metric temporal logicYi Zhou, Tadao Murata. ijis, 14(8):719-745, 1999. [doi]

1998

1996

1995

Petri-Net Methods for Reasoning in Real-Time Control SystemsTadao Murata, Jaegeol Yim. iscas 1995: 517-520

An Extended Petri Net Model for Normal Logic ProgramsTeruhiro Shimura, Jorge Lobo, Tadao Murata. tkde, 7(1):150-162, 1995. [doi]

1994

A ß-distributed stochastic petri net model for software project time/cost managementGang-Soo Lee, Tadao Murata. jss, 26(2):149-165, 1994. [doi]

Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software AnalysisMasato Notomi, Tadao Murata. TSE, 20(5):325-336, 1994. [doi]

1993

On reachability conditions for unrestricted Petri netsKohkichi Tsuji, Tadao Murata. iscas 1993: 2713-2716

1992

Hierarchically Organized Petri Net State Space for Reachability and Deadlock AnalysisMasato Notomi, Tadao Murata. ipps 1992: 616-623

A Petri Net Semantics for Logic Programs with NegationTeruhiro Shimura, Jorge Lobo, Tadao Murata. seke 1992: 292-299 [doi]

B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent SystemsManuel Silva, Tadao Murata. jcss, 44(3):447-477, 1992.

1991

Guest Editors Introduction Special Section on Petri Net Performance ModelsSadatoshi Kumagai, Tadao Murata, Shojiro Nishio. TSE, 17(2):97-98, 1991. [doi]

A Predicate-Transition Net Model for Multiple Agent PlanningTadao Murata, Peter C. Nelson, Jaegeol Yim. isci, 57-58:361-384, 1991. [doi]

A Petri Net Model for Reasoning in the Presence of InconsistencyTadao Murata, V. S. Subrahmanian, Toshiro Wakayama. tkde, 3(3):281-292, 1991. [doi]

1990

1989

Petri Net Method for Real-Time Control of Rule-Based SystemsTadao Murata, Jaegeol Yim. seke 1989: 122-127

Detection of Ada Static Deadlocks Using Petri Net InvariantsTadao Murata, Boris Shenker, Sol M. Shatz. TSE, 15(3):314-326, 1989. [doi]

Petri nets: Properties, analysis and applicationsTadao Murata. pieee, 77(4):541-580, 1989. [doi]

Proof Procedure and Answer Extraction in Petri Net Model of Logic ProgramsGeorge Peterka, Tadao Murata. TSE, 15(2):209-217, 1989. [doi]

1988

A Predicate-Transition Net Model for Parallel Interpretation of Logic ProgramsTadao Murata, Du Zhang. TSE, 14(4):481-497, 1988. [doi]

1987

Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock SynchronizationMeiliu Lu, Du Zhang, Tadao Murata. pnpm 1987: 104-110

1986

Use of Petri-Net Invariants to Detect Static Deadlocks in Ada ProgramsBoris Shenker, Tadao Murata, Sol M. Shatz. fjcc 1986: 1072-1081

1985

Workshop: Artificial Intelligence Research in JapanHarriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone. Computer, 18(9):83-90, 1985.

A Timed Petri Net Model and Simulation of a Dataflow ComputerT. Smigelski, Tadao Murata, Masahiro Sowa. pnpm 1985: 56-63

1983

Efficient Matrix Multiplications on a Concurrent Data-Loading Array ProcessorMing-Yang Chern, Tadao Murata. icpp 1983: 90-94

A Fast Algorithm for Concurrent LU Decomposition and Matrix InversionMing-Yang Chern, Tadao Murata. icpp 1983: 79-86

A Method for Stepwise Refinement and Abstraction of Petri NetsIchiro Suzuki, Tadao Murata. jcss, 27(1):51-76, 1983.

1982

The first international conference on the fifth generation computer systemsTadao Murata, Hisashi Kobayashi. pe, 2(3):207-212, 1982. [doi]

A Data Flow Computer Architecture with Program and Token MemoriesMasahiro Sowa, Tadao Murata. TC, 31(9):820-824, 1982.

1981

Stepwise Refinements of Transitions and PlacesIchiro Suzuki, Tadao Murata. apn 1982: 136-141

1980

Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and PerformanceTadao Murata. TSE, 6(6):525-530, 1980.

1979

Synthesis of marked graph computation models for prescribed resources and performanceTadao Murata. compsac 1979: 807-812 [doi]

Modeling and simulating data flow computations at machine language levelStone H. Yu, Tadao Murata. sigmetrics 1979: 207-213 [doi]

Modeling and simulating data flow computations at machine language levelStone H. Yu, Tadao Murata. sigmetrics, 8(3):207-213, 1979. [doi]

1966

A Topological Approach to the Stability of Time-Varying and Nonlinear NetworksTadao Murata. PhD thesis, University of Illinois Urbana-Champaign, USA, 1966. [doi]

Sign in or sign up to see more results.

runs on WebDSL