default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTadao Murata
Person information
- affiliation: University of Illinois at Chicago, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2006
[j30]Tadao Murata, Jaegeol Yim, Huabei Yin, Ouri Wolfson:
Petri-net model and minimum cycle time for updating a moving objects database. Comput. Syst. Sci. Eng. 21(3) (2006)- 2005
- [j29]Katsuo Tamaoka, Shogo Makioka, Tadao Murata:
Are the effects of vowel repetition influenced by frequencies? A corpus study on CVCVCV-structured nouns with and without vowel repetition. Glottometrics 8: 1-11 (2005) - 2004
- [c22]Lu Ma, Jeffrey J. P. Tsai, Tadao Murata:
A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223 - 2001
- [j28]Yi Zhou, Tadao Murata:
Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets. Trans. SDPS 5(4): 23-37 (2001) - [j27]Eric Y. T. Juan
, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou:
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Trans. Software Eng. 27(5): 422-448 (2001) - 2000
- [j26]Yi Zhou, Tadao Murata, Thomas A. DeFanti:
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Trans. Syst. Man Cybern. Part B 30(5): 737-756 (2000)
1990 – 1999
- 1999
- [j25]Yi Zhou, Tadao Murata:
Petri net model with fuzzy timing and fuzzy-metric temporal logic. Int. J. Intell. Syst. 14(8): 719-745 (1999) - [j24]Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
Protocol Specification Design Using an Object-Based Petri Net Formalism. Int. J. Softw. Eng. Knowl. Eng. 9(1): 97-125 (1999) - 1998
- [j23]Jeng S. Huang, Tadao Murata:
A Constructive Method for Finding Legal Transition Sequences in Petri Nets. J. Circuits Syst. Comput. 8(1): 189-222 (1998) - [j22]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Trans. Program. Lang. Syst. 20(5): 917-979 (1998) - [c21]Yasushi Terao, Tadao Murata:
Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech. ICSLP 1998 - [c20]Yi Zhou, Tadao Murata:
Fuzzy-timing Petri net model for distributed multimedia synchronization. SMC 1998: 244-249 - 1996
- [j21]John Jeffrey, Jorge Lobo, Tadao Murata:
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259 (1996) - [j20]Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri:
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. IEEE Trans. Parallel Distributed Syst. 7(12): 1307-1322 (1996) - [c19]Tadao Murata:
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. Application and Theory of Petri Nets 1996: 11-28 - [c18]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
A new compositional method for condensed state-space verification. HASE 1996: 104-111 - [c17]Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152 - 1995
- [j19]Teruhiro Shimura, Jorge Lobo, Tadao Murata:
An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995) - [c16]Tadao Murata, Jaegeol Yim:
Petri-Net Methods for Reasoning in Real-Time Control Systems. ISCAS 1995: 517-520 - 1994
- [j18]Gang-Soo Lee, Tadao Murata:
A ß-distributed stochastic petri net model for software project time/cost management. J. Syst. Softw. 26(2): 149-165 (1994) - [j17]Masato Notomi, Tadao Murata:
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994) - 1993
- [j16]R. M. Wood, Tadao Murata, Hiroshi Shimizu:
Oscillatory binocular system and temporal segmentation of stereoscopic depth surfaces. Biol. Cybern. 68(5): 381-391 (1993) - [c15]Kohkichi Tsuji, Tadao Murata:
On reachability conditions for unrestricted Petri nets. ISCAS 1993: 2713-2716 - 1992
- [j15]Manuel Silva, Tadao Murata:
B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. J. Comput. Syst. Sci. 44(3): 447-477 (1992) - [c14]Masato Notomi, Tadao Murata:
Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623 - [c13]Teruhiro Shimura, Jorge Lobo, Tadao Murata:
A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299 - [r1]Tadao Murata:
Petri Nets. Concise Encyclopedia of Modelling & Simulation 1992: 328-333 - 1991
- [j14]Tadao Murata, Peter C. Nelson, Jaegeol Yim:
A Predicate-Transition Net Model for Multiple Agent Planning. Inf. Sci. 57-58: 361-384 (1991) - [j13]Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama:
A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3(3): 281-292 (1991) - [j12]Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio:
Guest Editors' Introduction Special Section on Petri Net Performance Models. IEEE Trans. Software Eng. 17(2): 97-98 (1991) - 1990
- [j11]Meiliu Lu, Du Zhang, Tadao Murata:
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. IEEE Trans. Computers 39(5): 597-604 (1990) - [j10]Toshinori Suzuki, Sol M. Shatz, Tadao Murata:
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. IEEE Trans. Software Eng. 16(5): 523-536 (1990) - [c12]Shengru Tu, Sol M. Shatz, Tadao Murata:
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS 1990: 96-103 - [c11]John Jeffrey, Tadao Murata:
A High-Level Petri Net for a Subset of FGHC. SEKE 1990: 260-266
1980 – 1989
- 1989
- [j9]Tadao Murata:
Petri nets: Properties, analysis and applications. Proc. IEEE 77(4): 541-580 (1989) - [j8]George Peterka, Tadao Murata:
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng. 15(2): 209-217 (1989) - [j7]Tadao Murata, Boris Shenker, Sol M. Shatz:
Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15(3): 314-326 (1989) - [c10]Sol M. Shatz, Toshinori Suzuki, Tadao Murata:
Automated protocol modeling and verification combining an entity-based specification language and Petri nets. COMPSAC 1989: 580-587 - [c9]Tadao Murata, Jaegeol Yim:
Petri Net Method for Real-Time Control of Rule-Based Systems. SEKE 1989: 122-127 - 1988
- [j6]Tadao Murata, Du Zhang:
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497 (1988) - 1987
- [c8]Meiliu Lu, Du Zhang, Tadao Murata:
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. PNPM 1987: 104-110 - 1986
- [c7]Boris Shenker, Tadao Murata, Sol M. Shatz:
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081 - 1985
- [j5]Harriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone:
Workshop: Artificial Intelligence Research in Japan. Computer 18(9): 83-90 (1985) - [c6]T. Smigelski, Tadao Murata, Masahiro Sowa:
A Timed Petri Net Model and Simulation of a Dataflow Computer. PNPM 1985: 56-63 - 1983
- [j4]Ichiro Suzuki, Tadao Murata:
A Method for Stepwise Refinement and Abstraction of Petri Nets. J. Comput. Syst. Sci. 27(1): 51-76 (1983) - [c5]Ming-Yang Chern, Tadao Murata:
A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. ICPP 1983: 79-86 - [c4]Ming-Yang Chern, Tadao Murata:
Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor. ICPP 1983: 90-94 - 1982
- [j3]Tadao Murata, Hisashi Kobayashi:
The first international conference on the fifth generation computer systems. Perform. Evaluation 2(3): 207-212 (1982) - [j2]Masahiro Sowa, Tadao Murata:
A Data Flow Computer Architecture with Program and Token Memories. IEEE Trans. Computers 31(9): 820-824 (1982) - 1981
- [c3]Ichiro Suzuki, Tadao Murata:
Stepwise Refinements of Transitions and Places. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 136-141 - 1980
- [j1]Tadao Murata:
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. IEEE Trans. Software Eng. 6(6): 525-530 (1980)
1970 – 1979
- 1979
- [c2]Tadao Murata:
Synthesis of marked graph computation models for prescribed resources and performance. COMPSAC 1979: 807-812 - [c1]Stone H. Yu, Tadao Murata:
Modeling and simulating data flow computations at machine language level. SIGMETRICS 1979: 207-213
1960 – 1969
- 1966
- [b1]Tadao Murata:
A Topological Approach to the Stability of Time-Varying and Nonlinear Networks. University of Illinois Urbana-Champaign, USA, 1966
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
