Kohji Tomita

	2009
24		Kohji Tomita, Haruhisa Kurokawa: On the reachability of a version of graph-rewriting system. Inf. Process. Lett. 109(14): 777-782 (2009)
	2008
23		Haruhisa Kurokawa, Kohji Tomita, Akiya Kamimura, Shigeru Kokaji, Takashi Hasuo, Satoshi Murata: Distributed Self-Reconfiguration of M-TRAN III Modular Robotic System. I. J. Robotic Res. 27(3-4): 373-386 (2008)
	2007
22		Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa: Asynchronous Graph-Rewriting Automata and Simulation of Synchronous Execution. ECAL 2007: 865-875
21		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		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		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		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		Hidetomo Machi, Kohji Tomita, Chiharu Hosono: The Relative Completeness of a Version of CTL*. CATS 2005: 81-85
16		Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa: Self-description for Construction and Execution in Graph Rewriting Automata. ECAL 2005: 705-715
	2004
15		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		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		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		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		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		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] [23]
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] [23]
7	Shigeru Kokaji	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [18] [21] [23]
8	Keith Kotay	[11] [15]
9	Haruhisa Kurokawa	[3] [4] [5] [6] [8] [9] [10] [12] [13] [14] [16] [18] [19] [20] [21] [22] [23] [24]
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] [23]
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