Hiroshi Nakano

	2011
16		Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano: Type checking and typability in domain-free lambda calculi. Theor. Comput. Sci. 412(44): 6193-6207 (2011)
	2010
15		Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano: Inhabitation of polymorphic and existential types. Ann. Pure Appl. Logic 161(11): 1390-1399 (2010)
14		Muhammad Wannous, Hiroshi Nakano: NVLab, a Networking Virtual Web-Based Laboratory that Implements Virtualization and Virtual Network Computing Technologies. TLT 3(2): 129-138 (2010)
	2008
13		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		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		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		Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi: Avatar motion control by user body postures. ACM Multimedia 2003: 347-350
9		Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi: Real-time human figure control using tracked blobs. ICIAP 2003: 127-132
	2001
8		Hiroshi Nakano: Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness. TACS 2001: 165-182
7		Hiroshi Nakano: On a Distance-Regular Graph of Even Height with ke= kf. Graphs and Combinatorics 17(4): 707-716 (2001)
	2000
6		Hiroshi Nakano: A Modality for Recursion. LICS 2000: 255-266
	1996
5		Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki: Two Extensions of PX system. Electr. Notes Theor. Comput. Sci. 3: 88 (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		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	Ken-etsu Fujita	[15]
3	Ryu Hasegawa	[15]
4	Susumu Hayashi	[5]
5	Yasutake Hirachi	[11] [12]
6	Jiro Hirokawa	[11] [12]
7	Masakazu Ishikawa	[5]
8	Takafumi Kai	[11] [12]
9	Yukiyoshi Kameyama	[13] [16]
10	Yusuke Katou	[11]
11	Satoshi Kobayashi	[5]
12	Syuichi Nakazaki	[5]
13	Koji Nakazawa	[13] [16]
14	Rin-ichiro Taniguchi	[9] [10]
15	Makoto Tatsuta	[13] [15] [16]
16	Shin'ichi Tsuchiya	[1]
17	Akio Tsuruoka	[1]
18	Muhammad Wannous	[14]
19	Satoshi Yonemoto	[9] [10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page