Tadao Murata
Loading Google Thumbnails...
| 1996 |
|---|
| 6 | A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. John Jeffrey, Jorge Lobo, Tadao Murata. IEEE Trans. Knowl. Data Eng. (8): 241-259 (1996). Web SearchBibTeXDownload |
| 5 | An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri. IEEE Trans. Parallel Distrib. Syst. (7): 1307-1322 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 4 | An Extended Petri Net Model for Normal Logic Programs. Teruhiro Shimura, Jorge Lobo, Tadao Murata. IEEE Trans. Knowl. Data Eng. (7): 150-162 (1995). Web SearchBibTeXDownload |
| 1992 |
|---|
| 3 | A Petri Net Semantics for Logic Programs with Negation. Teruhiro Shimura, Jorge Lobo, Tadao Murata. SEKE 1992, 292-299. Web SearchBibTeXDownload |
| 1991 |
|---|
| 2 | A Petri Net Model for Reasoning in the Presence of Inconsistency. Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama. IEEE Trans. Knowl. Data Eng. (3): 281-292 (1991). Cited by 57Web SearchBibTeXDownload |
| 1 | Guest Editors' Introduction Special Section on Petri Net Performance Models. Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio. IEEE Trans. Software Eng. (17): 97-98 (1991). Web SearchBibTeXDownload |
from DBLP and Google Scholar
