Mario Tokoro

Mario Tokoro: Toward Practical Application of Formal Methods in Software Lifecycle Processes. ICFEM 2012: 1

Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre: WOSD 2011 the first international workshop on open systems dependability. DSN 2011: 593-594

Mario Tokoro: Communications and open systems. IUCS 2009: 12-13

Takahiro Sasaki, Mario Tokoro: Comparison between Lamarckian and Darwinian Evolution on a Model Using Neural Networks and Genetic Algorithms. Knowl. Inf. Syst. 2(2): 201-222 (2000)

Takahiro Sasaki, Mario Tokoro: Evolving Learnable Neutral Networks Under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison Between Darwinian and Lamarckian Evolution. Artificial Life 5(3): 203-223 (1999)

Yuka Yamamoto, Takahiro Sasaki, Mario Tokoro: Adaptability of Darwinian and Lamarckian Populations toward an Unknown New World. ECAL 1999: 39-48

Takahiro Sasaki, Mario Tokoro: Adaptation under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison between Darwinian and Lamarckian Evolution. SEAL 1998: 34-41

Mario Tokoro: Back to Home: Where Computers and Networking Should Go. WWCA 1998: 32-37

Takayuki Kohri, Kei Matsubayashi, Mario Tokoro: An Adaptive Architecture for Modular Q-Learning. IJCAI (2) 1997: 820-825

Yasuaki Honda, Mario Tokoro: Reflection and Time-Dependent Computing: Experiences with the R2 Architecture. Lisp and Symbolic Computation 9(2-3): 243-277 (1996)

Kazunori Takashio, Mario Tokoro: Least Suffering Strategy in Distributed Real-Time Programming Language DROL. Real-Time Systems 11(1): 41-70 (1996)

Mario Tokoro: An Agent Is an Individual That Has Consciousness. ATAL 1996: 45-46

Seiji Murata, Atsushi Shionozaki, Mario Tokoro: Integrating Routing and Resource Reservation Mechanisms in Real-time Multicast Protocols. ICDCS 1996: 141-149

Toru Ohira, Ryusuke Sawatari, Mario Tokoro: Distributed Interaction with Computon. MAAMAW 1996: 149-162

Toshio Hirotsu, Hiroko Fujii, Mario Tokoro: A multiversion mechanism for intra-object concurrency. Distributed Systems Engineering 2(4): 192-201 (1995)

Remo Pareschi, Mario Tokoro: Introduction to the Special Issue. TAPOS 1(1): 3 (1995)

Luc Steels, Mario Tokoro: Artificial Life and Real World Computing. Computer Science Today 1995: 15-28

Ichiro Satoh, Mario Tokoro: Time and Asynchrony in Interactions among Distributed Real-Time Objects. ECOOP 1995: 331-350

Toshio Hirotsu, Hiroko Fujii, Mario Tokoro: A Multiversion Concurrent Object Model for Distributed and Multiuser Environments. ICDCS 1995: 271-278

Joachim Baczewski, Mario Tokoro: Linear Prediction in a Multi-Agent Environment. ICMAS 1995: 438

Fumihiko Chimura, Mario Tokoro: Map Making as a Support for Cooperation. ICMAS 1995: 442

Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro: The Trailblazer Search with a Hierarchical Abstract Map. IJCAI 1995: 259-265

Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro: Design and Implementation of DROL Runtime Environment on Real-Time Mach Kernel. OBPDC 1995: 257-272

Jun-ichiro Itoh, Yasuhiko Yokote, Mario Tokoro: SCONE: Using Concurrent Objects for Low-level Operating System Programming. OOPSLA 1995: 385-398

Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro: Constructing distributed real-time systems with DROL real-time objects. RTCSA 1995: 142-149

Mario Tokoro: The society of objects. OOPS Messenger 5(2): 3-12 (1994)

Fumihiko Chimura, Mario Tokoro: The Trailblazer Search: A New Method for Searching and Capturing Moving Targets. AAAI 1994: 1347-1352

Ichiro Satoh, Mario Tokoro: Semantics for a Real-Time Object-Oriented Programming Language. ICCL 1994: 159-170

Seiji Murata, Atsushi Shionozaki, Mario Tokoro: A Network Architecture for Reliable Process Group Communication. ICDCS 1994: 66-73

Mario Tokoro: Agents: Towards a Society in Which Humans and Computer Cohabitate. MAAMAW 1994: 1-10

