HU ZHENJIANG 胡振江

… Alternative Names

HU Zhenjiang 胡振江

Less

Researcher Number	50292769
External Links
Affiliation (Current)	2025: 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授
Affiliation (based on the past Project Information) *help	2022: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2018 – 2022: 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授 2010 – 2018: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2017: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2011: 国立情報学研究所, 教授 … More 2008: National Institute of Informatics, アーキテクチャ科学研究系, 教授 2007: The University of Tokyo, 大学院・情報理工学系研究科, 准教授 2006: The University of Tokyo, Graduate School of Information Science and Technology, Associate Professor, 大学院情報理工学系研究科, 助教授 2003 – 2005: 東京大学, 大学院・情報理工学系研究科, 助教授 2001: Graduate School of Information Science and Technology, The University of Tokyo, Assistant Professor, 大学院・情報理工学系研究科, 助教授 2000 – 2001: 東京大学, 大学院・工学系研究科, 助教授 1998 – 1999: The University of Tokyo, School of Engineering, Assistant, Professor, 大学院・工学系研究科, 講師 Less
Review Section/Research Field	Principal Investigator Software / Software / Science and Engineering / 計算機科学 Except Principal Investigator Software / 計算機科学 / Software / Fundamental theory of informatics
Keywords	Principal Investigator 双方向変換 / グラフ変換 / プログラミング言語 / ソフトウェア学 / 情報システム / 並列プログラミング / アルゴリズム / モデル変換 / ソフトウェア開発効率化・安定化 / プログラム変換 … More / 並列化 / 関数プログラミング / 運算 / 構成的手法 / 融合変換 / プログラミング / 双方向変換相互運用 / ソフトウエア / 自律分散データ / 相互運用 / Parallelization, / Parallel Programming / Pregel / Parallelization / Structural Recursion / Graph Processing / グラフ問い合わせ / 構造的再帰 / 大規模グラフ / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / プログラミングパラダイム / プログラム言語論 / 検証 / モデル駆動ソフトウェア / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学 / 情報通信工学 / ソフトウェア開発効率化、安定化 / 情報工学 / 自動並列化 / ソフトウエア開発効率化 / 並列スケルトン / 超高速情報処理 / ソフトコンピユーティング / ディレクトリ・情報検索 / ソフトコンピューティング / 情報検索 / ソフトウェア開発効率化 / プログラミング代数 / 変換の構造化 / プログラム運算 / プログラミング環境 / アルゴリズムの導出 / BMF / Skeleton / 実行反映 … More Except Principal Investigator 融合変換 / アルゴリズム / C++ / Functional Programming / Algorithm / Calculation / Fusion Transformation / 関数プログラミング / 運算 / 構成的手法 / Program Calculation / 並列プログラミング / SkeTo / Parallel Programming / 並列スケルトン / MPI / プログラム運算 / Constructive Algorithmics / 構成的アルゴリズム論 / プログラミング言語 / プログラム言語 / 自己適応ソフトウェア / 協調プランニング / 環境モデル学習 / 離散制御器合成 / Graceful Degradation / 実行時モデル / 自己適応システム / Program optimization / Parallel Skeletons / Parallel Library / 最適化 / 並列ライブラリ / Parallel Skeleton Library / スケルトンプログラミング / プログラム変換 / スケルトン並列プログラミング / プログラム融合変換 / 並列スケルトンライブラリ / Document Processiog / Calculation Carrying Mechanism / Structured Document / 文書処理 / 運算随伴機構 / 構造化文書 / Fusion / Parallelization / 並列化 / 組変換 / プログラム最適 / 代数的データ型 / 大規模並列処理 / 関数型言語 / 代数データ型 / 領域特化言語 / グラフ並列処理 / プログラミング方法論 / MapReduce / 省スペースアルゴリズム / 並列アルゴリズム / GPGPU / メニーコア / プログラミングパラダイム / 双方向変換 / 双方向変換機構 / ソフトウェア設計 Less

Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional TransformationPrincipal Investigator
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Multi-view Models@run.time Framework
- Principal Investigator
  
  Honiden Shinichi
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Waseda University
Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph QueryingPrincipal Investigator
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Developing an algebraic model and program development platform for large-scale graph processing
- Principal Investigator
  
  Iwasaki Hideya
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph TransformationPrincipal Investigator
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Development of General Computation Models for Many-core Environments
- Principal Investigator
  
  SADAKANE Kunihiko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
  National Institute of Informatics
Study on Language Foundation for Bidirectional Model TransformationPrincipal Investigator
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Parallelism-Oblivious Parallel Programming
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institution for Academic Degrees and University Evaluation
  The University of Tokyo
Towards Model Transformation Validation from Model ValidationPrincipal Investigator
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Bidirectional Transformation Mechanisms and its Application
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
A Constructive Approach to Structured Parallel ProgrammingPrincipal Investigator
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
  The University of Tokyo
Development of a Parallel Skeleton Library for rich set of data types withoptimization mechanism
- Principal Investigator
  
  IWASAKI Hideya
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
連想計算の代数に基づく並列連想計算方式の研究Principal Investigator
- Principal Investigator
  
  胡振江
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
連想計算の代数に基づく並列連想計算方式の研究Principal Investigator
- Principal Investigator
  
  胡振江
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Calculation Carrying Document Processing Language and its Application
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Development of Theoretical Basis and Practical Implementation of a new Skeletal Parallel Programming System
- Principal Investigator
  
  IWASAKI Hideya
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
プログラム運算システムの設計および実現に関する研究Principal Investigator
- Principal Investigator
  
  胡振江
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Implementation of Constructive Parallel Programming Models
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Implementation of Program Calculator System
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
自己反映的構造化関数プログラミングに関する研究Principal Investigator
- Principal Investigator
  
  胡振江
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  The University of Tokyo
プログラム並列化の計算手法とその実現に関する研究Principal Investigator
- Principal Investigator
  
  胡振江
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Implementation of a Program Calculation System
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Program Optimization Based on Constructive Algorithmics
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo

[Book] Engineering Adaptive Software Systems - Communications of NII Shonan Meetings2019
- Author(s)
  Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Muller, John Mylopoulos, Bashar Nuseibeh (editors)
- Publisher
  Springer
- ISBN
  9789811321856
- Data Source
  KAKENHI-PROJECT-17H06099
[Book] Theory and Practice of Model Transformations - 5th International Conference2012
- Author(s)
  Zhenjiang Hu, Juan de Lara (Eds)
- Publisher
  ICMT 2012, Prague, Czech Republic
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] HVS: Hierarchical Graph Structure Based on Voronoi Diagrams for Solving Approximate Nearest Neighbor Search2021
- Author(s)
  Kejing Lu, Mineichi Kudo, Chuan Xiao, Yoshiharu Ishikawa
- Journal Title
  
  PVLDB
  
  Volume: 15(2) Pages: 246-258
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Generalizing the Pigeonhole Principle for Similarity Search in Hamming Space2021
- Author(s)
  Jianbin Qin, Chuan Xiao, Yaoshu Wang, Wei Wang, Xuemin Lin, Yoshiharu Ishikawa, Guoren Wang
- Journal Title
  
  IEEE Transactions on Knowledge and Data Engineering (TKDE)
  
  Volume: 33(2) Pages: 489-505
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Model-Driven Engineering City Spaces via Bidirectional Model Transformations2021
- Author(s)
  Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 20 Pages: 2003-2022
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Protecting Spatiotemporal Event Privacy in Continuous Location-Based Services2020
- Author(s)
  Yang Cao, Yonghui Xiao, Li Xiong, Liquan Bai, Masatoshi Yoshikawa
- Journal Title
  
  IEEE Transactions on Knowledge and Data Engineering (TKDE)
  
  Volume: 33 Pages: 3141-3154
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Query Autocompletion with Edit Distance-based Error Tolerance2020
- Author(s)
  Jianbin Qin, Chuan Xiao, Sheng Hu, Jie Zhang, Wei Wang, Yoshiharu Ishikawa, Koji Tsuda, Kunihiko Sadakane
