Tatsuya Hagino

24 papers A* 1B 1Journal 4Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
An Analysis of K-12 Programming Education Utilizing the Minecraft Metaverse Amidst the COVID-19 Pandemic.
SIGCSE (2)
Chiyoko Sawada, Masafumi Terazono, Tatsuya Hagino, Takashi Hattori
2022 J jnl
Fast Tree Detection and Counting on UAVs for Sequential Aerial Images with Generating Orthophoto Mosaicing.
Remote. Sens.
Pengcheng Han, Cunbao Ma, Jian Chen, Lin Chen, Shuhui Bu, Shibiao Xu, Yong Zhao, Chenhua Zhang, Tatsuya Hagino
2020 J jnl
A Categorical Programming Language.
CoRR
Tatsuya Hagino
2013 — conf
A Method for the Generation of Semantic Annotation from Sport News Using Ontology Based Patterns.
KES-AMSTA
Quang-Minh Nguyen, Tuan-Dung Cao, Thanh-Hien Phan, Hoang-Cong Nguyen, Tatsuya Hagino
2012 — conf
Towards Efficient Sport Data Integration through Semantic Annotation.
KSE
Quang-Minh Nguyen, Tuan-Dung Cao, Hoang-Cong Nguyen, Tatsuya Hagino
2005 — conf
Exploiting Multiple Radii to Learn Significant Locations.
LoCA
Norio Toyama, Takashi Ota, Fumihiro Kato, Youichi Toyota, Takashi Hattori, Tatsuya Hagino
2005 A* ed.
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005
WWW
Allan Ellis, Tatsuya Hagino
2005 — ed.
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters
WWW (Special interest tracks and posters)
Allan Ellis, Tatsuya Hagino
2004 — conf
Cyber Infrastructure and Governance of Next Decades.
SAINT Workshops
Hideyuki Tokuda, Tatsuya Hagino, Jun Murai, Yasunori Sone, Michio Umegaki
2004 — conf
HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin.
SAINT Workshops
Yorihito Tanaka, Tomoki Itamiya, Tatsuya Hagino, Hiroaki Chiyokura
2003 — conf
Personalization of Materials for Learning on Demand Using RDF.
WWW (Posters)
Noritada Shimizu, Jun-ichi Nakamura, Nofumi Yoshida, Takashi Hattori, Tatsuya Hagino
2001 — conf
Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks.
ICN (2)
Kinuko Yasuda, Tatsuya Hagino
2001 — conf
Adapt CC/PP to Real World Information to Customize Web Service.
WWW Posters
Wataru Okada, Fumihiro Kato, Tatsuya Hagino, Kazuhiro Kitagawa
2001 B conf
Effects and Performance of Content Negotiation Based on CC/PP.
Mobile Data Management
Kinuko Yasuda, Takuya Asada, Tatsuya Hagino
2001 — conf
XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing.
WWW Posters
Norio Toyama, Yasuyuki Hirakawa, Takashi Hattori, Tatsuya Hagino
2000 — conf
Commons: resource sharing and protection in mobile appliance OS.
ACM SIGOPS European Workshop
Tetsuya Saito, Tatsuya Hagino
1994 — conf
Comprehensive operating system for highly parallel machine.
ISPAN
Nobuo Saito, Hideyuki Tokuda, Tatsuya Hagino, Shuichi Oikawa, Akinori Yonezawa, Satoshi Matsuoka, Shigekazu Inohara, Yoshikatsu Tada, Hideki Sunahara, Shuji Ishii, Etsuya Shibayama, Yoichi Shinoda
1993 J jnl
The ToM (thread on modules) microkernel.
Syst. Comput. Jpn.
Tatsuya Hagino, Kinya Yamagishi
1989 J jnl
Codatatypes in ML.
J. Symb. Comput.
Tatsuya Hagino
1987 — conf
A Typed Lambda Calculus with Categorical Type Constructors.
Category Theory and Computer Science
Tatsuya Hagino
1987 — —
A categorical programming language.
Tatsuya Hagino
1983 — conf
KWIC Example.
The IOTA Programming System
Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
1983 — conf
Proof System.
The IOTA Programming System
Michio Honda, Tatsuya Hagino, Etsuya Shibayama
1983 — conf
Verification System.
The IOTA Programming System
Tatsuya Hagino, Etsuya Shibayama