| 2012 | ICFEM | Toward Practical Application of Formal Methods in Software Lifecycle Processes. | Mario Tokoro |
| 2011 | DSN | WOSD 2011 the first international workshop on open systems dependability. | Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre |
| 2011 | DSN | WOSD 2011: The first international workshop on open systems dependability. | Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre |
| 1997 | IJCAI | An Adaptive Architecture for Modular Q-Learning. | Takayuki Kohri, Kei Matsubayashi, Mario Tokoro |
| 1996 | ICDCS | Integrating Routing and Resource Reservation Mechanisms in Real-time Multicast Protocols. | Seiji Murata, Atsushi Shionozaki, Mario Tokoro |
| 1995 | ECOOP | Time and Asynchrony in Interactions among Distributed Real-Time Objects. | Ichiro Satoh, Mario Tokoro |
| 1995 | ICDCS | A Multiversion Concurrent Object Model for Distributed and Multiuser Environments. | Toshio Hirotsu, Hiroko Fujii, Mario Tokoro |
| 1995 | IJCAI | The Trailblazer Search with a Hierarchical Abstract Map. | Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro |
| 1995 | OOPSLA | SCONE: Using Concurrent Objects for Low-level Operating System Programming. | Jun-ichiro Itoh, Yasuhiko Yokote, Mario Tokoro |
| 1995 | RTCSA | Constructing distributed real-time systems with DROL real-time objects. | Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro |
| 1994 | AAAI | The Trailblazer Search: A New Method for Searching and Capturing Moving Targets. | Fumihiko Chimura, Mario Tokoro |
| 1994 | ICDCS | A Network Architecture for Reliable Process Group Communication. | Seiji Murata, Atsushi Shionozaki, Mario Tokoro |
| 1993 | CoopIS | A Negotiation Protocol for Conflict Resolution in Multi-Agent Environments. | R. Kakehi, Mario Tokoro |
| 1993 | ECOOP | A Timed Calculus for Distributed Objects with Clocks. | Ichiro Satoh, Mario Tokoro |
| 1993 | IJCAI | A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. | Kei Matsubayashi, Mario Tokoro |
| 1993 | SIGCOMM | Control Handling in Real-Time Communication Protocols. | Atsushi Shionozaki, Mario Tokoro |
| 1992 | ICDCS | Design, Implementation, and Evaluation of Virtual Internet Protocol. | Fumio Teraoka, Kimberly C. Claffy, Mario Tokoro |
| 1992 | OOPSLA | A Formalism for Real-Time Concurrent Object-Oriented Computing. | Ichiro Satoh, Mario Tokoro |
| 1992 | OOPSLA | DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems. | Kazunori Takashio, Mario Tokoro |
| 1992 | PSC | Asynchrony and Real-Time in Distributed Systems. | Mario Tokoro, Ichiro Satoh |
| 1991 | ECOOP | An Object Calculus for Asynchronous Communication. | Kohei Honda, Mario Tokoro |
| 1991 | SIGCOMM | A Network Architecture Providing Host Migration Transparency. | Fumio Teraoka, Yasuhiko Yokote, Mario Tokoro |
| 1989 | CONCUR | The Computational Field Model for Open Distributed Environments. | Mario Tokoro, Kohei Honda |
| 1989 | ECOOP | A Reflective Architecture for an Object-Oriented Distributed Operating System. | Yasuhiko Yokote, Fumio Teraoka, Mario Tokoro |
| 1987 | ECOOP | Behavioral Simulation Based on Knowledge Objects. | Takeo Maruichi, Tetsuya Uchiki, Mario Tokoro |
| 1987 | ICS | Half-Dynamic Scheduling with Data-flow Control. | Hideki Sunahara, Mario Tokoro |
| 1987 | OOPSLA | Experience and Evolution of ConcurrentSmalltalk. | Yasuhiko Yokote, Mario Tokoro |
| 1986 | ICCC | LAN Technology: Status and Standardization. | Mario Tokoro |
| 1986 | OOPSLA | A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation. | Yutaka Ishikawa, Mario Tokoro |
| 1986 | OOPSLA | The Design and Implementation of ConcurrentSmalltalk. | Yasuhiko Yokote, Mario Tokoro |
| 1984 | ISCA | The Design of an Object Oriented Architecture. | Yutaka Ishikawa, Mario Tokoro |
| 1983 | ISCA | On the Working Set Concept for Data-Flow Machines | Mario Tokoro, J. R. Jagannathan, Hideki Sunahara |
| 1982 | ISCA | On the semantic structure of information - A proposal of the abstract storage architecture. | Mario Tokoro, Takashi Takizuka |
| 1980 | ISCA | A High-Level Multi-Lingual Multiprocessor KMP. | Mario Tokoro, Kiichiro Tamaru, Masaaki Mizuno, Masao Hori |
| 1979 | MICRO | Hierarchical microprogram generating system. | Eiji Tamura, Mario Tokoro |
| 1978 | DAC | A module level simulation technique for systems composed of LSI's and MSI's. | Mario Tokoro, Masayuki Sato, Masayuki Ishigami, Euji Tamura, Terunobu Ishimitsu, Hisashi Ohara |
| 1978 | MICRO | A technique of global optimization of microprograms. | Mario Tokoro, Takashi Takizuka, Eiji Tamura, Ichiro Yamaura |
| 1977 | MICRO | An approach to microprogram optimization considering resource occupancy and instruction formats. | Mario Tokoro, Eiji Tamura, Kazuhiko Takase, Kiichiro Tamaru |