- Journal Title
  
  The VLDB Journal
  
  Volume: 29(4) Pages: 919-943
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration2020
- Author(s)
  Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 170 Pages: 110742-110742
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Programmable View Update Strategies on Relations2020
- Author(s)
  Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
- Journal Title
  
  PVLDB
  
  Volume: 13(5) Pages: 726-739
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars2020
- Author(s)
  Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, Joao Saraiva, Zhenjiang Hu
- Journal Title
  
  New Generation Computing
  
  Volume: 38
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Quantifying Differential Privacy in Continuous Data Release Under Temporal Correlations2019
- Author(s)
  Cao Yang、Yoshikawa Masatoshi、Xiao Yonghui、Xiong Li
- Journal Title
  
  IEEE Transactions on Knowledge and Data Engineering (TKDE)
  
  Volume: 31 Issue: 7 Pages: 1281-1295
- DOI
  10.1109/tkde.2018.2824328
- NAID
  120006636647
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] PriSTE: Protecting Spatiotemporal Event Privacy in Continuous Location-Based Services.2019
- Author(s)
  Yang Cao, Yonghui Xiao, Li Xiong, Liquan Bai, Masatoshi Yoshikawa.
- Journal Title
  
  Proceedings of the VLDB Endowment
  
  Volume: 12.12(2019) Pages: 1866-1869
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] iPregel: Vertex-centric Programmability vs Memory Efficiency and Performance, Why Choose?2019
- Author(s)
  Ludovic Capelli, Zhenjiang Hu, Timothy Zakianc, Nick Brownd, Mark Bull.
- Journal Title
  
  Parallel Computing
  
  Volume: 86 Pages: 45-56
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Journal Article] Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds2017
- Author(s)
  Wu Quanwang、Ishikawa Fuyuki、Zhu Qingsheng、Xia Yunni、Wen Junhao
- Journal Title
  
  IEEE Transactions on Parallel and Distributed Systems
  
  Volume: 28 (12) Issue: 12 Pages: 3401-3412
- DOI
  10.1109/tpds.2017.2735400
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Journal Article] Goal Modelling for Security Problem Matching and Pattern Enforcement2017
- Author(s)
  Yu Yijun、Kaiya Haruhiko、Yoshioka Nobukazu、Hu Zhenjiang、Washizaki Hironori、Xiong Yingfei、Hosseinian-Far Amin
- Journal Title
  
  International Journal of Secure Software Engineering
  
  Volume: 8 Issue: 3 Pages: 42-57
- DOI
  10.4018/ijsse.2017070103
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-15K00109, KAKENHI-PROJECT-17H00732
[Journal Article] BiFluX: A Bidirectional Functional Update Language for XML2016
- Author(s)
  Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
- Journal Title
  
  JSSST Computer Software
  
  Volume: 印刷中
- NAID
  130005290614
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] Towards Systematic Parallelization of Graph Transformations over Pregel2016
- Author(s)
  Le Dec Tung, Zhenjiang Hu
- Journal Title
  
  International Journal of Parallel Programming (IJPP)
  
  Volume: 印刷中 Issue: 2 Pages: 320-339
- DOI
  10.1007/s10766-016-0418-5
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011, KAKENHI-PROJECT-26280020, KAKENHI-PROJECT-17H00732
[Journal Article] Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel2016
- Author(s)
  Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 6 Pages: 928-936
- DOI
  10.2197/ipsjjip.24.928
- NAID
  130005282160
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020, KAKENHI-PROJECT-15K12011
[Journal Article] Feature-based classification of bidirectional transformation approaches2015
- Author(s)
  Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
- Journal Title
  
  Software and Systems Modeling
  
  Volume: 未定 Issue: 3 Pages: 907-928
- DOI
  10.1007/s10270-014-0450-0
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330096, KAKENHI-PROJECT-25240009
[Journal Article] MEGAHIT: An ultra-fast single-node solution for large and complex metagenomics assembly via succinct de Bruijn graph2015
- Author(s)
  Dinghua Li, Chi-Man Liu, Ruibang Luo, Kunihiko Sadakane, Tak-Wah Lam
- Journal Title
  
  Bioinformatics
  
  Volume: 31(10) Issue: 10 Pages: 1674-1676
- DOI
  10.1093/bioinformatics/btv033
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23240002, KAKENHI-PROJECT-25240003
[Journal Article] How Functional Programming Mattered, National Science Review2015
- Author(s)
  Zhenjiang Hu, John Hughes, Meng Wang
- Journal Title
  
  Oxford Journal
  
  Volume: Volume2, Issue3 Issue: 3 Pages: 349-270
- DOI
  10.1093/nsr/nwv042
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011
[Journal Article] Constructing Format-Preserving Printing from Syntax-Directed Definition2015
- Author(s)
  Lichao Wang, Guoqiang Li, Zhenjiang Hu
- Journal Title
  
  Science China Information Sciences
  
  Volume: Vol.58, No.11 Issue: 11 Pages: 1-14
- DOI
  10.1007/s11432-015-5368-9
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] The Essence of Bidirectional Programming2015
- Author(s)
  Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
- Journal Title
  
  Science China Information Sciences
  
  Volume: Vol.58, No. 5 Issue: 5 Pages: 1-21
- DOI
  10.1007/s11432-015-5316-8
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] A Generate-Test-Aggregate Parallel Programming Library for Systematic Parallel Programming2014
- Author(s)
  Yu Liu, Kento Emoto, Zhenjiang Hu
- Journal Title
  
  Parallel Computing
  
  Volume: Volume 40, Issue 2 Issue: 4 Pages: 116-135
- DOI
  10.1007/s11390-014-1462-5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] Context-Preserving XQuery Fusion2014
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: online Issue: 4 Pages: 916-941
- DOI
  10.1017/s096012951300008x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25730002, KAKENHI-PROJECT-26330097, KAKENHI-PROJECT-25240009
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol. 10 Pages: 131-148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Context-Preserving XQuery Fusion2013
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS)
  
  Volume: Vol. 23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Memory-constrained algorithms for simple polygons2013
- Author(s)
  Tetsuo Asano, Kevin Buchin, Maike Buchin, Matias Korman, Wolfgang Mulzer, Gunter Rote, Andre Schulz
- Journal Title
  
  Comput. Geom.
  
  Volume: 46(8) Issue: 8 Pages: 959-969
- DOI
  10.1016/j.comgeo.2013.04.005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240002, KAKENHI-PROJECT-23300001, KAKENHI-PLANNED-24106004
[Journal Article] Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins2013
- Author(s)
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- Journal Title
  
  Journal of Functional Programming
  
  Volume: Volume 23, Issue 5 Issue: 5 Pages: 515-551
- DOI
  10.1017/s0956796813000130
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] Supporting Feature Model Refinement with Updatable View2013
- Author(s)
  Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
- Journal Title
  
  Frontiers of Computer Science
  
  Volume: Volume 7, Issue 2 Issue: 2 Pages: 257-271
- DOI
  10.1007/s11704-013-2047-0
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22300012, KAKENHI-PROJECT-25240009
[Journal Article] An Expressive Bidirectional Transformation Language for XQuery View Update2013
- Author(s)
  Dongxi Liu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol. 10 Pages: 89-130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Fast relative Lempel-Ziv self-index for similar sequences2012
- Author(s)
  Huy Hoang Do, Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung
- Journal Title
  
  Proceedings of the 2012 Joint FAW-AAIM Conference
  
  Volume: LNCS 7285 Pages: 291-302
- DOI
  10.1007/978-3-642-29700-7_27
- ISBN
  9783642296994, 9783642297007
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240002
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 174-191
- NAID
  130004549266
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/2/29_2_174/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (印刷中)(掲載確定)
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Delta Lenses over Inductive Types2012
- Author(s)
  Hugo Pacheco, Alcino Cunha , Zhenjiang Hu
