![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Tatsuya Hagino
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j3]Pengcheng Han, Cunbao Ma, Jian Chen, Lin Chen
, Shuhui Bu
, Shibiao Xu
, Yong Zhao
, Chenhua Zhang, Tatsuya Hagino:
Fast Tree Detection and Counting on UAVs for Sequential Aerial Images with Generating Orthophoto Mosaicing. Remote. Sens. 14(16): 4113 (2022) - 2020
- [i1]Tatsuya Hagino:
A Categorical Programming Language. CoRR abs/2010.05167 (2020)
2010 – 2019
- 2013
- [c16]Quang-Minh Nguyen
, Tuan-Dung Cao, Thanh-Hien Phan, Hoang-Cong Nguyen, Tatsuya Hagino:
A Method for the Generation of Semantic Annotation from Sport News Using Ontology Based Patterns. KES-AMSTA 2013: 364-374 - 2012
- [c15]Quang-Minh Nguyen
, Tuan-Dung Cao, Hoang-Cong Nguyen, Tatsuya Hagino:
Towards Efficient Sport Data Integration through Semantic Annotation. KSE 2012: 99-106
2000 – 2009
- 2005
- [c14]Norio Toyama, Takashi Ota, Fumihiro Kato, Youichi Toyota, Takashi Hattori, Tatsuya Hagino:
Exploiting Multiple Radii to Learn Significant Locations. LoCA 2005: 157-168 - [e2]Allan Ellis, Tatsuya Hagino:
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005. ACM 2005, ISBN 1-59593-046-9 [contents] - [e1]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, ISBN 1-59593-051-5 [contents] - 2004
- [c13]Hideyuki Tokuda, Tatsuya Hagino, Jun Murai, Yasunori Sone, Michio Umegaki:
Cyber Infrastructure and Governance of Next Decades. SAINT Workshops 2004: 453-459 - [c12]Yorihito Tanaka, Tomoki Itamiya, Tatsuya Hagino, Hiroaki Chiyokura:
HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin. SAINT Workshops 2004: 502-507 - 2003
- [c11]Noritada Shimizu, Jun-ichi Nakamura, Nofumi Yoshida, Takashi Hattori, Tatsuya Hagino:
Personalization of Materials for Learning on Demand Using RDF. WWW (Posters) 2003 - 2001
- [c10]Kinuko Yasuda, Tatsuya Hagino:
Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks. ICN (2) 2001: 177-185 - [c9]Kinuko Yasuda, Takuya Asada, Tatsuya Hagino:
Effects and Performance of Content Negotiation Based on CC/PP. Mobile Data Management 2001: 53-64 - [c8]Wataru Okada, Fumihiro Kato, Tatsuya Hagino, Kazuhiro Kitagawa:
Adapt CC/PP to Real World Information to Customize Web Service. WWW Posters 2001 - [c7]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
- [c6]Tetsuya Saito, Tatsuya Hagino:
Commons: resource sharing and protection in mobile appliance OS. ACM SIGOPS European Workshop 2000: 241-244
1990 – 1999
- 1994
- [c5]Nobuo Saito, Hideyuki Tokuda, Tatsuya Hagino, Shuichi Oikawa, Akinori Yonezawa, Satoshi Matsuoka, Shigekazu Inohara, Yoshikatsu Tada, Hideki Sunahara, Shuji Ishii, Etsuya Shibayama, Yoichi Shinoda:
Comprehensive operating system for highly parallel machine. ISPAN 1994: 435-442 - 1993
- [j2]Tatsuya Hagino, Kinya Yamagishi:
The ToM (thread on modules) microkernel. Syst. Comput. Jpn. 24(9): 14-21 (1993)
1980 – 1989
- 1989
- [j1]Tatsuya Hagino:
Codatatypes in ML. J. Symb. Comput. 8(6): 629-650 (1989) - 1987
- [b1]Tatsuya Hagino:
A categorical programming language. University of Edinburgh, UK, 1987 - [c4]Tatsuya Hagino:
A Typed Lambda Calculus with Categorical Type Constructors. Category Theory and Computer Science 1987: 140-157 - 1983
- [c3]Tatsuya Hagino, Etsuya Shibayama:
Verification System. The IOTA Programming System 1983: 80-98 - [c2]Michio Honda, Tatsuya Hagino, Etsuya Shibayama:
Proof System. The IOTA Programming System 1983: 99-108 - [c1]Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa:
KWIC Example. The IOTA Programming System 1983: 114-175
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint