Kohji Tomita

2007
18	EE	Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa: Asynchronous Graph-Rewriting Automata and Simulation of Synchronous Execution. ECAL 2007: 865-875
2006
17	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
16	EE	Hidetomo Machi, Kohji Tomita, Chiharu Hosono: The Relative Completeness of a Version of CTL*. CATS 2005: 81-85
15	EE	Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa: Self-description for Construction and Execution in Graph Rewriting Automata. ECAL 2005: 705-715
2004
14	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
13	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
12		Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji: Automatic locomotion pattern generation for modular robots. ICRA 2003: 714-720
2002
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] [14]
2	Chiharu Hosono	[7] [16]
3	Shigeru Igarashi	[1] [2]
4	Yasuwo Ikeda	[7]
5	Akiya Kamimura	[5] [10] [12] [13] [15] [17]
6	Shigeru Kokaji	[3] [4] [5] [6] [8] [9] [10] [12] [13] [17]
7	Keith Kotay	[11] [14]
8	Haruhisa Kurokawa	[3] [4] [5] [6] [8] [9] [10] [12] [13] [15] [17] [18]
9	Hidetomo Machi	[16]
10	Tetsuya Mizutani	[2]
11	Satoshi Murata	[3] [4] [5] [6] [8] [9] [10] [12] [13] [15] [17] [18]
12	Daniela Rus	[11] [14]
13	Masayuki Shio	[2]
14	Takashi Tsuji	[1]
15	Eiichi Yoshida	[3] [4] [5] [6] [8] [9] [10] [12] [13] [17]

Colors in the list of coauthors