- Journal Title
  
  Electronic Communications of the EASST
  
  Volume: Volume 49 Pages: 1-17
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- Journal Title
  
  コンピュータソフトウエア
  
  Volume: 29巻2号 Pages: 174-192
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations2012
- Author(s)
  Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Journal of Functional Programming
  
  Volume: Vol. 22, No. 3 Issue: 3 Pages: 275-299
- DOI
  10.1017/s0956796812000111
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Refactoring Pattern Matching2012
- Author(s)
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- Journal Title
  
  Science of Computer Programming
  
  Volume: 未定 Issue: 11 Pages: 2216-2242
- DOI
  10.1016/j.scico.2012.07.014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011
- Author(s)
  Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Software and Systems Modeling
  
  Volume: (Online First)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650006
[Journal Article] Supporting Runtime Software Architecture : A Bidirectional-Transformation-Based Approach2011
- Author(s)
  Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 84 Pages: 711-723
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Supporting Runtime Software Architecture:A Bidirectional-Transformation-Based Approach2011
- Author(s)
  Hui Song, Yingfei Xiong, Franck Chaouvel, Gnag Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 84(掲載確定) Pages: 711-723
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Dagstuhl Seminar on Bidirectional Transformations2011
- Author(s)
  Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger
- Journal Title
  
  SIGMOD Record
  
  Volume: Vol.40, No.1 Pages: 35-39
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011
- Author(s)
  Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Soft-ware and Systems Modeling
- Data Source
  KAKENHI-PROJECT-22650006
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 74-191
- NAID
  130004549266
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011
- Author(s)
  Yignfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Software and Systems Modeling
  
  Pages: 1-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming2010
- Author(s)
  Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Proceedings of 19th European Symposium on Programming
  
  Volume: LNCS6012 Pages: 448-467
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zehnjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report GRACE-TR-2010-04
  
  Volume: 2010-04 Pages: 1-27
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report
  
  Volume: 04 Pages: 1-27
- URL
  http://grace-center.jp/downloads/GRACE-TR-2010-04.pdf
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] Supporting Runtime Software Architecture : A Bidirectional- Transformation Based Approach2010
- Author(s)
  Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
- Journal Title
  
  Journal of Systems and Software, Elsevier
  
  Volume: Volume 84, Issue 5, May 2011 Pages: 711-723
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Type-based Specialization of XML Transformations2009
- Author(s)
  Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)
  
  Pages: 61-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Automatic Model Inconsistency Fixing2009
- Author(s)
  Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
- Journal Title
  
  ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)
  
  Pages: 315-324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009
- Author(s)
  森畑明昌, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌 Vol. 2, No. 2
  
  Pages: 132-143
- NAID
  110007970896
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009
- Author(s)
  松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
- Journal Title
  
  コンピュータソフトウェア 26
- NAID
  10025982390
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009
- Author(s)
  松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
- Journal Title
  
  コンピュータソフトウェア第26巻
- NAID
  10025982390
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Type-based Specialization of XML Transformations.2009
- Author(s)
  Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi.
- Journal Title
  
  ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009).
  
  Pages: 61-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Consistent Web Site Updating based on Bidirectional Transformation.2009
- Author(s)
  Keisuke Nakano, Zhenjiang Hu, Masato Takeichi.
- Journal Title
  
  International Journal on Software Tools for Technology Transfer. Vol.11
  
  Pages: 453-468
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009
- Author(s)
  Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  International Journal on Software Tools for Technology Transfer Vol. 11
  
  Pages: 453-468
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Automatic Model Inconsistency Fixing.2009
- Author(s)
  Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei.
- Journal Title
  
  ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).
  
  Pages: 315-324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Automatic Model Inconsistency Fixing2009
- Author(s)
  Yingfei Xiong, 胡振江, Haiyan Zhao, Hui Song, 武市正人, Hong Mei
- Journal Title
  
  ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)
  
  Pages: 315-324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Type-based Specialization of XML Transformations2009
- Author(s)
  松田一孝, 胡振江, 武市正人
- Journal Title
  
  ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)
  
  Pages: 61-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009
- Author(s)
  中野圭介, 胡振江, 武市正人
- Journal Title
  
  International Journal on Software Tools for Technology Transfer 11
  
  Pages: 453-468
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Automatic Model Inconsistency Fixing2009
- Author(s)
  Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
- Journal Title
  
  ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)
  
  Pages: 315-324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations2009
- Author(s)
  Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  International Conference on Model Transformation (ICMT 2009)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009
- Author(s)
  森畑明昌,松崎公紀,胡振江,武市正人
- Journal Title
  
  情報処理学会論文誌, プログラミング Vol.2(2)
  
  Pages: 132-143
- NAID
  110007970896
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations.2008
- Author(s)
  Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi.
- Journal Title
  
  Higher-Order and Symbolic Computation. Vol.21
  
  Pages: 89-118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀、胡振江、武市正人
- Journal Title
  
  情報処理学会論文誌 Vol.49,No.SIG3,PRO36
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀,胡振江,武市正人
- Journal Title
  
  情報処理学会論文誌 Vol.49, No.SIG3, PRO36
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 並列計算パターン (スケルトン) による並列プログラミング2008
- Author(s)
  岩崎英哉,胡振江
- Journal Title
  
  情報処理学会誌「情報処理」 Vol.49,No.12
  
  Pages: 1385-1394
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 並列計算パターン(スケルトン)による並列プログラミング2008
- Author(s)
  岩崎英哉, 胡振江
- Journal Title
  
  情報処理学会誌「情報処理」 Vol. 49, No. 12
  
  Pages: 1385-1394
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards Automatic Model Synchronization from Model Transformations.2008
- Author(s)
  Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
- Journal Title
  
  22nd IEEE/ACM International Conference on Automated Software Engineering.
  
  Pages: 164-173
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers2008
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu
- Journal Title
  
  Scalable Computing: Practice & Experience (SCPE) (掲載予定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008
- Author(s)
  Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
- Journal Title
  
  Higher-Order and Symbolic Computation 21
  
  Pages: 89-118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008
- Author(s)
  Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
- Journal Title
  
  Higher-Order and Symbolic Computation Vol. 21
  
  Pages: 89-118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Towards Automatic Model Synchronization from Model Transformations2007
- Author(s)
  Yingtel Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
- Journal Title
  
  22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007
  
  Pages: 164-173
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Towards Automatic Model Synchronization from Model Transformations2007
- Author(s)
  Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
- Journal Title
  
  22nd IEEE/ACM International Conference on Automated Software Engineering
  
  Pages: 164-173
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] A Web Service Architecture for Bidirectional XML Updating2007
- Author(s)
  Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007
  
  Pages: 721-732
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays2007
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  International Journal of Parallel Programming(UPP), Sprnger Volume35,Number6
  
  Pages: 615-658
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] ホケルトンによるXPathクエリの並列化とその評価2007
- Author(s)
  野村芳明、江本健斗、松崎公紀、胡振江、武市正人
- Journal Title
  
  コンピュータソフトウェア 24(3)
  
  Pages: 51-62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays2007
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  International Journal of Parallel Programming (IJPP) Volume 35, Number 6, Springer
  
  Pages: 615-658
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木スケルトンによるXpathクエリの並列化とその評価2007
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウエア 24(3)
  
  Pages: 51-62
- NAID
  130004638880
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Parallel Computing 32・7-8
  
  Pages: 590-603
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Parallel Computing Vol.32, No.7-8
  
  Pages: 590-603
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Parallel Computing (Elsevier) Vol.32, No.7-8
  
  Pages: 590-603
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc. 18th Annual ACM Symposium on Parallelism in Algorithlns and Architectures (SPAA 2006)
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Implementation of a File Manager based on Bidirectional Transformation on Trees(In Japanese)2006
- Author(s)
  K.Matsuda, N.Ohkawa, Y.Nomura, N.Morita, K.Kakehi, Z.Hu, M.Takeichi
