| 2004 | COMPSAC | A Secure Mobile Agent System Model Based on Extended Elementary Object System. | Lu Ma, Jeffrey J. P. Tsai, Tadao Murata |
| 1998 | Interspeech | Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech. | Yasushi Terao, Tadao Murata |
| 1998 | SMC | Fuzzy-timing Petri net model for distributed multimedia synchronization. | Yi Zhou, Tadao Murata |
| 1996 | SEKE | A Method for Applying G-Nets To Communication Protocols. | Vladimir P. Sliva, Tadao Murata, Sol M. Shatz |
| 1995 | ISCAS | Petri-Net Methods for Reasoning in Real-Time Control Systems. | Tadao Murata, Jaegeol Yim |
| 1993 | ISCAS | On reachability conditions for unrestricted Petri nets. | Kohkichi Tsuji, Tadao Murata |
| 1992 | SEKE | A Petri Net Semantics for Logic Programs with Negation. | Teruhiro Shimura, Jorge Lobo, Tadao Murata |
| 1990 | ICDCS | Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. | Shengru Tu, Sol M. Shatz, Tadao Murata |
| 1990 | SEKE | A High-Level Petri Net for a Subset of FGHC. | John Jeffrey, Tadao Murata |
| 1989 | COMPSAC | Automated protocol modeling and verification combining an entity-based specification language and Petri nets. | Sol M. Shatz, Toshinori Suzuki, Tadao Murata |
| 1989 | SEKE | Petri Net Method for Real-Time Control of Rule-Based Systems. | Tadao Murata, Jaegeol Yim |
| 1983 | ICPP | A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. | Ming-Yang Chern, Tadao Murata |
| 1983 | ICPP | Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor. | Ming-Yang Chern, Tadao Murata |
| 1979 | COMPSAC | Synthesis of marked graph computation models for prescribed resources and performance. | Tadao Murata |
| 1979 | SIGMETRICS | Modeling and simulating data flow computations at machine language level. | Stone H. Yu, Tadao Murata |