Tadao Murata

Affiliations:
  • University of Illinois at Chicago, IL, USA


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

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1985, "For contributions to circuit-system theory, in particular, its applications to Petri nets and related system models.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2006
Petri-net model and minimum cycle time for updating a moving objects database.
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.
Glottometrics, 2005

2004
A Secure Mobile Agent System Model Based on Extended Elementary Object System.
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.
IEEE Trans. Software Eng., 2001

Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets.
Trans. SDPS, 2001

2000
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments.
IEEE Trans. Syst. Man Cybern. Part B, 2000

1999
Protocol Specification Design Using an Object-Based Petri Net Formalism.
Int. J. Softw. Eng. Knowl. Eng., 1999

Petri net model with fuzzy timing and fuzzy-metric temporal logic.
Int. J. Intell. Syst., 1999

1998
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
ACM Trans. Program. Lang. Syst., 1998

A Constructive Method for Finding Legal Transition Sequences in Petri Nets.
J. Circuits Syst. Comput., 1998

Fuzzy-timing Petri net model for distributed multimedia synchronization.
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.
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.
IEEE Trans. Parallel Distributed Syst., 1996

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.
IEEE Trans. Knowl. Data Eng., 1996

A Method for Applying G-Nets To Communication Protocols.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

A new compositional method for condensed state-space verification.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
An Extended Petri Net Model for Normal Logic Programs.
IEEE Trans. Knowl. Data Eng., 1995

Petri-Net Methods for Reasoning in Real-Time Control Systems.
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.
IEEE Trans. Software Eng., 1994

A ß-distributed stochastic petri net model for software project time/cost management.
J. Syst. Softw., 1994

1993
Oscillatory binocular system and temporal segmentation of stereoscopic depth surfaces.
Biol. Cybern., 1993

On reachability conditions for unrestricted Petri nets.
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.
J. Comput. Syst. Sci., 1992

A Petri Net Semantics for Logic Programs with Negation.
Proceedings of the SEKE'92, 1992

Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Petri Nets.
Proceedings of the Concise Encyclopedia of Modelling & Simulation, 1992

1991
Guest Editors' Introduction Special Section on Petri Net Performance Models.
IEEE Trans. Software Eng., 1991

A Petri Net Model for Reasoning in the Presence of Inconsistency.
IEEE Trans. Knowl. Data Eng., 1991

A Predicate-Transition Net Model for Multiple Agent Planning.
Inf. Sci., 1991

1990
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
IEEE Trans. Software Eng., 1990

Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.
IEEE Trans. Computers, 1990

A High-Level Petri Net for a Subset of FGHC.
Proceedings of the SEKE'90, 1990

Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.
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.
IEEE Trans. Software Eng., 1989

Detection of Ada Static Deadlocks Using Petri Net Invariants.
IEEE Trans. Software Eng., 1989

Petri nets: Properties, analysis and applications.
Proc. IEEE, 1989

Petri Net Method for Real-Time Control of Rule-Based Systems.
Proceedings of the SEKE'89, 1989

Automated protocol modeling and verification combining an entity-based specification language and Petri nets.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.
IEEE Trans. Software Eng., 1988

1987
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization.
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.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Workshop: Artificial Intelligence Research in Japan.
Computer, 1985

A Timed Petri Net Model and Simulation of a Dataflow Computer.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1983
A Method for Stepwise Refinement and Abstraction of Petri Nets.
J. Comput. Syst. Sci., 1983

Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor.
Proceedings of the International Conference on Parallel Processing, 1983

A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion.
Proceedings of the International Conference on Parallel Processing, 1983

1982
A Data Flow Computer Architecture with Program and Token Memories.
IEEE Trans. Computers, 1982

The first international conference on the fifth generation computer systems.
Perform. Evaluation, 1982

1981
Stepwise Refinements of Transitions and Places.
Proceedings of the Application and Theory of Petri Nets, 1981

1980
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.
IEEE Trans. Software Eng., 1980

1979
Modeling and simulating data flow computations at machine language level.
Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, 1979

Synthesis of marked graph computation models for prescribed resources and performance.
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
PhD thesis, 1966


  Loading...