- Journal Title
  
  Journal of Information Processing Society of Japan 47,PRO28(In press)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Kiminori Matsuzaki, Zhenjing Hu, Masato Takeichi
- Journal Title
  
  18^t^h ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006), Cambridge, MA, USA, July 30-August 2
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2006
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウェア
- NAID
  130004638880
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc. 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
  
  Pages: 39-48
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] A Library of Constructive Skeletons for Sequential Style of Parallel Programming2006
- Author(s)
  Matsuzaki, K., Emoto, K., Iwasaki, H., Hu, Z
- Journal Title
  
  Proc. 1st International Conference on Scalable InformationSystems (InfoScale 2006)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
- Journal Title
  
  Proc. 18 th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
  
  Pages: 39-48
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] A Library of Constructive Skeletons for Sequential Style of Parallel Programming2006
- Author(s)
  Matsuzaki, K., Emoto, K., Iwasaki, H., Hu, Z
- Journal Title
  
  Proc. First International Conference on Scalable Information Systems (InfoScale 2006)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Surrounding Theorem : Developing Parallel Programs for Matrix-Convolutions2006
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  European Conference on Parallel Computing(EuroPar2006), Drcsden, Germany, August 29-September 2, LNCS 4128, Springer 4128
  
  Pages: 6051-614
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A Library of Constructive Skeletons for Sequential Style of Parallel Programming2006
- Author(s)
  Matsuzaki, K., Emoto, K., Iwasaki, H., Hu, Z.
- Journal Title
  
  Proc. lst International Conference on Scalable Information Systems (InfoScale 2006)
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] A Library of Constructive Skeletons for sequential Style of Parallel Programming2006
- Author(s)
  Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
- Journal Title
  
  First International Conference on Scalable Information Systems(InfoScale2006), Hong Kong, May 29-June 1, 2006
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Bidirectionalizing Tree Transformation Languages : A Case Study2006
- Author(s)
  Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  コンピュータソフトウェア 23・2
- NAID
  130004892052
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Parallel Computing Vol.32, No.7-8
  
  Pages: 590-603
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木上の双方向変換を利用したファイルマネジャの実現.2006
- Author(s)
  松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌 47・PRO28(印刷中)
- NAID
  110004078714
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] 木上の双方向変換を利用したファイルマネージャの実現2006
- Author(s)
  松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌 Vol.47, No.SIG 2 (PRO28)
  
  Pages: 84-98
- NAID
  110004078714
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A Parallel Skeleton Library in C+ with Optimization Mechanism2005
- Author(s)
  Akashi, Y., Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z.
- Journal Title
  
  Computer Software(in Japanese) Vol.22, No.3
  
  Pages: 214-221
- NAID
  130005006607
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005
- Author(s)
  松田一孝, 筧一彦, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌 46(PRO ?)(予定)
- NAID
  110002769805
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  Parallel Processing Letters 15・3
  
  Pages: 321-336
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] スケルトン並列プログラミング2005
- Author(s)
  胡振江, 岩崎英哉
- Journal Title
  
  情報処理学会誌「情報処理」 46・10
  
  Pages: 1158-1163
- NAID
  110002769761
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] An Enviromnent for Maintaining Computation Dependency in XML Documents2005
- Author(s)
  Dong Liu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  ACM Symp. On Document Engineering (DocEng2005)
  
  Pages: 42-51
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005
- Author(s)
  松田一孝, 筧一彦, 胡振江, 武市正人
- Journal Title
  
  データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26
- NAID
  110002769805
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 最適化機構を持つ C++ 並列スケルトンライブラリ2005
- Author(s)
  明石良樹松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウエア Vol.22, No.3
  
  Pages: 214-222
- NAID
  130005006607
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005
- Author(s)
  Dongxi Liu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005
  
  Pages: 42-51
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
- Journal Title
  
  Parallel Processing Letters Vol.15, No.3
  
  Pages: 321-336
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005
- Author(s)
  Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  The 3^<rd> International Conf.on Education and Information Systems, Technologies and Applications (EISTA2005)
  
  Pages: 14-17
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] 助っ人 : 構成的な並列スケルトンによる並列プログラミングライブラリ2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江
- Journal Title
  
  日本ソフトウェア科学会第22回大会論文集
- NAID
  130004638879
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  Parallel Processing Letters Vol. 15, No. 3
  
  Pages: 321-336
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江
- Journal Title
  
  日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)
- NAID
  130004638879
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005
- Author(s)
  Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)
  
  Pages: 14-17
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] スケルトン並列プログラミング2005
- Author(s)
  胡振江, 岩崎英哉
- Journal Title
  
  情報処理学会誌「情報処理」 Vol.46,No.10
  
  Pages: 1158-1163
- NAID
  110002769761
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 助っ人:構成的な並列スケルトンによる並列プログラミング2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江
- Journal Title
  
  日本ソフトウェア科学会第22回大会講演論文集 CD-ROM
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウエア 22・3
  
  Pages: 214-222
- NAID
  40022143270
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  Parallel Processing Letters 15・3
  
  Pages: 321-336
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
- Journal Title
  
  Parallel Processing Letters 15・3
  
  Pages: 321-336
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] iDocument Builder : An Environment for building XML-Based Interactive Teaching Materials2005
- Author(s)
  Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)
  
  Pages: 14-17
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005
- Author(s)
  松田一孝, 筧一彦, 胡振江, 武市正人
- Journal Title
  
  データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26
- NAID
  110002769805
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2005
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)
- NAID
  130004638880
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005
- Author(s)
  Dong Liu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Proc.ACM Symposium on Document Engineering(DocEng 2005)
  
  Pages: 42-51
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] スケルトン並列プログラミング2005
- Author(s)
  胡振江, 岩崎英哉
- Journal Title
  
  情報処理学会誌「情報処理」 46・10
  
  Pages: 1158-1163
- NAID
  110002769761
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウェア 22・3
  
  Pages: 214-221
- NAID
  130005006607
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウェア (to appear)
- NAID
  130005006607
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005
- Author(s)
  Dong Liu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  ACM Symp.On Document Engineering (DocEng2005)
  
  Pages: 42-51
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] スケルトン並列プログラミング2005
- Author(s)
  胡振江, 岩崎英哉
- Journal Title
  
  情報処理 46・10
  
  Pages: 1158-1162
- NAID
  110002769761
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウェア 22・3
  
  Pages: 214-222
- NAID
  130005006607
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウェア to appear
- NAID
  130005006607
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A New Parallel Skeleton for General Accumulative Computations2004
- Author(s)
  Hideya Iwasaki, Zhenjiang Hu
- Journal Title
  
  International Journal of Parallel Programming 32・5
  
  Pages: 389-414
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] A Fusion-Embedded Skeleton Library2004
- Author(s)
  Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z., Akashi, Y.
- Journal Title
  
  Proc. Annual European Conference on parallel Processing (Euro-Par2004), Lecture Notes in Computer Science 3149
  
  Pages: 644-653
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A Fusion-Embedded Skeleton Library2004
- Author(s)
  Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z., Akashi, Y.
- Journal Title
  
  Proc.Annual European Conference on Parallel Processing(Euro-Par2004), Lecture Notes in Computer Science 3149
  
  Pages: 644-653
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] PType System : A Featherweight Parallelizability Detector2004
- Author(s)
  Xu, D.N., Khoo, S.C., Hu, Z.
- Journal Title
  
  Proc.2nd ASIAN Symposium on Programming Languages and Systems(APLAS2004)
  
  Pages: 197-212
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] 決定論的2階パターンとプログラム変換への応用2004
- Author(s)
  横山哲郎, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウェア 21・3
  
  Pages: 71-76
- NAID
  130004549029
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] Bidirectionalizing Tree Transformations2004
- Author(s)
  Z.Hu, K.Emoto, S-C Mu, M.Takeichi
