Hiroshi Nakano

2008
13	EE	Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano: Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. CSL 2008: 478-492
2007
12	EE	Takafumi Kai, Jiro Hirokawa, Makoto Ando, Hiroshi Nakano, Yasutake Hirachi: A Cost-Effective Transition between a Microstrip Line and a Post-Wall Waveguide Using a Laminated LTCC Substrate in 60-GHz Band. IEICE Transactions 90-C(4): 907-910 (2007)
2006
11	EE	Takafumi Kai, Yusuke Katou, Jiro Hirokawa, Makoto Ando, Hiroshi Nakano, Yasutake Hirachi: A Coaxial Line to Post-Wall Waveguide Transition for a Cost-Effective Transformer between a RF-Device and a Planar Slot-Array Antenna in 60-GHz Band. IEICE Transactions 89-B(5): 1646-1653 (2006)
2003
10	EE	Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi: Avatar motion control by user body postures. ACM Multimedia 2003: 347-350
9	EE	Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi: Real-time human figure control using tracked blobs. ICIAP 2003: 127-132
2001
8	EE	Hiroshi Nakano: Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness. TACS 2001: 165-182
7	EE	Hiroshi Nakano: On a Distance-Regular Graph of Even Height with ke= kf. Graphs and Combinatorics 17(4): 707-716 (2001)
2000
6	EE	Hiroshi Nakano: A Modality for Recursion. LICS 2000: 255-266
1996
5	EE	Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki: Two Extensions of PX system. Electr. Notes Theor. Comput. Sci. 3: (1996)
1994
4		Hiroshi Nakano: The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. Logic, Language and Computation 1994: 61-72
3		Hiroshi Nakano: A Constructive Logic Behind the Catch and Throw Mechanism. Ann. Pure Appl. Logic 69(2-3): 269-301 (1994)
1992
2		Hiroshi Nakano: A Constructive Formalization of the Catch and Throw Mechanism LICS 1992: 82-89
1980
1	EE	Hiroshi Nakano, Shin'ichi Tsuchiya, Akio Tsuruoka: An Automatic Processing Of The Natural Language In The Word Count System. COLING 1980: 338-345

Coauthor Index

1	Makoto Ando	[11] [12]
2	Susumu Hayashi	[5]
3	Yasutake Hirachi	[11] [12]
4	Jiro Hirokawa	[11] [12]
5	Masakazu Ishikawa	[5]
6	Takafumi Kai	[11] [12]
7	Yukiyoshi Kameyama	[13]
8	Yusuke Katou	[11]
9	Satoshi Kobayashi	[5]
10	Syuichi Nakazaki	[5]
11	Koji Nakazawa	[13]
12	Rin-ichiro Taniguchi	[9] [10]
13	Makoto Tatsuta	[13]
14	Shin'ichi Tsuchiya	[1]
15	Akio Tsuruoka	[1]
16	Satoshi Yonemoto	[9] [10]

Colors in the list of coauthors