BibTeX records: Tatsuya Hagino

download as .bib file

@inproceedings{DBLP:conf/sigcse/SawadaTHH25,
  author       = {Chiyoko Sawada and
                  Masafumi Terazono and
                  Tatsuya Hagino and
                  Takashi Hattori},
  editor       = {Jeffrey A. Stone and
                  Timothy T. Yuen and
                  Libby Shoop and
                  Samuel A. Rebelsky and
                  James Prather},
  title        = {An Analysis of {K-12} Programming Education Utilizing the Minecraft
                  Metaverse Amidst the {COVID-19} Pandemic},
  booktitle    = {Proceedings of the 56th {ACM} Technical Symposium on Computer Science
                  Education V. 2, {SIGCSE} {TS} 2025, Pittsburgh, PA, USA, 26 February
                  2025 - 1 March 2025},
  pages        = {1615--1616},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3641555.3705122},
  doi          = {10.1145/3641555.3705122},
  timestamp    = {Fri, 07 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/SawadaTHH25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/remotesensing/HanMCCBXZZH22,
  author       = {Pengcheng Han and
                  Cunbao Ma and
                  Jian Chen and
                  Lin Chen and
                  Shuhui Bu and
                  Shibiao Xu and
                  Yong Zhao and
                  Chenhua Zhang and
                  Tatsuya Hagino},
  title        = {Fast Tree Detection and Counting on UAVs for Sequential Aerial Images
                  with Generating Orthophoto Mosaicing},
  journal      = {Remote. Sens.},
  volume       = {14},
  number       = {16},
  pages        = {4113},
  year         = {2022},
  url          = {https://doi.org/10.3390/rs14164113},
  doi          = {10.3390/RS14164113},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/remotesensing/HanMCCBXZZH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2010-05167,
  author       = {Tatsuya Hagino},
  title        = {A Categorical Programming Language},
  journal      = {CoRR},
  volume       = {abs/2010.05167},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.05167},
  eprinttype    = {arXiv},
  eprint       = {2010.05167},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-05167.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kesamsta/NguyenCPNH13,
  author       = {Quang{-}Minh Nguyen and
                  Tuan{-}Dung Cao and
                  Thanh{-}Hien Phan and
                  Hoang{-}Cong Nguyen and
                  Tatsuya Hagino},
  editor       = {Dariusz Barbucha and
                  Manh Thanh Le and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {A Method for the Generation of Semantic Annotation from Sport News
                  Using Ontology Based Patterns},
  booktitle    = {Advanced Methods and Technologies for Agent and Multi-Agent Systems,
                  Proceedings of the 7th {KES} Conference on Agent and Multi-Agent Systems
                  - Technologies and Applications {(KES-AMSTA} 2013), May 27-29, 2013,
                  Hue City, Vietnam},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {252},
  pages        = {364--374},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-254-7-364},
  doi          = {10.3233/978-1-61499-254-7-364},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kesamsta/NguyenCPNH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kse/NguyenCNH12,
  author       = {Quang{-}Minh Nguyen and
                  Tuan{-}Dung Cao and
                  Hoang{-}Cong Nguyen and
                  Tatsuya Hagino},
  editor       = {Dang Van Hung and
                  Hung Trung Vo and
                  Jeff Sanders and
                  Lam Thu Bui and
                  Son Bao Pham},
  title        = {Towards Efficient Sport Data Integration through Semantic Annotation},
  booktitle    = {Fourth International Conference on Knowledge and Systems Engineering,
                  {KSE} 2012, Danang, Vietnam, August 17-19, 2012},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/KSE.2012.21},
  doi          = {10.1109/KSE.2012.21},
  timestamp    = {Fri, 17 Nov 2023 08:06:20 +0100},
  biburl       = {https://dblp.org/rec/conf/kse/NguyenCNH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/loca/ToyamaOKTHH05,
  author       = {Norio Toyama and
                  Takashi Ota and
                  Fumihiro Kato and
                  Youichi Toyota and
                  Takashi Hattori and
                  Tatsuya Hagino},
  editor       = {Thomas Strang and
                  Claudia Linnhoff{-}Popien},
  title        = {Exploiting Multiple Radii to Learn Significant Locations},
  booktitle    = {Location- and Context-Awareness, First International Workshop, LoCA
                  2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3479},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11426646\_15},
  doi          = {10.1007/11426646\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/loca/ToyamaOKTHH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/www/2005,
  editor       = {Allan Ellis and
                  Tatsuya Hagino},
  title        = {Proceedings of the 14th international conference on World Wide Web,
                  {WWW} 2005, Chiba, Japan, May 10-14, 2005},
  publisher    = {{ACM}},
  year         = {2005},
  isbn         = {1-59593-046-9},
  timestamp    = {Fri, 13 May 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/www/2005si,
  editor       = {Allan Ellis and
                  Tatsuya Hagino},
  title        = {Proceedings of the 14th international conference on World Wide Web,
                  {WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
                  and posters},
  publisher    = {{ACM}},
  year         = {2005},
  isbn         = {1-59593-051-5},
  timestamp    = {Thu, 16 Jun 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/2005si.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saint/TokudaHMSU04,
  author       = {Hideyuki Tokuda and
                  Tatsuya Hagino and
                  Jun Murai and
                  Yasunori Sone and
                  Michio Umegaki},
  title        = {Cyber Infrastructure and Governance of Next Decades},
  booktitle    = {2004 Symposium on Applications and the Internet Workshops {(SAINT}
                  2004 Workshops), 26-30 January 2004, Tokyo, Japan},
  pages        = {453--459},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/SAINTW.2004.1268673},
  doi          = {10.1109/SAINTW.2004.1268673},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/TokudaHMSU04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saint/TanakaIHC04,
  author       = {Yorihito Tanaka and
                  Tomoki Itamiya and
                  Tatsuya Hagino and
                  Hiroaki Chiyokura},
  title        = {HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin},
  booktitle    = {2004 Symposium on Applications and the Internet Workshops {(SAINT}
                  2004 Workshops), 26-30 January 2004, Tokyo, Japan},
  pages        = {502--507},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/SAINTW.2004.1268680},
  doi          = {10.1109/SAINTW.2004.1268680},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/TanakaIHC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/ShimizuNYHH03,
  author       = {Noritada Shimizu and
                  Jun{-}ichi Nakamura and
                  Nofumi Yoshida and
                  Takashi Hattori and
                  Tatsuya Hagino},
  editor       = {Irwin King and
                  Tam{\'{a}}s M{\'{a}}ray},
  title        = {Personalization of Materials for Learning on Demand Using {RDF}},
  booktitle    = {Proceedings of the Twelfth International World Wide Web Conference
                  - Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
  year         = {2003},
  url          = {http://www2003.org/cdrom/papers/poster/p076/p76-shimizu/p76-shimizu.html},
  timestamp    = {Wed, 17 Jul 2013 16:59:51 +0200},
  biburl       = {https://dblp.org/rec/conf/www/ShimizuNYHH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icn/YasudaH01,
  author       = {Kinuko Yasuda and
                  Tatsuya Hagino},
  editor       = {Pascal Lorenz},
  title        = {Ad-hoc Filesystem: {A} Novel Network Filesystem for Ad-hoc Wireless
                  Networks},
  booktitle    = {Networking - {ICN} 2001, First International Conference, Colmar, France,
                  July 9-13, 2001 Proceedings, Part 2},
  series       = {Lecture Notes in Computer Science},
  volume       = {2094},
  pages        = {177--185},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47734-9\_18},
  doi          = {10.1007/3-540-47734-9\_18},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/icn/YasudaH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mdm/YasudaAH01,
  author       = {Kinuko Yasuda and
                  Takuya Asada and
                  Tatsuya Hagino},
  editor       = {Kian{-}Lee Tan and
                  Michael J. Franklin and
                  John C. S. Lui},
  title        = {Effects and Performance of Content Negotiation Based on {CC/PP}},
  booktitle    = {Mobile Data Management, Second International Conference, {MDM} 2001,
                  Hong Kong, China, January 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1987},
  pages        = {53--64},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44498-X\_5},
  doi          = {10.1007/3-540-44498-X\_5},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/mdm/YasudaAH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/OkadaKHK01,
  author       = {Wataru Okada and
                  Fumihiro Kato and
                  Tatsuya Hagino and
                  Kazuhiro Kitagawa},
  editor       = {Vincent Y. Shen and
                  Nobuo Saito and
                  Michael R. Lyu and
                  Mary Ellen Zurko},
  title        = {Adapt {CC/PP} to Real World Information to Customize Web Service},
  booktitle    = {Poster Proceedings of the Tenth International World Wide Web Conference,
                  {WWW} 10, Hong Kong, China, May 1-5, 2001},
  year         = {2001},
  url          = {http://www10.org/cdrom/posters/1066.pdf},
  timestamp    = {Thu, 10 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/OkadaKHK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/TouyamaHHH01,
  author       = {Norio Toyama and
                  Yasuyuki Hirakawa and
                  Takashi Hattori and
                  Tatsuya Hagino},
  editor       = {Vincent Y. Shen and
                  Nobuo Saito and
                  Michael R. Lyu and
                  Mary Ellen Zurko},
  title        = {{XEBRA:} The Design and Implementation of Integrated Programming Environment
                  for {XML} Processing and Browsing},
  booktitle    = {Poster Proceedings of the Tenth International World Wide Web Conference,
                  {WWW} 10, Hong Kong, China, May 1-5, 2001},
  year         = {2001},
  url          = {http://www10.org/cdrom/posters/1059.pdf},
  timestamp    = {Thu, 10 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/TouyamaHHH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigopsE/SaitoH00,
  author       = {Tetsuya Saito and
                  Tatsuya Hagino},
  title        = {Commons: resource sharing and protection in mobile appliance {OS}},
  booktitle    = {Proceedings of the 9th {ACM} {SIGOPS} European Workshop, Kolding,
                  Denmark, September 17-20, 2000},
  pages        = {241--244},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/566726.566774},
  doi          = {10.1145/566726.566774},
  timestamp    = {Thu, 07 Nov 2019 10:24:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/SaitoH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ispan/SaitoTHOYMITSIS94,
  author       = {Nobuo Saito and
                  Hideyuki Tokuda and
                  Tatsuya Hagino and
                  Shuichi Oikawa and
                  Akinori Yonezawa and
                  Satoshi Matsuoka and
                  Shigekazu Inohara and
                  Yoshikatsu Tada and
                  Hideki Sunahara and
                  Shuji Ishii and
                  Etsuya Shibayama and
                  Yoichi Shinoda},
  title        = {Comprehensive operating system for highly parallel machine},
  booktitle    = {International Symposium on Parallel Architectures, Algorithms and
                  Networks, {ISPAN} 1994, Kanazawa, Japan, December 14-16, 1994},
  pages        = {435--442},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ISPAN.1994.367135},
  doi          = {10.1109/ISPAN.1994.367135},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispan/SaitoTHOYMITSIS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scjapan/HaginoY93,
  author       = {Tatsuya Hagino and
                  Kinya Yamagishi},
  title        = {The ToM (thread on modules) microkernel},
  journal      = {Syst. Comput. Jpn.},
  volume       = {24},
  number       = {9},
  pages        = {14--21},
  year         = {1993},
  url          = {https://doi.org/10.1002/scj.4690240902},
  doi          = {10.1002/SCJ.4690240902},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/HaginoY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Hagino89,
  author       = {Tatsuya Hagino},
  title        = {Codatatypes in {ML}},
  journal      = {J. Symb. Comput.},
  volume       = {8},
  number       = {6},
  pages        = {629--650},
  year         = {1989},
  url          = {https://doi.org/10.1016/S0747-7171(89)80065-3},
  doi          = {10.1016/S0747-7171(89)80065-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Hagino89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Hagino87,
  author       = {Tatsuya Hagino},
  title        = {A categorical programming language},
  school       = {University of Edinburgh, {UK}},
  year         = {1987},
  url          = {https://hdl.handle.net/1842/13976},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Hagino87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctcs/Hagino87,
  author       = {Tatsuya Hagino},
  editor       = {David H. Pitt and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {A Typed Lambda Calculus with Categorical Type Constructors},
  booktitle    = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
                  1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {283},
  pages        = {140--157},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18508-9\_24},
  doi          = {10.1007/3-540-18508-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/Hagino87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iota/HaginoS83,
  author       = {Tatsuya Hagino and
                  Etsuya Shibayama},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Verification System},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {80--98},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_7},
  doi          = {10.1007/3-540-12693-7\_7},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HaginoS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iota/HondaHS83,
  author       = {Michio Honda and
                  Tatsuya Hagino and
                  Etsuya Shibayama},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Proof System},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {99--108},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_8},
  doi          = {10.1007/3-540-12693-7\_8},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HondaHS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iota/HaginoHKNSY83,
  author       = {Tatsuya Hagino and
                  Michio Honda and
                  Akihiko Koga and
                  Reiji Nakajima and
                  Etsuya Shibayama and
                  Taiichi Yuasa},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {{KWIC} Example},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {114--175},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_10},
  doi          = {10.1007/3-540-12693-7\_10},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HaginoHKNSY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.