- Journal Title
  
  International Workshop on New Approaches to Software Construction(WNASC2004)
  
  Pages: 3-22
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] An algebraic approach to bi-directional updating problem2004
- Author(s)
  S-C Mu, Z.Hu, M.Takeichi
- Journal Title
  
  The 2nd Asian Symposium on Programming Languages and Systems(APLAS52004)
  
  Pages: 2-20
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] Deterministic Second-order Patterns2004
- Author(s)
  Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Information Processing Letters 89・6
  
  Pages: 309-314
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] A programmable editor for developing structured documents based on bidirectional transformation2004
- Author(s)
  Z.Hu, S-C Mu, M.Takeichi
- Journal Title
  
  Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), ACM Press
  
  Pages: 178-189
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] A New Parallel Skeleton for General Accumulative Computations2004
- Author(s)
  Iwasaki, H., Hu, Z.
- Journal Title
  
  International Journal of Parallel Programming 32・5
  
  Pages: 389-414
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] An injective language for reversible computation2004
- Author(s)
  S-C Mu, Z.Hu, M.Takeichi
- Journal Title
  
  Mathematics for Programming Construction(MPC2004), Springer LNCS3125
  
  Pages: 289-313
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2004
- Author(s)
  Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
- Journal Title
  
  Proc. 4th International workshop on Constructive Methods for Parallel Programming (CMPP2004)
  
  Pages: 109-123
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A New Parallel Skeleton for General Accumulative Computations2004
- Author(s)
  Iwasaki, H., Hu, Z.
- Journal Title
  
  International Journal of Parallel Programming Vol.32, No.5
  
  Pages: 389-414
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2004
- Author(s)
  Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
- Journal Title
  
  Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)
  
  Pages: 109-123
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A New Parallel Skeleton for General Accumulative Computations2004
- Author(s)
  Iwasaki, H., Hu, Z.
- Journal Title
  
  International Journal of Parallel Programming 32
  
  Pages: 389-414
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2004
- Author(s)
  Matsuzaki, K., Hu, Z., et al.
- Journal Title
  
  Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)
  
  Pages: 109-123
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2004
- Author(s)
  Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
- Journal Title
  
  ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24-25,2004(ACM Press)
  
  Pages: 178-189
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] 決定論的2階パターンとプログラム変換への応用2004
- Author(s)
  横山哲郎, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウエア 21・5
  
  Pages: 71-76
- NAID
  130004549029
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] An Injective Language for Reversible Computation2004
- Author(s)
  Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125(Springer Verlag) 3125
  
  Pages: 289-313
- Data Source
  KAKENHI-PROJECT-16016213
[Journal Article] Deterministic Second-order Patterns2004
- Author(s)
  T.Yokoyama, Z.Hu, M.Takeichi
- Journal Title
  
  Information Processing Letters 89・6
  
  Pages: 309-314
- Data Source
  KAKENHI-PROJECT-15200001
[Journal Article] List Homomorphism with Accumulation2003
- Author(s)
  Kakehi, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc.4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD'03)
  
  Pages: 250-259
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] Parallelization with Tree Skeletons2003
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc.Annual European Conference on Parallel Processing(Euro-Par2003), Lecture Notes in Computer Science 2790
  
  Pages: 789-798
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] Parallelization with Tree Skeletons2003
- Author(s)
  Matsuzaki, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc. Annual European Conference on Parallel Processing (Euro-Par2003), Lecture Notes in Computer Science 2790
  
  Pages: 789-798
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] List Homomorphism with Accumulation2003
- Author(s)
  Kakehi, K., Hu, Z., Takeichi, M.
- Journal Title
  
  Proc. SNPD'03 Conference
  
  Pages: 250-259
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Journal Article] A Library for Parallel Programming with Constructive Skeletons
- Author(s)
  Matsuzaki, K., Akashi, Y., Emoto, K., Iwasaki, H., Hu, Z.SkeTo
- Journal Title
  
  Proc. 22 nd Meeting of JSSST (in Japanese)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500021
