Tatsuya Hagino

2005
16		Allan Ellis, Tatsuya Hagino: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 ACM 2005
15		Allan Ellis, Tatsuya Hagino: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters ACM 2005
14	EE	Norio Toyama, Takashi Ota, Fumihiro Kato, Youichi Toyota, Takashi Hattori, Tatsuya Hagino: Exploiting Multiple Radii to Learn Significant Locations. LoCA 2005: 157-168
2004
13	EE	Hideyuki Tokuda, Tatsuya Hagino, Jun Murai, Yasunori Sone, Michio Umegaki: Cyber Infrastructure and Governance of Next Decades. SAINT Workshops 2004: 453-459
12	EE	Yorihito Tanaka, Tomoki Itamiya, Tatsuya Hagino, Hiroaki Chiyokura: HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin. SAINT Workshops 2004: 502-507
2003
11	EE	Noritada Shimizu, Jun-ichi Nakamura, Nofumi Yoshida, Takashi Hattori, Tatsuya Hagino: Personalization of Materials for Learning on Demand Using RDF. WWW (Posters) 2003
2001
10	EE	Kinuko Yasuda, Tatsuya Hagino: Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks. ICN (2) 2001: 177-185
9	EE	Kinuko Yasuda, Takuya Asada, Tatsuya Hagino: Effects and Performance of Content Negotiation Based on CC/PP. Mobile Data Management 2001: 53-64
8	EE	Wataru Okada, Fumihiro Kato, Tatsuya Hagino, Kazuhiro Kitagawa: Adapt CC/PP to Real World Information to Customize Web Service. WWW Posters 2001
7	EE	Norio Toyama, Yasuyuki Hirakawa, Takashi Hattori, Tatsuya Hagino: XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing. WWW Posters 2001
2000
6	EE	Tetsuya Saito, Tatsuya Hagino: Commons: resource sharing and protection in mobile appliance OS. ACM SIGOPS European Workshop 2000: 241-244
1989
5		Tatsuya Hagino: Codatatypes in ML. J. Symb. Comput. 8(6): 629-650 (1989)
1987
4		Tatsuya Hagino: A Typed Lambda Calculus with Categorical Type Constructors. Category Theory and Computer Science 1987: 140-157
1983
3		Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa: KWIC Example. The IOTA Programming System 1983: 114-175
2		Tatsuya Hagino, Etsuya Shibayama: Verification System. The IOTA Programming System 1983: 80-98
1		Michio Honda, Tatsuya Hagino, Etsuya Shibayama: Proof System. The IOTA Programming System 1983: 99-108

Coauthor Index

1	Takuya Asada	[9]
2	Hiroaki Chiyokura	[12]
3	Allan Ellis	[15] [16]
4	Takashi Hattori	[7] [11] [14]
5	Yasuyuki Hirakawa	[7]
6	Michio Honda	[1] [3]
7	Tomoki Itamiya	[12]
8	Fumihiro Kato	[8] [14]
9	Kazuhiro Kitagawa	[8]
10	Akihiko Koga	[3]
11	Jun Murai	[13]
12	Reiji Nakajima	[3]
13	Jun-ichi Nakamura	[11]
14	Wataru Okada	[8]
15	Takashi Ota	[14]
16	Tetsuya Saito	[6]
17	Etsuya Shibayama	[1] [2] [3]
18	Noritada Shimizu	[11]
19	Yasunori Sone	[13]
20	Yorihito Tanaka	[12]
21	Hideyuki Tokuda	[13]
22	Norio Toyama	[7] [14]
23	Youichi Toyota	[14]
24	Michio Umegaki	[13]
25	Kinuko Yasuda	[9] [10]
26	Nofumi Yoshida	[11]
27	Taiichi Yuasa	[3]

Colors in the list of coauthors