Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Masato Takeichi
@article{DBLP:journals/corr/abs-2112-00286,
author = {Masato Takeichi},
title = {Conflict-free Collaborative Set Sharing for Distributed Systems},
journal = {CoRR},
volume = {abs/2112.00286},
year = {2021},
url = {https://arxiv.org/abs/2112.00286},
eprinttype = {arXiv},
eprint = {2112.00286},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-00286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-00288,
author = {Masato Takeichi},
title = {Operation-based Collaborative Data Sharing for Distributed Systems},
journal = {CoRR},
volume = {abs/2112.00288},
year = {2021},
url = {https://arxiv.org/abs/2112.00288},
eprinttype = {arXiv},
eprint = {2112.00288},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-00288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/AsanoHIOTY20,
author = {Yasuhito Asano and
Zhenjiang Hu and
Yasunori Ishihara and
Makoto Onizuka and
Masato Takeichi and
Masatoshi Yoshikawa},
editor = {Lu Qin and
Wenjie Zhang and
Ying Zhang and
You Peng and
Hiroyuki Kato and
Wei Wang and
Chuan Xiao},
title = {Data Integration Models and Architectures for Service Alliances},
booktitle = {Software Foundations for Data Interoperability and Large Scale Graph
Data Analytics - 4th International Workshop, {SFDI} 2020, and 2nd
International Workshop, {LSGDA} 2020, held in Conjunction with {VLDB}
2020, Tokyo, Japan, September 4, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1281},
pages = {152--164},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61133-0\_12},
doi = {10.1007/978-3-030-61133-0\_12},
timestamp = {Tue, 21 Mar 2023 20:58:01 +0100},
biburl = {https://dblp.org/rec/conf/vldb/AsanoHIOTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/OnizukaIT20,
author = {Makoto Onizuka and
Yasunori Ishihara and
Masato Takeichi},
editor = {Lu Qin and
Wenjie Zhang and
Ying Zhang and
You Peng and
Hiroyuki Kato and
Wei Wang and
Chuan Xiao},
title = {Towards Smart Data Sharing by Updatable Views},
booktitle = {Software Foundations for Data Interoperability and Large Scale Graph
Data Analytics - 4th International Workshop, {SFDI} 2020, and 2nd
International Workshop, {LSGDA} 2020, held in Conjunction with {VLDB}
2020, Tokyo, Japan, September 4, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1281},
pages = {165--171},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61133-0\_13},
doi = {10.1007/978-3-030-61133-0\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vldb/OnizukaIT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/XiongSHT13,
author = {Yingfei Xiong and
Hui Song and
Zhenjiang Hu and
Masato Takeichi},
title = {Synchronizing concurrent model updates based on bidirectional transformation},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {89--104},
year = {2013},
url = {https://doi.org/10.1007/s10270-010-0187-3},
doi = {10.1007/S10270-010-0187-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/XiongSHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MorihataKHT12,
author = {Akimasa Morihata and
Kazuhiko Kakehi and
Zhenjiang Hu and
Masato Takeichi},
title = {Manipulating accumulative functions by swapping call-time and return-time
computations},
journal = {J. Funct. Program.},
volume = {22},
number = {3},
pages = {275--299},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000111},
doi = {10.1017/S0956796812000111},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MorihataKHT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TessonHHLT10,
author = {Julien Tesson and
Hideki Hashimoto and
Zhenjiang Hu and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Masato Takeichi},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Program Calculation in Coq},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {163--179},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_10},
doi = {10.1007/978-3-642-17796-5\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/TessonHHLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaMHT10,
author = {Kazutaka Matsuda and
Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Andrew D. Gordon},
title = {A Grammar-Based Approach to Invertible Programs},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {448--467},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_24},
doi = {10.1007/978-3-642-11957-6\_24},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/MatsudaMHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/EmotoHKMT10,
author = {Kento Emoto and
Zhenjiang Hu and
Kazuhiko Kakehi and
Kiminori Matsuzaki and
Masato Takeichi},
editor = {Pasqua D'Ambra and
Mario Rosario Guarracino and
Domenico Talia},
title = {Generators-of-Generators Library with Optimization Capabilities in
Fortress},
booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference,
Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6272},
pages = {26--37},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15291-7\_4},
doi = {10.1007/978-3-642-15291-7\_4},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/EmotoHKMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NakanoHT09,
author = {Keisuke Nakano and
Zhenjiang Hu and
Masato Takeichi},
title = {Consistent Web site updating based on bidirectional transformation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {6},
pages = {453--468},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0124-3},
doi = {10.1007/S10009-009-0124-3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/NakanoHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/XiongSHT09,
author = {Yingfei Xiong and
Hui Song and
Zhenjiang Hu and
Masato Takeichi},
editor = {Richard F. Paige},
title = {Supporting Parallel Updates with Bidirectional Model Transformations},
booktitle = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
pages = {213--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5\_15},
doi = {10.1007/978-3-642-02408-5\_15},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/XiongSHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaHT09,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Masato Takeichi},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Type-based specialization of xml transformations},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {61--72},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480955},
doi = {10.1145/1480945.1480955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MatsudaHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MorihataMHT09,
author = {Akimasa Morihata and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {The third homomorphism theorem on trees: downward {\&} upward
lead to divide-and-conquer},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {177--185},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480905},
doi = {10.1145/1480881.1480905},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MorihataMHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XiongHZSTM09,
author = {Yingfei Xiong and
Zhenjiang Hu and
Haiyan Zhao and
Hui Song and
Masato Takeichi and
Hong Mei},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Supporting automatic model inconsistency fixing},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {315--324},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595757},
doi = {10.1145/1595696.1595757},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/XiongHZSTM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HuMT08,
author = {Zhenjiang Hu and
Shin{-}Cheng Mu and
Masato Takeichi},
title = {A programmable editor for developing structured documents based on
bidirectional transformations},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {89--118},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9025-5},
doi = {10.1007/S10990-008-9025-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HuMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MorihataMT08,
author = {Akimasa Morihata and
Kiminori Matsuzaki and
Masato Takeichi},
editor = {James Hook and
Peter Thiemann},
title = {Write it recursively: a generic framework for optimal path queries},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {169--178},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411229},
doi = {10.1145/1411204.1411229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MorihataMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wse/NakanoHT08,
author = {Keisuke Nakano and
Zhenjiang Hu and
Masato Takeichi},
editor = {Chao Liu and
Filippo Ricca},
title = {Consistent Web site updating based on bidirectional transformation},
booktitle = {Proceedings of the 10th {IEEE} International Symposium on Web Systems
Evolution, {WSE} 2010, 3-4 October 2008, Beijing, China},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WSE.2008.4655395},
doi = {10.1109/WSE.2008.4655395},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wse/NakanoHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/EmotoHKT07,
author = {Kento Emoto and
Zhenjiang Hu and
Kazuhiko Kakehi and
Masato Takeichi},
title = {A Compositional Framework for Developing Parallel Programs on Two-Dimensional
Arrays},
journal = {Int. J. Parallel Program.},
volume = {35},
number = {6},
pages = {615--658},
year = {2007},
url = {https://doi.org/10.1007/s10766-007-0043-4},
doi = {10.1007/S10766-007-0043-4},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/EmotoHKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/EmotoMHT07,
author = {Kento Emoto and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Anne{-}Marie Kermarrec and
Luc Boug{\'{e}} and
Thierry Priol},
title = {Domain-Specific Optimization Strategy for Skeleton Programs},
booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
Rennes, France, August 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4641},
pages = {705--714},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74466-5\_74},
doi = {10.1007/978-3-540-74466-5\_74},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/EmotoMHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaHNHT07,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Keisuke Nakano and
Makoto Hamana and
Masato Takeichi},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Bidirectionalization transformation based on automatic derivation
of view complement functions},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {47--58},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291162},
doi = {10.1145/1291151.1291162},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MatsudaHNHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiongLHZTM07,
author = {Yingfei Xiong and
Dongxi Liu and
Zhenjiang Hu and
Haiyan Zhao and
Masato Takeichi and
Hong Mei},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Towards automatic model synchronization from model transformations},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {164--173},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321657},
doi = {10.1145/1321631.1321657},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XiongLHZTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuHT07,
author = {Dongxi Liu and
Zhenjiang Hu and
Masato Takeichi},
editor = {G. Ramalingam and
Eelco Visser},
title = {Bidirectional interpretation of XQuery},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {21--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244386},
doi = {10.1145/1244381.1244386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiuHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MoritaMMHT07,
author = {Kazutaka Morita and
Akimasa Morihata and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Automatic inversion generates divide-and-conquer parallel programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {146--155},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250752},
doi = {10.1145/1250734.1250752},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MoritaMMHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/HayashiLEMHT07,
author = {Yasushi Hayashi and
Dongxi Liu and
Kento Emoto and
Kazutaka Matsuda and
Zhenjiang Hu and
Masato Takeichi},
editor = {Guozhu Dong and
Xuemin Lin and
Wei Wang and
Yun Yang and
Jeffrey Xu Yu},
title = {A Web Service Architecture for Bidirectional {XML} Updating},
booktitle = {Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference,
APWeb 2007, and 8th International Conference, on Web-Age Information
Management, {WAIM} 2007, Huang Shan, China, June 16-18, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4505},
pages = {721--732},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72524-4\_74},
doi = {10.1007/978-3-540-72524-4\_74},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/waim/HayashiLEMHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/MatsuzakiHT06,
author = {Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
title = {Parallel skeletons for manipulating general trees},
journal = {Parallel Comput.},
volume = {32},
number = {7-8},
pages = {590--603},
year = {2006},
url = {https://doi.org/10.1016/j.parco.2006.06.002},
doi = {10.1016/J.PARCO.2006.06.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/MatsuzakiHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/EmotoMHT06,
author = {Kento Emoto and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Wolfgang E. Nagel and
Wolfgang V. Walter and
Wolfgang Lehner},
title = {Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions},
booktitle = {Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference,
Dresden, Germany, August 28 - September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4128},
pages = {605--614},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823285\_63},
doi = {10.1007/11823285\_63},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/EmotoMHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MorihataKHT06,
author = {Akimasa Morihata and
Kazuhiko Kakehi and
Zhenjiang Hu and
Masato Takeichi},
editor = {Tarmo Uustalu},
title = {Swapping Arguments and Results of Recursive Functions},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {379--396},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_22},
doi = {10.1007/11783596\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MorihataKHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/MatsuzakiHT06,
author = {Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Phillip B. Gibbons and
Uzi Vishkin},
title = {Towards automatic parallelization of tree reductions in dynamic programming},
booktitle = {{SPAA} 2006: Proceedings of the 18th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Cambridge, Massachusetts, USA, July
30 - August 2, 2006},
pages = {39--48},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1148109.1148116},
doi = {10.1145/1148109.1148116},
timestamp = {Wed, 21 Nov 2018 11:13:10 +0100},
biburl = {https://dblp.org/rec/conf/spaa/MatsuzakiHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MatsuzakiHKT05,
author = {Kiminori Matsuzaki and
Zhenjiang Hu and
Kazuhiko Kakehi and
Masato Takeichi},
title = {Systematic Derivation of Tree Contraction Algorithms},
journal = {Parallel Process. Lett.},
volume = {15},
number = {3},
pages = {321--336},
year = {2005},
url = {https://doi.org/10.1142/S0129626405002246},
doi = {10.1142/S0129626405002246},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ppl/MatsuzakiHKT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/LiuHT05,
author = {Dongxi Liu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Anthony Wiley and
Peter R. King},
title = {An environment for maintaining computation dependency in {XML} documents},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Document Engineering, Bristol,
UK, November 2-4, 2005},
pages = {42--51},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1096601.1096616},
doi = {10.1145/1096601.1096616},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/LiuHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/HuYT06,
author = {Zhenjiang Hu and
Tetsuo Yokoyama and
Masato Takeichi},
editor = {Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Program Optimizations and Transformations in Calculation Form},
booktitle = {Generative and Transformational Techniques in Software Engineering,
International Summer School, {GTTSE} 2005, Braga, Portugal, July 4-8,
2005. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4143},
pages = {144--168},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11877028\_5},
doi = {10.1007/11877028\_5},
timestamp = {Sun, 26 Apr 2020 17:09:18 +0200},
biburl = {https://dblp.org/rec/conf/gttse/HuYT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/YokoyamaHT04,
author = {Tetsuo Yokoyama and
Zhenjiang Hu and
Masato Takeichi},
title = {Deterministic second-order patterns},
journal = {Inf. Process. Lett.},
volume = {89},
number = {6},
pages = {309--314},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2003.12.008},
doi = {10.1016/J.IPL.2003.12.008},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/YokoyamaHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Wei{-}Ngan Chin},
title = {An Algebraic Approach to Bi-directional Updating},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {2--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_2},
doi = {10.1007/978-3-540-30477-7\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Tanaka-IshiiKT04,
author = {Kumiko Tanaka{-}Ishii and
Kazuhiko Kakehi and
Masato Takeichi},
editor = {Roger D. Boyle and
Martyn Clark and
Amruth N. Kumar},
title = {{EMMA:} a web-based report system for programming course--automated
verification and enhanced feedback},
booktitle = {Proceedings of the 9th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2004, Leeds, UK,
June 28-30, 2004},
pages = {278},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007996.1008116},
doi = {10.1145/1007996.1008116},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Tanaka-IshiiKT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Dexter Kozen and
Carron Shankland},
title = {An Injective Language for Reversible Computation},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {289--313},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_16},
doi = {10.1007/978-3-540-27764-4\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HuMT04,
author = {Zhenjiang Hu and
Shin{-}Cheng Mu and
Masato Takeichi},
editor = {Nevin Heintze and
Peter Sestoft},
title = {A programmable editor for developing structured documents based on
bidirectional transformations},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {178--189},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014025},
doi = {10.1145/1014007.1014025},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HuMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Tanaka-IshiiHT03,
author = {Kumiko Tanaka{-}Ishii and
Daichi Hayakawa and
Masato Takeichi},
editor = {Erhard W. Hinrichs and
Dan Roth},
title = {Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse
of a Small User Corpus},
booktitle = {Proceedings of the 41st Annual Meeting of the Association for Computational
Linguistics, 7-12 July 2003, Sapporo Convention Center, Sapporo, Japan},
pages = {407--414},
publisher = {{ACL}},
year = {2003},
url = {https://aclanthology.org/P03-1052/},
doi = {10.3115/1075096.1075148},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/Tanaka-IshiiHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MatsuzakiHT03,
author = {Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {Parallelization with Tree Skeletons},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {789--798},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_108},
doi = {10.1007/978-3-540-45209-6\_108},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/MatsuzakiHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MurakamiHKT03,
author = {Takuma Murakami and
Zhenjiang Hu and
Kazuhiko Kakehi and
Masato Takeichi},
editor = {Maurice Bruynooghe},
title = {An Efficient Staging Algorithm for Binding-Time Analysis},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {106--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_9},
doi = {10.1007/978-3-540-25938-1\_9},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MurakamiHKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/YokoyamaHT03,
author = {Tetsuo Yokoyama and
Zhenjiang Hu and
Masato Takeichi},
editor = {Maurice Bruynooghe},
title = {Deterministic Higher-Order Patterns for Program Transformation},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {128--142},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_12},
doi = {10.1007/978-3-540-25938-1\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/YokoyamaHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/KakehiHT03,
author = {Kazuhiko Kakehi and
Zhenjiang Hu and
Masato Takeichi},
editor = {Walter Dosch and
Roger Y. Lee},
title = {List Homomorphism with Accumulation},
booktitle = {Proceedings of the {ACIS} Fourth International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
pages = {250--259},
publisher = {{ACIS}},
year = {2003},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snpd/KakehiHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/OgawaHST02,
author = {Mizuhito Ogawa and
Zhenjiang Hu and
Isao Sasano and
Masato Takeichi},
title = {Algebraic construction of graphs with bounded tree width and its applications
- Catamorphic Approach to Program Analyses},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {58--73},
year = {2002},
timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/OgawaHST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KakehiHT02,
author = {Kazuhiko Kakehi and
Zhenjiang Hu and
Masato Takeichi},
title = {Fusion Transformation on Functional Programs of Regular Expression
Types},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {160--174},
year = {2002},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KakehiHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HuIT02,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
title = {Flattening Transformation for Efficient Segmented Computation - Segmented
Diffusion Theorem},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {246--257},
year = {2002},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HuIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MatsuzakiHT02,
author = {Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
title = {Implementation of Parallel Tree Skeletons on Distributed Systems},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {258--271},
year = {2002},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MatsuzakiHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MurakamiHT02,
author = {Takuma Murakami and
Zhenjiang Hu and
Masato Takeichi},
title = {An Optimal Staging Algorithm},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {272--284},
year = {2002},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MurakamiHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YokoyamaHT02,
author = {Tetsuo Yokoyama and
Zhenjiang Hu and
Masato Takeichi},
title = {Yicho - {A} System for Programming Program Calculations},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {366--382},
year = {2002},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/YokoyamaHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/Tanaka-IshiiIT02,
author = {Kumiko Tanaka{-}Ishii and
Yusuke Inutsuka and
Masato Takeichi},
title = {Entering Text with a Four-Button Device},
booktitle = {19th International Conference on Computational Linguistics, {COLING}
2002, Howard International House and Academia Sinica, Taipei, Taiwan,
August 24 - September 1, 2002},
year = {2002},
url = {https://aclanthology.org/C02-1149/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/Tanaka-IshiiIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/ZhaoHT02,
author = {Haiyan Zhao and
Zhenjiang Hu and
Masato Takeichi},
editor = {Steffen Lange and
Ken Satoh and
Carl H. Smith},
title = {A Compositional Framework for Mining Longest Ranges},
booktitle = {Discovery Science, 5th International Conference, {DS} 2002, L{\"{u}}beck,
Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2534},
pages = {406--413},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36182-0\_42},
doi = {10.1007/3-540-36182-0\_42},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/ZhaoHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HuIT02,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Daniel Le M{\'{e}}tayer},
title = {An Accumulative Parallel Skeleton for All},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {83--97},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_7},
doi = {10.1007/3-540-45927-8\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HuIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HuCT01,
author = {Zhenjiang Hu and
Wei{-}Ngan Chin and
Masato Takeichi},
title = {Calculating a New Data Mining Algorithm for Market Basket Analysis},
journal = {J. Funct. Log. Program.},
volume = {2001},
number = {8},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/HuCT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HuIT01,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
title = {An Accumulative Parallel Skeleton for All},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {89--101},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HuIT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhaoHT01,
author = {Haiyan Zhao and
Zhenjiang Hu and
Masato Takeichi},
title = {A Compositional Framework for Querying Optimized Ranges},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {363--376},
year = {2001},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhaoHT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/Tanaka-IshiiIT01,
author = {Kumiko Tanaka{-}Ishii and
Yusuke Inutsuka and
Masato Takeichi},
title = {Japanese Text Input System With Digits},
booktitle = {Proceedings of the First International Conference on Human Language
Technology Research, {HLT} 2001, San Diego, California, USA, March
18-21, 2001},
publisher = {Morgan Kaufmann},
year = {2001},
url = {https://aclanthology.org/H01-1044/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/Tanaka-IshiiIT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlprs/Tanaka-IshiiIT01,
author = {Kumiko Tanaka{-}Ishii and
Yusuke Inutsuka and
Masato Takeichi},
title = {Personalization of Text Entry Systems for Mobile Phones},
booktitle = {Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium,
November 27-30, 2001, Hitotsubashi Memorial Hall, National Center
of Sciences, Tokyo, Japan},
pages = {177--184},
year = {2001},
url = {http://www.afnlp.org/nlprs2001/pdf/0040-01.pdf},
timestamp = {Thu, 04 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nlprs/Tanaka-IshiiIT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlprs/InutsukaTT01,
author = {Yusuke Inutsuka and
Kumiko Tanaka{-}Ishii and
Masato Takeichi},
title = {Thai Text Entry with Digits},
booktitle = {Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium,
November 27-30, 2001, Hitotsubashi Memorial Hall, National Center
of Sciences, Tokyo, Japan},
pages = {579--584},
year = {2001},
url = {http://www.afnlp.org/nlprs2001/pdf/0052-01.pdf},
timestamp = {Thu, 04 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nlprs/InutsukaTT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/SasanoHT01,
author = {Isao Sasano and
Zhenjiang Hu and
Masato Takeichi},
editor = {Walid Taha},
title = {Generation of Efficient Programs for Solving Maximum Multi-marking
Problems},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {72--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_5},
doi = {10.1007/3-540-44806-3\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/SasanoHT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhaoHT00,
author = {Haiyan Zhao and
Zhenjiang Hu and
Masato Takeichi},
title = {Mining Optimized Ranges},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {119--127},
year = {2000},
timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhaoHT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SasanoHTO00,
author = {Isao Sasano and
Zhenjiang Hu and
Masato Takeichi and
Mizuhito Ogawa},
editor = {Martin Odersky and
Philip Wadler},
title = {Make it practical: a generic linear-time algorithm for solving maximum-weightsum
problems},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
pages = {137--149},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240.351254},
doi = {10.1145/351240.351254},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SasanoHTO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iral/IwasakiTTT00,
author = {Hideya Iwasaki and
Kumiko Tanaka{-}Ishii and
Kei Tateno and
Masato Takeichi},
editor = {Kam{-}Fai Wong and
Dik Lun Lee and
Jong{-}Hyeok Lee},
title = {Context-sensitive detection and correction of homonym errors in Japanese
texts (poster session)},
booktitle = {Proceedings of the Fifth International Workshop on Information Retrieval
with Asian Languages, 2000, Hong Kong, China, September 30 - October
01, 2000},
pages = {215--216},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355214.355251},
doi = {10.1145/355214.355251},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iral/IwasakiTTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HuCT00,
author = {Zhenjiang Hu and
Wei{-}Ngan Chin and
Masato Takeichi},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Calculating a New Data Mining Algorithm for Market Basket Analysis},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {169--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_12},
doi = {10.1007/3-540-46584-7\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/HuCT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChinKHT00,
author = {Wei{-}Ngan Chin and
Siau{-}Cheng Khoo and
Zhenjiang Hu and
Masato Takeichi},
editor = {Jens Palsberg},
title = {Deriving Parallel Codes via Invariants},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {75--94},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_5},
doi = {10.1007/978-3-540-45099-3\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChinKHT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HuIT99,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
title = {Calculating Accumulations},
journal = {New Gener. Comput.},
volume = {17},
number = {2},
pages = {153--173},
year = {1999},
url = {https://doi.org/10.1007/BF03037434},
doi = {10.1007/BF03037434},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HuIT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/HuT99,
author = {Zhenjiang Hu and
Masato Takeichi},
title = {Calculating an Optimal Homomorphic Algorithm for Bracket Matching},
journal = {Parallel Process. Lett.},
volume = {9},
number = {3},
pages = {335--345},
year = {1999},
url = {https://doi.org/10.1142/S0129626499000311},
doi = {10.1142/S0129626499000311},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/HuT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmsp/HayashiYMATD99,
author = {Takanori Hayashi and
Shin'ichiro Yamasaki and
Naoto Morita and
Hitoshi Aida and
Masato Takeichi and
Norihisa Doi},
editor = {K. J. Ray Liu and
J{\"{o}}rn Ostermann and
Ed F. Deprettere and
W. Bastiaan Kleijn and
John Aasted S{\o}rensen},
title = {Effects of {IP} packet loss and picture frame reduction on {MPEG1}
subjective quality},
booktitle = {Third {IEEE} Workshop on Multimedia Signal Processing, {MMSP} 1999,
Copenhagen, Denmark, September 13-15, 1999},
pages = {515--520},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/MMSP.1999.794135},
doi = {10.1109/MMSP.1999.794135},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/mmsp/HayashiYMATD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HuTI99,
author = {Zhenjiang Hu and
Masato Takeichi and
Hideya Iwasaki},
editor = {Olivier Danvy},
title = {Diffusion: Calculating Efficient Parallel Programs},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation, San Antonio, Texas, USA,
January 22-23, 1999. Technical report {BRICS-NS-99-1}},
pages = {85--94},
publisher = {University of Aarhus},
year = {1999},
timestamp = {Tue, 22 May 2012 15:24:56 +0200},
biburl = {https://dblp.org/rec/conf/pepm/HuTI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/TakanoHT98,
author = {Akihiko Takano and
Zhenjiang Hu and
Masato Takeichi},
title = {Program Transformation in Calculational Form},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {7},
year = {1998},
url = {https://doi.org/10.1145/289121.289128},
doi = {10.1145/289121.289128},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/TakanoHT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IwasakiHT98,
author = {Hideya Iwasaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Towards Manipulation of Mutually Recursive Functions},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {61--79},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 10:47:11 +0200},
biburl = {https://dblp.org/rec/conf/flops/IwasakiHT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HuTC98,
author = {Zhenjiang Hu and
Masato Takeichi and
Wei{-}Ngan Chin},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Parallelization in Calculational Forms},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {316--328},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268972},
doi = {10.1145/268946.268972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HuTC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/XuTI97,
author = {Liangwei Xu and
Masato Takeichi and
Hideya Iwasaki},
title = {Relational Semantics for Locally Nondeterministic Programs},
journal = {New Gener. Comput.},
volume = {15},
number = {3},
pages = {339--362},
year = {1997},
url = {https://doi.org/10.1007/BF03037950},
doi = {10.1007/BF03037950},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/XuTI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HuIT97,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
title = {Formal Derivation of Efficient Parallel Programs by Construction of
List Homomorphisms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {3},
pages = {444--461},
year = {1997},
url = {https://doi.org/10.1145/256167.256201},
doi = {10.1145/256167.256201},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/HuIT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/OnoueHIT97,
author = {Yoshiyuki Onoue and
Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {A calculational fusion system {HYLO}},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {76--106},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/OnoueHIT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HuITT97,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi and
Akihiko Takano},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Tupling Calculation Eliminates Multiple Data Traversals},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {164--175},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258964},
doi = {10.1145/258948.258964},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HuITT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1996,
editor = {Tetsuo Ida and
Atsushi Ohori and
Masato Takeichi},
title = {Functional and Logic Programming, Proceedings of the Second Fuji International
Workshop, Shonan Village Center, Japan, 1-4 November 1996},
publisher = {World Scientific},
year = {1997},
isbn = {981-02-2923-2},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HuIT96,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment
Sum Problem},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {553--562},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_75},
doi = {10.1007/3-540-61626-8\_75},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/HuIT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HuIT96,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Robert Harper and
Richard L. Wexelblat},
title = {Deriving Structural Hylomorphisms From Recursive Definitions},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
May 24-26, 1996},
pages = {73--82},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/232627.232637},
doi = {10.1145/232627.232637},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HuIT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HuIT96,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {Construction of List Homomorphisms by Tupling and Fusion},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {407--418},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_166},
doi = {10.1007/3-540-61550-4\_166},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HuIT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HuIT96,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Cheap Tupling in Calculational Form},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {471--472},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_105},
doi = {10.1007/3-540-61756-6\_105},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HuIT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1995,
editor = {Masato Takeichi and
Tetsuo Ida},
title = {Functional and Logic Programming, Proceedings of the Fuji International
Workshop, Susono, Japan, 17-19 July 1995},
publisher = {World Scientific},
year = {1995},
isbn = {981-02-2437-0},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/XuIT94,
author = {Liangwei Xu and
Hideya Iwasaki and
Masato Takeichi},
title = {Derivation of Algorithms by Introduction of Generation Functions},
journal = {New Gener. Comput.},
volume = {13},
number = {1},
pages = {75--98},
year = {1994},
url = {https://doi.org/10.1007/BF03038309},
doi = {10.1007/BF03038309},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/XuIT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Takeichi87,
author = {Masato Takeichi},
title = {Partial Parametrization Eliminates Multiple Traversals of Data Structures},
journal = {Acta Informatica},
volume = {24},
number = {1},
pages = {57--77},
year = {1987},
url = {https://doi.org/10.1007/BF00290706},
doi = {10.1007/BF00290706},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Takeichi87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Takeichi86,
author = {Masato Takeichi},
title = {Inserting Injection Operations to Denotational Specifications},
journal = {New Gener. Comput.},
volume = {4},
number = {4},
pages = {365--381},
year = {1986},
url = {https://doi.org/10.1007/BF03037390},
doi = {10.1007/BF03037390},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Takeichi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