[Journal Article] Context-Preserving XQuery Fusion
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, YasunoriIshihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS), Cambridge University Press
  
  Volume: (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Grammar-based Approach to Invertible Programs
- Author(s)
  Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi.
- Journal Title
  
  19th European Symposium on Programming (ESOP), LNCS6012 2010
  
  Pages: 448-467
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations.
- Author(s)
  Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
- Journal Title
  
  International Conference on Model Transformation (ICMT 2009).
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200002
[Journal Article] A Parallel Skeleton Library in C++ with Optimization Mechanism
- Author(s)
  Akashi, Y., Matsuzaki, K., Iwasaki, H., Kakehi, K., Hu, Z
- Journal Title
  
  Computer Software (to appear)
- NAID
  130005006607
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500020
[Presentation] High-Dimensional Similarity Query Processing for Data Science2021
- Author(s)
  Jianbin Qin, Wei Wang, Chuan Xiao, Ying Zhang, Yaoshu Wang
- Organizer
  27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Efficient Joinable Table Discovery in Data Lakes: A High-Dimensional Similarity-Based Approach2021
- Author(s)
  Yuyang Dong, Kunihiro Takeoka, Chuan Xiao, Masafumi Oyamada
- Organizer
  37th IEEE International Conference on Data Engineering (ICDE 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Consistent and Flexible Selectivity Estimation for High-Dimensional Data2021
- Author(s)
  Yaoshu Wang, Chuan Xiao, Jianbin Qin, Rui Mao, Makoto Onizuka, Wei Wang, Rui Zhang, Yoshiharu Ishikawa
- Organizer
  ACM SIGMOD International Conference on Management of Data (SIGMOD 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Generalizable Synthesis Through Unification2021
- Author(s)
  Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
- Organizer
  ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Bidirectional Collaborative Frameworks for Decentralized Data Management (invited paper)2021
- Author(s)
  Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Masato Takeichi, Chuan Xiao, Masatoshi Yoshikawa
- Organizer
  Fifth Workshop on Software Foundations for Data Interoperability (SFDI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Analytical Differential Calculus with Integration2021
- Author(s)
  Han Xu, Zhenjiang Hu
- Organizer
  International Colloquium on Automata, Languages and Programming 2021 (ICALP 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Towards Automatic Synthesis of View Update Programs on Relations2021
- Author(s)
  Bach Nguyen Trong, Zhenjiang Hu
- Organizer
  Fifth Workshop on Software Foundations for Data Interoperability (SFDI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Toward Recursive View Update Strategies on Relations2021
- Author(s)
  Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
- Organizer
  Ninth International Workshop on Bidirectional Transformations (BX 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] A Counterexample-Guided Debugger for Non-Recursive Datalog2020
- Author(s)
  Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
- Organizer
  18th Asian Symposium on Programming Languages and Systems (APLAS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Money Cannot Buy Everything: Trading Mobile Data with Controllable Privacy Loss2020
- Author(s)
  Shuyuan Zheng, Yang Cao, Masatoshi Yoshikawa
- Organizer
  21st IEEE International Conference on Mobile Data Management (MDM 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update2020
- Author(s)
  Kanae Tsushima, Bach Nguyen Trong, Robert Gluck and Zhenjiang Hu
- Organizer
  15th International Symposium on Functional and Logic Programming (FLOPS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Data Integration Models and Architectures for Service Alliances2020
- Author(s)
  Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa
- Organizer
  Fourth Workshop on Software Foundations for Data Interoperability (SFDI2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020
- Author(s)
  Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
- Organizer
  15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations2020
- Author(s)
  Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
- Organizer
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Monotonic Cardinality Estimation of Similarity Selection: A Deep Learning Approach2020
- Author(s)
  Yaoshu Wang, Chuan Xiao, Jianbin Qin, Xin Cao, Yifang Sun, Wei Wang, Makoto Onizuka
- Organizer
  International Conference on Management of Data, SIGMOD Conference 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Design and Engineering of Adaptive Software Systems.2019
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu.
- Organizer
  Engineering Adaptive Software Systems, Communications of NII Shonan Meetings
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] PriSTE: From Location Privacy to Spatiotemporal Event Privacy.2019
- Author(s)
  Yang Cao, Yonghui Xiao, Li Xiong, Liquan Bai.
- Organizer
  35th IEEE International Conference on Data Engineering (ICDE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Model-Driven Design of City Spaces via Bidirectional Transformations.2019
- Author(s)
  Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi.
- Organizer
  EE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels.2019
- Author(s)
  Yongzhe Zhang, Zhenjiang Hu.
- Organizer
  33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Incrementalization of Vertex-Centric Programs.2019
- Author(s)
  Timothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu.
- Organizer
  33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Incrementalization of Vertex-Centric Programs2019
- Author(s)
  Timothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu
- Organizer
  33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Autocompletion for Prefix-Abbreviated Input.2019
- Author(s)
  Sheng Hu, Chuan Xiao, Jianbin Qin, Yoshiharu Ishikawa, Qiang Ma.
- Organizer
  ACM SIGMOD International Conference on Management of Data (SIGMOD)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels2019
- Author(s)
  Yongzhe Zhang, Zhenjiang Hu
- Organizer
  33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Geo-Graph-Indistinguishability: Protecting Location Privacy for LBS over Road Networks.2019
- Author(s)
  Shun Takagi, Yang Cao, Yasuhito Asano, Masatoshi Yoshikawa.
- Organizer
  33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Blockchain-based Bidirectional Updates on Fine-grained Medical Data.2019
- Author(s)
  Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa.
- Organizer
  First International Workshop on Blockchain and Data Management (BlockDM 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] POET: Privacy on the Edge with Bidirectional Data Transformations.2019
- Author(s)
  Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi.
- Organizer
  IEEE International Conference on Pervasive Computing and Communications (PerCom 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Bidirectional Transformations for Self-Adaptive Systems.2019
- Author(s)
  Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu.
- Organizer
  Engineering Adaptive Software Systems, Communications of NII Shonan Meetings
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Principles and practice of bidirectional programming in BiGUL2018
- Author(s)
  Zhenjiang Hu
- Organizer
  Lecture notes at International Summer School on Bidirectional Transformations in Oxford (in 2016), LNCS 9715, 2018.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018
- Author(s)
  Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
- Organizer
  14th International Symposium on Functional and Logic Programming (FLOPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Security Requirement Modeling Support System Using Software Security Knowledge Base2018
- Author(s)
  Atsuo Hazeyama, Shun'ichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Nobukazu Yoshioka
- Organizer
  IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] On Verification of Bidirectional Transformations2018
- Author(s)
  Zhenjiang Hu
- Organizer
  20th International Conference on Formal Engineering Methods (ICFEM 2018), 2018.(招待講演)(国際学会)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Principles and practice of bidirectional programming in BiGUL2018
- Author(s)
  Zhenjiang Hu
- Organizer
  Lecture Notes in International Summer School on Bidirectional Transformations, Oxford, LNCS 9715, 2018.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Can Programming be Liberated from Unidirectional Style?2018
- Author(s)
  Zhenjiang Hu
- Organizer
  14th International Symposium on Functional and Logic Programming (FLOPS 2018), 2018.(招待講演)(国際学会)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] An axiomatic basis for bidirectional programming2018
- Author(s)
  Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017
- Author(s)
  Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  15th Asian Symposium on Programming Languages and Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Towards Variability Management in Bidirectional Model Transformation2017
- Author(s)
  Xiao He, Zhenjiang Hu, Yi Liu
- Organizer
  41st IEEE Annual Computer Software and Applications Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] 頂点主体並列グラフ処理の制約解消器による効率化2017
- Author(s)
  森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017
- Author(s)
  Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Towards Variability Management in Bidirectional Model Transformation2017
- Author(s)
  Xiao He, Zhenjiang Hu, Yi Liu
- Organizer
  41st IEEE Annual Computer Software and Applications Conference (COMPSAC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017
- Author(s)
  Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011
[Presentation] 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器2017
- Author(s)
  松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Rule-Directed Code Clone Synchronization2016
- Author(s)
  Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
- Organizer
  24th IEEE International Conference on Program Comprehension (ICPC 2016)
- Place of Presentation
  Austin, Texas (USA)
- Year and Date
  2016-05-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming2016
- Author(s)
  Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
- Organizer
  ACM SIGPLAN 2016 Workshop on Partial Evaluation and Program Manipulation (PEPM 2016)
- Place of Presentation
  St. Petersburg, Florida (USA)
- Year and Date
  2016-01-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Think Like a Vertex, Behave Like a Function!--A Functional DSL for Vertex-centric Big Graph Processing--2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhejiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- Place of Presentation
  Nara Kasugano International Forum (Nara)
- Year and Date
  2016-09-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011
[Presentation] Derivation of Parallel-Efficient Structural Recursive Functions from Declarative Graph Queries (Poster)2016
- Author(s)
  Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
- Organizer
  31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016)
- Place of Presentation
  Pisa (Italy)
- Year and Date
  2016-04-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011
[Presentation] Integrating Goal Model into Rule-based Adaptation2016
- Author(s)
  Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin
- Organizer
  23rd Asia-Pacific Software Engineering Conference (APSEC 2016)
- Place of Presentation
  Hamilton (New Zealand)
- Year and Date
  2016-12-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming2016
- Author(s)
  Weize Zhao, Haiyan Zhao, Zhenjiang Hu
- Organizer
  Sixth International Model-Driven Requirements Engineering Workshop (MoDRE)
- Place of Presentation
  Beijing (China)
- Year and Date
  2016-09-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Transforming Programs between APIs with Many-to-Many Mappings2016
- Author(s)
  Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
- Organizer
  30th European Conference on Object-Oriented Programming (ECOOP 2016)
- Place of Presentation
  Rome (Italy)
- Year and Date
  2016-07-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views2016
- Author(s)
  Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  5th International Workshop on Bidirectional Transformations (BX 2016)
- Place of Presentation
  Eindhoven (The Netherlands)
- Year and Date
  2016-04-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語2016
- Author(s)
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Supporting Selective Undo for Refactoring2016
- Author(s)
  Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
- Organizer
  23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)
- Place of Presentation
  大阪大学（大阪府吹田市）
- Year and Date
  2016-03-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第33回大会講演論文集
- Place of Presentation
  東北大学 (宮城県仙台市)
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Describing Pregel Algorithms with Non-adjacent Data Communication2016
- Author(s)
  Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
- Organizer
  日本ソフトウェア科学会第33回大会講演論文集
- Place of Presentation
  東北大学 (宮城県仙台市)
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Reusable Self-Adaptation through Bidirectional Programming2016
- Author(s)
  Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang Hu, Sebastian Uchitel, Pierr-Yves Schobbens
- Organizer
  11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)
- Place of Presentation
  Austin, Texas (USA)
- Year and Date
  2016-05-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- Place of Presentation
  Nara, Japan
- Year and Date
  2016-09-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] A Functional DSL for Large Scale Graph Processing (Poster)2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  13th International Symposium on Functional and Logic Programming (FLOPS 2016)
- Place of Presentation
  Kochi, Japan
- Year and Date
  2016-03-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Parsing and Reflective Printing, Bidirectionally2016
- Author(s)
  Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu
- Organizer
  9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016)
- Place of Presentation
  Amsterdam (The Netherlands)
- Year and Date
  2016-10-31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Processing UnQL Graph Queries with Pregel2015
- Author(s)
  Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学（東京都新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-15K12011
[Presentation] Towards Attribute-Based Authorisation for Bidirectional Programming2015
- Author(s)
  Lionel Montrieux, Zhenjiang Hu
- Organizer
  20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015)
- Place of Presentation
  Vienna (Austria)
- Year and Date
  2015-06-01
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] BiYacc: Roll Your Parser and Reflective Printer into One2015
- Author(s)
  Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu
- Organizer
  4th International Workshop on Bidirectional Transformations (BX 2015)
- Place of Presentation
  L'Aquila (Italy)
- Year and Date
  2015-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Processing UnQL Graph QueriProcessing UnQL Graph Queries with Pregel2015
- Author(s)
  Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
- Organizer
  日本ソフトウェア科学会第32会大会
- Place of Presentation
  東京
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] SWIN: Towards Type-Safe Java Program Adaptation between APIs2015
- Author(s)
  Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
- Organizer
  ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015)
- Place of Presentation
  Tata Institute of Fundamental Research, Mumbai, India
- Year and Date
  2015-01-14
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] A Clear Picture of Lens Laws2015
- Author(s)
  Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
