Kohji Tomita

2007
22	EE	Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa: Asynchronous Graph-Rewriting Automata and Simulation of Synchronous Execution. ECAL 2007: 865-875
21	EE	Haruhisa Kurokawa, Kohji Tomita, Akiya Kamimura, Shigeru Kokaji, Takashi Hasuo, Satoshi Murata: Self-reconfigurable modular robot M-TRAN: distributed control and communication. ROBOCOMM 2007: 21
20	EE	Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa: Self-Description for Construction and Computation on Graph-Rewriting Automata. Artificial Life 13(4): 383-396 (2007)
2006
19	EE	Kohji Tomita, Haruhisa Kurokawa, Satoshi Murata: Automatic Generation of Self-Replicating Patterns in Graph Automata. I. J. Bifurcation and Chaos 16(4): 1011-1018 (2006)
18	EE	Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Akiya Kamimura, Satoshi Murata, Shigeru Kokaji: Self-reconfigurable M-TRAN structures and walker generation. Robotics and Autonomous Systems 54(2): 142-149 (2006)
2005
17	EE	Hidetomo Machi, Kohji Tomita, Chiharu Hosono: The Relative Completeness of a Version of CTL*. CATS 2005: 81-85
16	EE	Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa: Self-description for Construction and Execution in Graph Rewriting Automata. ECAL 2005: 705-715
2004
15	EE	Zack J. Butler, Keith Kotay, Daniela Rus, Kohji Tomita: Generic Decentralized Control for Lattice-Based Self-Reconfigurable Robots. I. J. Robotic Res. 23(9): 919-937 (2004)
2003
14	EE	Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Shigeru Kokaji: Self-Reconfigurable Robots: Platforms for Emerging Functionality. Embodied Artificial Intelligence 2003: 312-330
13		Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji: Automatic locomotion pattern generation for modular robots. ICRA 2003: 714-720
2002
12	EE	Haruhisa Kurokawa, Akiya Kamimura, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji: Self-reconfigurable modular robot (M-TRAN) and its motion design. ICARCV 2002: 51-56
11		Zack J. Butler, Keith Kotay, Daniela Rus, Kohji Tomita: Generic Decentralized Control for a Class of Self-Reconfigurable Robots. ICRA 2002: 809-816
10		Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji: A Self-Reconfigurable Modular Robot. I. J. Robotic Res. 21(10-11): 903-916 (2002)
2001
9	EE	Satoshi Murata, Eiichi Yoshida, Haruhisa Kurokawa, Kohji Tomita, Shigeru Kokaji: Concept of self-reconfigurable modular robotic system. AI in Engineering 15(4): 383-387 (2001)
8		Satoshi Murata, Eiichi Yoshida, Haruhisa Kurokawa, Kohji Tomita, Shigeru Kokaji: Self-Repairing Mechanical Systems. Auton. Robots 10(1): 7-21 (2001)
7		Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono: On the elimination of some higher type quantifiers. Mathematical Structures in Computer Science 11(6): 771-779 (2001)
2000
6		Eiichi Yoshida, Satoshi Murata, Shigeru Kokaji, Kohji Tomita, Haruhisa Kurokawa: Micro Self-Reconfigurable Robotic System using Shape Memory Alloy. DARS 2000: 145-154
5	EE	Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji: Motion Planning for a Self-Reconfigurable Modular Robot. ISER 2000: 385-394
1999
4	EE	Eiichi Yoshida, Satoshi Murata, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji: An experimental study on a self-repairing modular machine. Robotics and Autonomous Systems 29(1): 79-89 (1999)
1998
3		Satoshi Murata, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Shigeru Kokaji: A 3-D Self-Reconfigurable Structure. ICRA 1998: 432-439
1997
2		Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN 1997: 110-120
1994
1		Kohji Tomita, Takashi Tsuji, Shigeru Igarashi: Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation 1994: 188-205

Coauthor Index

1	Zack J. Butler	[11] [15]
2	Takashi Hasuo	[21]
3	Chiharu Hosono	[7] [17]
4	Shigeru Igarashi	[1] [2]
5	Yasuwo Ikeda	[7]
6	Akiya Kamimura	[5] [10] [12] [13] [14] [16] [18] [21]
7	Shigeru Kokaji	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [18] [21]
8	Keith Kotay	[11] [15]
9	Haruhisa Kurokawa	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [16] [18] [19] [20] [21] [22]
10	Hidetomo Machi	[17]
11	Tetsuya Mizutani	[2]
12	Satoshi Murata	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [16] [18] [19] [20] [21] [22]
13	Daniela Rus	[11] [15]
14	Masayuki Shio	[2]
15	Takashi Tsuji	[1]
16	Eiichi Yoshida	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [18]

Colors in the list of coauthors