Kei Matsubayashi, Mario Tokoro: A Collaboration Strategy for Receptive Encounters. MAAMAW 1994: 123-134

Ichiro Satoh, Mario Tokoro: A Formalism for Remotely Interacting Processes. Theory and Practice of Parallel Programming 1994: 216-228

Mario Tokoro, Remo Pareschi (Eds.): Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994. Lecture Notes in Computer Science 821, Springer 1994, isbn 3-540-58202-9

R. Kakehi, Mario Tokoro: A Negotiation Protocol for Conflict Resolution in Multi-Agent Environments. CoopIS 1993: 185-196

Ichiro Satoh, Mario Tokoro: A Timed Calculus for Distributed Objects with Clocks. ECOOP 1993: 326-345

Mario Tokoro, Kazunori Takashio: Toward Languages and Formal Systems for Distributed Computing. ECOOP Workshop 1993: 93-110

Tatsuo Minohara, Ryuichi Watanabe, Mario Tokoro: Queries on Structures in Hypertext. FODO 1993: 394-411

Kei Matsubayashi, Mario Tokoro: A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. IJCAI 1993: 346-351

Hideaki Okamura, Yutaka Ishikawa, Mario Tokoro: Metalevel Decomposition in AL-1/D. ISOTAS 1993: 110-127

Vasco Thudichum Vasconcelos, Mario Tokoro: A Typing System for a Calculus of Objects. ISOTAS 1993: 460-474

Atsushi Shionozaki, Mario Tokoro: Control Handling in Real-Time Communication Protocols. SIGCOMM 1993: 149-159

Shigeru Watari, Yasuaki Honda, Mario Tokoro: Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge. FGCS 1992: 1044-1051

Fumio Teraoka, Kimberly C. Claffy, Mario Tokoro: Design, Implementation, and Evaluation of Virtual Internet Protocol. ICDCS 1992: 170-177

Kazunori Takashio, Mario Tokoro: DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems. OOPSLA 1992: 276-294

Ichiro Satoh, Mario Tokoro: A Formalism for Real-Time Concurrent Object-Oriented Computing. OOPSLA 1992: 315-326

Mario Tokoro, Ichiro Satoh: Asynchrony and Real-Time in Distributed Systems. Parallel Symbolic Computing 1992: 318-330

Yasuhiko Yokote, Mario Tokoro: The new structure of an operating system: the Apertos approach. ACM SIGOPS European Workshop 1992

Mario Tokoro, Oscar Nierstrasz, Peter Wegner (Eds.): Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Lecture Notes in Computer Science 612, Springer 1992, isbn 3-540-55613-3

Kohei Honda, Mario Tokoro: A small calculus for concurrent objects. OOPS Messenger 2(2): 50-54 (1991)

Minoru Uehara, Mario Tokoro: An adaptive load balancing method in the computational field model. OOPS Messenger 2(2): 109-113 (1991)

Yasuhiko Yokote, Fumio Teraoka, Atsushi Mitsuzawa, Nobuhisa Fujinami, Mario Tokoro: The Muse Object Architecture: A New Operating System Structuring Concept. Operating Systems Review 25(2): 22-46 (1991)

Mario Tokoro: Toward Computing Systems for the 2000s. Operating Systems of the 90s and Beyond 1991: 233-240

Tatsuo Minohara, Mario Tokoro: Providing Dynamic Type Abstractions and Specifications for Persistent Information. DOOD 1991: 332-354

Kohei Honda, Mario Tokoro: An Object Calculus for Asynchronous Communication. ECOOP 1991: 133-147

Kohei Honda, Mario Tokoro: On Asynchronous Communication Semantics. Object-Based Concurrent Computing 1991: 21-51

Vasco Thudichum Vasconcelos, Mario Tokoro: Traces Semantics for Actor Systems. Object-Based Concurrent Computing 1991: 141-162

Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa: What Is An Object? Object-Based Concurrent Computing 1991: 257-264

Fumio Teraoka, Yasuhiko Yokote, Mario Tokoro: A Network Architecture Providing Host Migration Transparency. SIGCOMM 1991: 209-220

John Potter, Mario Tokoro, Bertrand Meyer (Eds.): TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. Prentice Hall 1991, isbn 0-13-926940-1

Tatsuo Nakajima, Yasuhiko Yokote, Mario Tokoro, Shinichi Ochiai, Tatsuo Nagamatsu: Distributed concurrent smalltalk: a language and system for the interpersonal environment. SIGPLAN Notices 24(4): 43-45 (1989)