- Organizer
  12th International Conference on Mathematics of Program Construction (MPC 2015)
- Place of Presentation
  Konigswinter (Germany)
- Year and Date
  2015-06-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Towards Systematic Parallelization of Graph Transformations over Pregel2015
- Author(s)
  Le Dec Tung, Zhenjiang Hu
- Organizer
  8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015)
- Place of Presentation
  Pisa (Italy)
- Year and Date
  2015-07-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12011
[Presentation] Towards Systematic Parallelization of Graph Transformations over Pregel2015
- Author(s)
  Le Dec Tung, Zhenjiang Hu
- Organizer
  8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015)
- Place of Presentation
  Pisa, Italy
- Year and Date
  2015-07-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Towards Co-Evolution in Model-driven Development via Bidirectional Higher-Order Transformation (Position Paper)2014
- Author(s)
  Bernhard Hoisl, Soichiro Hidaka, Zhenjiang Hu
- Organizer
  2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
- Place of Presentation
  Sana Lisbon Hotel,Lisbon, Portugal
- Year and Date
  2014-01-07
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Writing Bidirectional Model Transformations as Intentional Updates (NIER Track Paper)2014
- Author(s)
  Tao Zan, Hugo Pacheco, Zhenjiang Hu
- Organizer
  36th International Conference on Software Engineering, New Idea and Emerging Results Track, (ICSE 2014 (NIER Track))
- Place of Presentation
  Hyderabad International Convention Centre, Hyderabad, India
- Year and Date
  2014-06-05
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Monadic Combinators for ``Putback'' Style Bidirectional Programming2014
- Author(s)
  Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer
- Organizer
  ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM 2014)
- Place of Presentation
  The US Grant, San Diego, California, USA
- Year and Date
  2014-01-20
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Validity Checking of Putback Transformations in Bidirectional Programming2014
- Author(s)
  Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
- Organizer
  19th Interntional Symposium on Formal Methods (FM 2014)
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2014-05-15
- Invited
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Optimization for Iterative Queries on MapReduce2014
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Organizer
  40th International Conference on Very Large Data Base (VLDB 2014)
- Place of Presentation
  Dragon Hotel, Hangzhou, China
- Year and Date
  2014-09-02
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] BiFluX: A Bidirectional Functional Update Language for XML2014
- Author(s)
  Hugo Pacheco, Tao Zan Zhenjiang Hu
- Organizer
  16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
- Place of Presentation
  University of Kent, Canterbury, UK
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
- Place of Presentation
  Complutense University of Madrid, Madrid, Spain
- Year and Date
  2013-09-16
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Towards Systematic Parallel Programming of Graph Problems via Tree Decomposition and Tree Parallelism2013
- Author(s)
  Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu
- Organizer
  2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2013)
- Place of Presentation
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts,USA
- Year and Date
  2013-09-23
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Efficient Query Evaluation on Distributed Graphs with Hadoop Environment2013
- Author(s)
  Le Dec Tung, Nguyen-Van Quyet, Zhenjiang Hu
- Organizer
  4th International Symposium on Information and Communication Technology (SoICT 2013)
- Place of Presentation
  Pullman Danang Beach Resort, Da Nang, Vietnam
- Year and Date
  2013-12-05
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Structural Recursion for Querying Ordered Graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
- Place of Presentation
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
- Year and Date
  2013-09-27
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Minimizing Data Transfers for Regular Reachability Queries on Distributed Graphs2013
- Author(s)
  Nguyen-Van Quyet, Le Dec Tung, Zhenjiang Hu
- Organizer
  4th International Symposium on Information and Communication Technology (SoICT 2013)
- Place of Presentation
  Pullman Danang Beach Resort, Da Nang, Vietnam
- Year and Date
  2013-12-05
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Delta Lenses over Inductive Types2012
- Author(s)
  Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
- Organizer
  First International Workshop on Bidirectional Transformations (BX 2012)
- Place of Presentation
  Tallinn, Estonia
- Year and Date
  2012-03-25
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Maintaining Invariant Traceability through Bidirectional Transformations2012
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
- Organizer
  34th International Conference on Software Engineering (ICSE 2012)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Delta Lenses over Inductive Types2012
- Author(s)
  Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
- Organizer
  First International Workshop on Bidirectional Transformations (BX 2012)
- Place of Presentation
  Tallinn University of Technology, Tallinn, Estonia
- Year and Date
  2012-03-25
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
- Place of Presentation
  Oread, Lawrence, Kansas, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 模倣に基づくグラグスキーマを利用したビュー更新可能製判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming(PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread, Kansas City, USA
- Year and Date
  2011-11-10
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Tolerating Inconsistency in Feature Models2010
- Author(s)
  Bo Wnag, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
- Organizer
  3^<rd> Workshop on Living with Inconsistencies in Software Development
- Place of Presentation
  University of Antwerp, Antwerp, Belgium
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models2010
- Author(s)
  Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
- Organizer
  ACM/IEEE 13^<th> International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
- Place of Presentation
  Oslo Congress Centre, Oslo, Norway
- Year and Date
  2010-10-06
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China(poster)
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models2010
- Author(s)
  Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
- Organizer
  ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
- Place of Presentation
  Oslo, Norway
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Combining Syntactic and Semantic Bidirectionalization2010
- Author(s)
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- Organizer
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Baltimore, Maryland, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Combining Syntactic and Semantic Bidirectionalization2010
- Author(s)
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Gradual Refinement : Blending Pattern Matching With Data Abstraction2010
- Author(s)
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- Organizer
  10^<th> International Conference on Mathematics of Program Construction (MPC2010)
- Place of Presentation
  Manoir St-Castin, Quebec City, Canada
- Year and Date
  2010-06-22
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Baltimore, Maryland, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  16th International European Conference on Parallel and Distributed Computing
- Place of Presentation
  Ischia, Italy
- Data Source
  KAKENHI-PROJECT-22650006
[Presentation] Tolerating Inconsistency in Feature Models2010
- Author(s)
  Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
- Organizer
  3rd Workshop on Living with Inconsistencies in Software Development (LWI'10), co-located with ASE 2010
- Place of Presentation
  Antwerp, Belgium September
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming(ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Grammar-based Approach to Invertible Programs2010
- Author(s)
  Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
- Organizer
  19th European Symposium on Programming (ESOP 2010)
- Place of Presentation
  Paphos, Cyprus
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Program Calculation in Coq.2010
- Author(s)
  Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
- Organizer
  Thirteenth International Conference on Algebraic Methodology And Software Technology
- Place of Presentation
  Quebec City, Canada
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Genera-tors-of-generators Library with Op-timization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsu-zaki, Masato Takeichi
- Organizer
  16th International European Con-ference on Parallel and Distributed Computing
- Place of Presentation
  Ischia, Italy
- Data Source
  KAKENHI-PROJECT-22650006
[Presentation] Gradual Refinement : Blending Pattern Matching with Data Abstraction2010
- Author(s)
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- Organizer
  10th International Conference on Mathematics of Program Construction (MPC 2010)
- Place of Presentation
  Quebec City, Canada
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema(poster)2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems(APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Context-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Contest-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Program Calculation in Coq2010
- Author(s)
  Julien Tesson, Hideki Hashimoto., Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
- Organizer
  Thirteenth International Conference on Algebraic Methodology And Software Technology
- Place of Presentation
  Quebec City,Canada
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2009
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009)
- Place of Presentation
  Savannah, Georgia, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2009
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, ZhenJiangHu, Masato Takeichi
- Organizer
  The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
- Place of Presentation
  Savannah, Georgia, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Supporting Parallel Updates with Bidirectional Model Transformations2009
- Author(s)
  Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
- Organizer
  International Conference on Model Transformation(ICMT 2009)
- Place of Presentation
  ETH Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] 内部参照をもつXML文書の双方向変換による編集2009
- Author(s)
  木津幸子, 武市正人, 胡振江
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2008
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(東京キャンパス)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008
- Author(s)
  Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
- Organizer
  10th IEEE International Symposium on Web Site Evolution (WSE 2008)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] Consistent Web Site Updating based on Bidirectional Transformation.2008
- Author(s)
  Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
- Organizer
  10th IEEE International Symposium on Web Site Evolution (WSE 2008).
- Place of Presentation
  Beijing, China.
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(東京キャンパス)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008
- Author(s)
  Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
- Organizer
  10th IEEE International Symposium on Web Site Evolution(WSE
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008
- Author(s)
  Kento Emoto, ZhenJiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, MasatoTakeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(茨城)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2008
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, ZhenjiangHu, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(茨城)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Associativity for Parallel Tree Computation2007
- Author(s)
  松崎公紀, 森畑明昌, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language2007
- Author(s)
  Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong
- Organizer
  第24回日本ソフトウェア科学会大会
- Place of Presentation
  奈良
- Year and Date
  2007-09-12
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 武市正人
- Organizer
  第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
- Place of Presentation
  石川県加賀市山
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Donain-Spaecific Optimization Strategy fbr Skeieton Programs2007
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjing Hu, Masato Takeiehi
- Organizer
  13th International European Conference on Parallel and Distributed Computing(Euro-Par2007)
- Place of Presentation
  IRISA,Renne,France
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  Kazutaka Morita, Akinlasa Morihata, Kiminori Matsuzaki, Zhenjang Hu, Masato Takeichi
- Organizer
  ACM SIGPLAN2007Conference on Programming Language Design and ImplernentatiDn(PLDI2007)
- Place of Presentation
  San Diego,CA,USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007) (pp.146-155)
- Place of Presentation
  San Diego, CA, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language.2007
- Author(s)
  Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong.
- Organizer
  第24回日本ソフトウェア科学会大会
- Place of Presentation
  奈良
- Year and Date
  2007-09-12
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] リスト上の最大マーク付け問題を解く並列プログラムの導出2007
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Organizer
  情報処理学会第66回プログラミング研究会
