|
Search the dblp DataBase
Kohji Tomita:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. [Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:110-120 [Conf]
- Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
Analysis of a Software/Hardware System by Tense Arithmetic. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:188-205 [Conf]
- Hidetomo Machi, Kohji Tomita, Chiharu Hosono
The Relative Completeness of a Version of CTL*. [Citation Graph (0, 0)][DBLP] CATS, 2005, pp:81-85 [Conf]
- Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Shigeru Kokaji
Self-Reconfigurable Robots: Platforms for Emerging Functionality. [Citation Graph (0, 0)][DBLP] Embodied Artificial Intelligence, 2003, pp:312-330 [Conf]
- Eiichi Yoshida, Satoshi Murata, Shigeru Kokaji, Kohji Tomita, Haruhisa Kurokawa
Micro Self-Reconfigurable Robotic System using Shape Memory Alloy. [Citation Graph (0, 0)][DBLP] DARS, 2000, pp:145-154 [Conf]
- Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa
Self-description for Construction and Execution in Graph Rewriting Automata. [Citation Graph (0, 0)][DBLP] ECAL, 2005, pp:705-715 [Conf]
- Zack J. Butler, Keith Kotay, Daniela Rus, Kohji Tomita
Generic Decentralized Control for a Class of Self-Reconfigurable Robots. [Citation Graph (0, 0)][DBLP] ICRA, 2002, pp:809-816 [Conf]
- Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji
Automatic locomotion pattern generation for modular robots. [Citation Graph (0, 0)][DBLP] ICRA, 2003, pp:714-720 [Conf]
- Satoshi Murata, Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Shigeru Kokaji
A 3-D Self-Reconfigurable Structure. [Citation Graph (0, 0)][DBLP] ICRA, 1998, pp:432-439 [Conf]
- Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji
Motion Planning for a Self-Reconfigurable Modular Robot. [Citation Graph (0, 0)][DBLP] ISER, 2000, pp:385-394 [Conf]
- Satoshi Murata, Eiichi Yoshida, Haruhisa Kurokawa, Kohji Tomita, Shigeru Kokaji
Concept of self-reconfigurable modular robotic system. [Citation Graph (0, 0)][DBLP] AI in Engineering, 2001, v:15, n:4, pp:383-387 [Journal]
- Satoshi Murata, Eiichi Yoshida, Haruhisa Kurokawa, Kohji Tomita, Shigeru Kokaji
Self-Repairing Mechanical Systems. [Citation Graph (0, 0)][DBLP] Auton. Robots, 2001, v:10, n:1, pp:7-21 [Journal]
- Zack J. Butler, Keith Kotay, Daniela Rus, Kohji Tomita
Generic Decentralized Control for Lattice-Based Self-Reconfigurable Robots. [Citation Graph (0, 0)][DBLP] I. J. Robotic Res., 2004, v:23, n:9, pp:919-937 [Journal]
- Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji
A Self-Reconfigurable Modular Robot. [Citation Graph (0, 0)][DBLP] I. J. Robotic Res., 2002, v:21, n:10-11, pp:903-916 [Journal]
- Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
On the elimination of some higher type quantifiers. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:771-779 [Journal]
- Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, Akiya Kamimura, Satoshi Murata, Shigeru Kokaji
Self-reconfigurable M-TRAN structures and walker generation. [Citation Graph (0, 0)][DBLP] Robotics and Autonomous Systems, 2006, v:54, n:2, pp:142-149 [Journal]
- Eiichi Yoshida, Satoshi Murata, Kohji Tomita, Haruhisa Kurokawa, Shigeru Kokaji
An experimental study on a self-repairing modular machine. [Citation Graph (0, 0)][DBLP] Robotics and Autonomous Systems, 1999, v:29, n:1, pp:79-89 [Journal]
- Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa
Asynchronous Graph-Rewriting Automata and Simulation of Synchronous Execution. [Citation Graph (0, 0)][DBLP] ECAL, 2007, pp:865-875 [Conf]
Self-reconfigurable modular robot M-TRAN: distributed control and communication. [Citation Graph (, )][DBLP]
Self-reconfigurable modular robot (M-TRAN) and its motion design. [Citation Graph (, )][DBLP]
Self-Description for Construction and Computation on Graph-Rewriting Automata. [Citation Graph (, )][DBLP]
A three-dimensional self-reconfigurable system. [Citation Graph (, )][DBLP]
A distributed method for reconfiguration of a three-dimensional homogeneous structure. [Citation Graph (, )][DBLP]
Miniature self-reconfigurable modular machine using shape memory alloy. [Citation Graph (, )][DBLP]
Search in 0.092secs, Finished in 0.093secs
|