KWIC Example. - Tatsuya Hagino; Michio Honda; Akihiko Koga; Reiji Nakajima; Etsuya Shibayama; Taiichi Yuasa (The IOTA Programming System, 1983)

Verification System. - Tatsuya Hagino; Etsuya Shibayama (The IOTA Programming System, 1983)

Proof System. - Michio Honda; Tatsuya Hagino; Etsuya Shibayama (The IOTA Programming System, 1983)

A Typed Lambda Calculus with Categorical Type Constructors. - Tatsuya Hagino (Category Theory and Computer Science, 1987)

A categorical programming language. - Tatsuya Hagino (1987)

Codatatypes in ML. - Tatsuya Hagino (J. Symb. Comput., 1989)

The ToM (thread on modules) microkernel. - Tatsuya Hagino; Kinya Yamagishi (Syst. Comput. Jpn., 1993)

Comprehensive operating system for highly parallel machine. - Nobuo Saito; Hideyuki Tokuda; Tatsuya Hagino; Shuichi Oikawa; Akinori Yonezawa; Satoshi Matsuoka; Shigekazu Inohara; Yoshikatsu Tada; Hideki Sunahara; Shuji Ishii; Etsuya Shibayama; Yoichi Shinoda (ISPAN, 1994)

Commons: resource sharing and protection in mobile appliance OS. - Tetsuya Saito; Tatsuya Hagino (ACM SIGOPS European Workshop, 2000)

Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks. - Kinuko Yasuda; Tatsuya Hagino (ICN (2), 2001)

Effects and Performance of Content Negotiation Based on CC/PP. - Kinuko Yasuda; Takuya Asada; Tatsuya Hagino (Mobile Data Management, 2001)

Adapt CC/PP to Real World Information to Customize Web Service. - Wataru Okada; Fumihiro Kato; Tatsuya Hagino; Kazuhiro Kitagawa (WWW Posters, 2001)

XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing. - Norio Toyama; Yasuyuki Hirakawa; Takashi Hattori; Tatsuya Hagino (WWW Posters, 2001)

Personalization of Materials for Learning on Demand Using RDF. - Noritada Shimizu; Jun-ichi Nakamura; Nofumi Yoshida; Takashi Hattori; Tatsuya Hagino (WWW (Posters), 2003)

HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin. - Yorihito Tanaka; Tomoki Itamiya; Tatsuya Hagino; Hiroaki Chiyokura (SAINT Workshops, 2004)

Cyber Infrastructure and Governance of Next Decades. - Hideyuki Tokuda; Tatsuya Hagino; Jun Murai; Yasunori Sone; Michio Umegaki (SAINT Workshops, 2004)

Exploiting Multiple Radii to Learn Significant Locations. - Norio Toyama; Takashi Ota; Fumihiro Kato; Youichi Toyota; Takashi Hattori; Tatsuya Hagino (LoCA, 2005)

Towards Efficient Sport Data Integration through Semantic Annotation. - Quang-Minh Nguyen; Tuan-Dung Cao; Hoang-Cong Nguyen; Tatsuya Hagino (KSE, 2012)

A Method for the Generation of Semantic Annotation from Sport News Using Ontology Based Patterns. - Quang-Minh Nguyen; Tuan-Dung Cao; Thanh-Hien Phan; Hoang-Cong Nguyen; Tatsuya Hagino (KES-AMSTA, 2013)

A Categorical Programming Language. - Tatsuya Hagino (CoRR, 2020)

Fast Tree Detection and Counting on UAVs for Sequential Aerial Images with Generating Orthophoto Mosaicing. - Pengcheng Han; Cunbao Ma; Jian Chen; Lin Chen 042; Shuhui Bu; Shibiao Xu; Yong Zhao; Chenhua Zhang; Tatsuya Hagino (Remote. Sens., 2022)

An Analysis of K-12 Programming Education Utilizing the Minecraft Metaverse Amidst the COVID-19 Pandemic. - Chiyoko Sawada; Masafumi Terazono; Tatsuya Hagino; Takashi Hattori (SIGCSE (2), 2025)