- Place of Presentation
  名古屋大学大学院多元数理科学研究科
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Bi-X Core:A General-Purpose Bidirectional Transformation Language2007
- Author(s)
  Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata. Yingfei Xiong
- Organizer
  第24回日本ソフトウェア科学会大会
- Place of Presentation
  奈良
- Year and Date
  2007-09-12
- Data Source
  KAKENHI-PROJECT-19200002
[Presentation] Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions2006
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  European Conference on Parallel Computing (EuroPar 2006) (LNCS 4128, Springer. Pp.605-614)
- Place of Presentation
  Dresden, Germany
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
- Place of Presentation
  Cambridge, MA, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 弱逆関数の自動導出によるプログラムの並列化2006
- Author(s)
  森田和孝, 森畑明昌, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第23回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper)2006
- Author(s)
  Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
- Organizer
  First International Conference on Scalable Information Systems (InfoScale 2006) (Vol. 152 of ACM International Conference Proceeding Series)
- Place of Presentation
  Hong Kong
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 木スケルトンによるXpathクエリの並列化とその評価2005
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 構成的な並列スケルトンによる並列プログラミングライブラリ2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江, 助っ人
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Parallel Dynamic Programming using Data-Parallel Skeletons2005
- Author(s)
  筧一彦, 松崎公紀, 森畑明昌, 江本健斗, 胡振江
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Optimization for Iterative Queries on MapReduce
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Organizer
  40th International Conference on Very Large Data Base (VLDB)
- Place of Presentation
  Zhejiang University (Hangzhou, China)
- Year and Date
  2014-09-01 – 2014-09-05
- Data Source
  KAKENHI-PROJECT-23240002
[Presentation] Practical Aspects of Bidirectional Graph Transformations
- Author(s)
  Zhenjiang Hu
- Organizer
  ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
- Place of Presentation
  Rome, Italy
- Invited
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Theory and Practice of Model Transformations
- Author(s)
  Zhenjiang Hu, Juan de Lara
- Organizer
  5th International Conference, ICMT 2012
- Place of Presentation
  Prague, Czech
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Canadians Should Travel Randomly
- Author(s)
  Erik D. Demaine, Yamming Huang, Chung-Shou Liao, Kunihiko Sadakane
- Organizer
  41st International Colloquium on Automata, Languages and Programming (ICALP)
- Place of Presentation
  IT University of Copenhagen (コペンハーゲン，デンマーク)
- Year and Date
  2014-07-07 – 2014-07-11
- Data Source
  KAKENHI-PROJECT-23240002
[Presentation] DenseZDD: A Compact and Fast Index for Families of Sets
- Author(s)
  Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-Ichi Minato and Kunihiko Sadakane
- Organizer
  Symposium on Experimental Algorithms (SEA)
- Place of Presentation
  University of Copenhagen (コペンハーゲン，デンマーク)
- Year and Date
  2014-06-29 – 2014-07-01
- Data Source
  KAKENHI-PROJECT-23240002

1. TAKEICHI Masato (10011165)

# of Collaborated Projects: 11 results

# of Collaborated Products: 93 results
2. Iwasaki Hideya (90203372)

# of Collaborated Projects: 7 results

# of Collaborated Products: 24 results
3. MATSUZAKI Kiminori (30401243)

# of Collaborated Projects: 6 results

# of Collaborated Products: 45 results
4. ONOUE Yoshiyuki (80292770)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. HIDAKA Soichiro (70321578)

# of Collaborated Projects: 4 results

# of Collaborated Products: 37 results
6. KATO Hiroyuki (10321580)

# of Collaborated Projects: 4 results

# of Collaborated Products: 37 results
7. EMOTO Kento (00587470)

# of Collaborated Projects: 4 results

# of Collaborated Products: 10 results
8. 高野明彦 (00333542)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
9. INABA Kazuhiro (30570311)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
10. KAKEHI Kazuhiko (90345116)

# of Collaborated Projects: 2 results

# of Collaborated Products: 13 results
11. NAKANO Keisuke (30505839)

# of Collaborated Projects: 2 results

# of Collaborated Products: 22 results
12. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 2 results

# of Collaborated Products: 11 results
13. TANAKA Tetsuro (60251360)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
15. SADAKANE Kunihiko (20323090)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
16. SHIBUYA Tetsuo (60396893)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. FUKUNAGA Alex (90452002)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. Honiden Shinichi (70332153)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 浅野哲夫 (90113133)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
21. 浅田和之 (00570251)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
22. LI CHONG (50745312)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
23. 吉川正俊 (30182736)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
24. 鬼塚真 (60726165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
25. 石原靖哲 (00263434)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
26. 吉岡信和 (20390601)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
27. 鄭顕志 (40434295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
28. 石川冬樹 (50455193)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
29. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
30. 高野昭彦

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 鷲崎弘宜

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
32. 海谷治彦

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
33. Yu Yijun

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

HU ZHENJIANG 胡 振江

HU Zhenjiang 胡 振江

Research Projects

Research Products

Co-Researchers

Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional TransformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph QueryingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph TransformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Language Foundation for Bidirectional Model TransformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards Model Transformation Validation from Model ValidationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Constructive Approach to Structured Parallel ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

連想計算の代数に基づく並列連想計算方式の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

連想計算の代数に基づく並列連想計算方式の研究Principal Investigator

Principal Investigator

Project Period (FY)

HU ZHENJIANG 胡振江

HU Zhenjiang 胡振江