Minoru Uehara, Chisato Numaoka, Yasuhiko Yokote, Mario Tokoro: Sarek: a window system interface for object-oriented concurrent programming languages. SIGPLAN Notices 24(4): 187-189 (1989)

Mario Tokoro, Kohei Honda: The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture 1989: 136-141

Yasuhiko Yokote, Fumio Teraoka, Mario Tokoro: A Reflective Architecture for an Object-Oriented Distributed Operating System. ECOOP 1989: 89-106

Mario Tokoro: Toward a New Computing Model for an Open Distributed Environment. Workshop on Parallel Lisp 1989: 261-268

Chisato Numaoka, Mario Tokoro: ADAM: An Extension of Situation Semantics for Practical Use. FGCS 1988: 1123-1132

Masaki Hoshida, Mario Tokoro: ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. LP 1988: 82-95

Takeo Maruichi, Tetsuya Uchiki, Mario Tokoro: Behavioral Simulation Based on Knowledge Objects. ECOOP 1987: 213-222

Hideki Sunahara, Mario Tokoro: Half-Dynamic Scheduling with Data-flow Control. ICS 1987: 552-562

Yasuhiko Yokote, Mario Tokoro: Experience and Evolution of ConcurrentSmalltalk. OOPSLA 1987: 406-415

Mario Tokoro, Yutaka Ishikawa: Orient84/K: A Language with Multiple Paradigms in the Object Framework. IEEE Software 3(1): 73-74 (1986)

Mario Tokoro: LAN Technology: Status and Standardization. ICCC 1986: 352

Mario Tokoro: Which LAN in the Factory (Panel). IFIP Congress 1986: 925-926

Yutaka Ishikawa, Mario Tokoro: A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation. OOPSLA 1986: 232-241

Yasuhiko Yokote, Mario Tokoro: The Design and Implementation of ConcurrentSmalltalk. OOPSLA 1986: 331-340

Mario Tokoro, Yutaka Ishikawa: An Object-Oriented Approach to Knowledge Systems. FGCS 1984: 623-631

Yutaka Ishikawa, Mario Tokoro: The Design of an Object Oriented Architecture. ISCA 1984: 178-187

Hideki Sunahara, Mario Tokoro: Evaluation of Working Set Algorithms for Data-flow Machines. RIMS Symposia on Software Science and Engineering 1984: 233-260

Tetsuya Uchiki, Toshiaki Ohashi, Mario Tokoro: Collision detection in motion simulation. Computers & Graphics 7(3-4): 285-293 (1983)

Mario Tokoro, J. R. Jagannathan, Hideki Sunahara: On the Working Set Concept for Data-Flow Machines. ISCA 1983: 90-97

Harold W. Lawson Jr., Tilak Agerwala, Hans H. Heilborn, Hideo Aiso, Lars-Erik Thorelli, Jean-Loup Baer, Mario Tokoro (Eds.): Proceedings of the 10th Annual Symposium on Computer Architecture, 1983. ACM 1983, isbn 0-89791-101-6

Mario Tokoro, Takashi Takizuka: On the semantic structure of information - A proposal of the abstract storage architecture. ISCA 1982: 211-217

Mario Tokoro: Towards the Design and Implementation of Object Oriented Architecture. RIMS Symposium on Software Science and Engineering 1982: 49-72

Mario Tokoro, Euji Tamura, Takashi Takizuka: Optimization of Microprograms. IEEE Trans. Computers 30(7): 491-504 (1981)

Mario Tokoro, Klichiro Tamaru, Masaaki Mizuno, Masao Hori: A High-Level Multi-Lingual Multiprocessor KMP. ISCA 1980: 325-333

Mario Tokoro, Masayuki Sato, Masayuki Ishigami, Euji Tamura, Terunobu Ishimitsu, Hisashi Ohara: A module level simulation technique for systems composed of LSI's and MSI's. DAC 1978: 418-427

Mario Tokoro, Taisuke Watanabe, Katsura Kawakami, Jun Sugano, Katsuhiko Noda: PM/II: multiprocessor oriented byte-sliced LSI processor modules. AFIPS National Computer Conference 1977: 217-225

Hideo Aiso, Mario Tokoro, Shunichi Uchida, Hideki Mori, Noriyuki Kaneko, Motoo Shimada: A Very High-Speed Microprogrammable Pipeline Signal Processor. IFIP Congress 1974: 60-64