×
Author ID: hu.zhenjiang Recent zbMATH articles by "Hu, Zhenjiang"
Published as: Hu, Zhenjiang; Hu, Z.

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 145 times in 82 Documents Cited by Year
Bidirectionalization transformation based on automatic derivation of view complement functions. Zbl 1291.68147
Matsuda, Kazutaka; Hu, Zhenjiang; Nakano, Keisuke; Hamana, Makoto; Takeichi, Masato
19
2007
Deriving structural hylomorphisms from recursive definitions. Zbl 1345.68059
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato
14
1996
An algebraic approach to bi-directional updating. Zbl 1116.68411
Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
13
2004
An injective language for reversible computation. Zbl 1106.68345
Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
11
2004
Bidirectionalizing graph transformations. Zbl 1323.68075
Hidaka, Soichiro; Hu, Zhenjiang; Inaba, Kazuhiro; Kato, Hiroyuki; Matsuda, Kazutaka; Nakano, Keisuke
11
2010
Tupling calculation eliminates multiple data traversals. Zbl 1369.68142
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato; Takano, Akihiko
9
1997
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. Zbl 1315.68067
Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang; Takeichi, Masato
6
2009
A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096
Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato
6
2008
A grammar-based approach to invertible programs. Zbl 1260.68106
Matsuda, Kazutaka; Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
6
2010
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Zbl 1303.68039
Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
5
2013
Deterministic higher-order patterns for program transformation. Zbl 1099.68591
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato
5
2004
Combining syntactic and semantic bidirectionalization. Zbl 1323.68170
Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
4
2010
Deterministic second-order patterns. Zbl 1178.68140
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato
4
2004
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. Zbl 1321.68229
Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato; Ogawa, Mizuhito
3
2000
Structural recursion for querying ordered graphs. Zbl 1323.68241
Hidaka, Soichiro; Asada, Kazuyuki; Hu, Zhenjiang; Kato, Hiroyuki; Nakano, Keisuke
3
2013
Marker-directed optimization of UnCAL graph transformations. Zbl 1377.68074
Hidaka, Soichiro; Hu, Zhenjiang; Inaba, Kazuhiro; Kato, Hiroyuki; Matsuda, Kazutaka; Nakano, Keisuke; Sasano, Isao
3
2012
A clear picture of lens laws. Zbl 1432.68073
Fischer, Sebastian; Hu, Zhenjiang; Pacheco, Hugo
2
2015
PType system: A featherweight parallelizability detector. Zbl 1116.68389
Xu, Dana N.; Khoo, Siau-Cheng; Hu, Zhenjiang
2
2004
Swapping arguments and results of recursive functions. Zbl 1235.68059
Morihata, Akimasa; Kakehi, Kazuhiko; Hu, Zhenjiang; Takeichi, Masato
2
2006
Program calculation in Coq. Zbl 1308.68049
Tesson, Julien; Hashimoto, Hideki; Hu, Zhenjiang; Loulergue, Frédéric; Takeichi, Masato
2
2011
Gradual refinement. Blending pattern matching with data abstraction. Zbl 1286.68330
Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang
2
2010
Generation of efficient programs for solving maximum multi-marking problems. Zbl 1030.68544
Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato
2
2001
An accumulative parallel skeleton for all. Zbl 1077.68583
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato
2
2002
A fusion-embedded skeleton library. Zbl 1096.68586
Matsuzaki, Kiminori; Kakehi, Kazuhiko; Iwasaki, Hideya; Hu, Zhenjiang; Akashi, Yoshiki
1
2004
Iterative-free program analysis. Zbl 1315.68042
Ogawa, Mizuhito; Hu, Zhenjiang; Sasano, Isao
1
2003
Filter-embedding semiring fusion for programming with MapReduce. Zbl 1259.68027
Emoto, Kento; Fischer, Sebastian; Hu, Zhenjiang
1
2012
An efficient staging algorithm for binding-time analysis. Zbl 1099.68595
Murakami, Takuma; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2004
Deriving parallel codes via invariants. Zbl 0966.68505
Chin, Wei-Ngan; Khoo, Siau-Cheng; Hu, Zhenjiang; Takeichi, Masato
1
2000
Principles and practice of bidirectional programming in BiGUL. Zbl 1476.68036
Hu, Zhenjiang; Ko, Hsiang-Shang
1
2018
Maximum marking problems with accumulative weight functions. Zbl 1169.68368
Sasano, Isao; Ogawa, Mizuhito; Hu, Zhenjiang
1
2005
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2007
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 1507.68077
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
Principles and practice of bidirectional programming in BiGUL. Zbl 1476.68036
Hu, Zhenjiang; Ko, Hsiang-Shang
1
2018
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 1507.68077
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
A clear picture of lens laws. Zbl 1432.68073
Fischer, Sebastian; Hu, Zhenjiang; Pacheco, Hugo
2
2015
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Zbl 1303.68039
Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
5
2013
Structural recursion for querying ordered graphs. Zbl 1323.68241
Hidaka, Soichiro; Asada, Kazuyuki; Hu, Zhenjiang; Kato, Hiroyuki; Nakano, Keisuke
3
2013
Marker-directed optimization of UnCAL graph transformations. Zbl 1377.68074
Hidaka, Soichiro; Hu, Zhenjiang; Inaba, Kazuhiro; Kato, Hiroyuki; Matsuda, Kazutaka; Nakano, Keisuke; Sasano, Isao
3
2012
Filter-embedding semiring fusion for programming with MapReduce. Zbl 1259.68027
Emoto, Kento; Fischer, Sebastian; Hu, Zhenjiang
1
2012
Program calculation in Coq. Zbl 1308.68049
Tesson, Julien; Hashimoto, Hideki; Hu, Zhenjiang; Loulergue, Frédéric; Takeichi, Masato
2
2011
Bidirectionalizing graph transformations. Zbl 1323.68075
Hidaka, Soichiro; Hu, Zhenjiang; Inaba, Kazuhiro; Kato, Hiroyuki; Matsuda, Kazutaka; Nakano, Keisuke
11
2010
A grammar-based approach to invertible programs. Zbl 1260.68106
Matsuda, Kazutaka; Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
6
2010
Combining syntactic and semantic bidirectionalization. Zbl 1323.68170
Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
4
2010
Gradual refinement. Blending pattern matching with data abstraction. Zbl 1286.68330
Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang
2
2010
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. Zbl 1315.68067
Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang; Takeichi, Masato
6
2009
A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096
Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato
6
2008
Bidirectionalization transformation based on automatic derivation of view complement functions. Zbl 1291.68147
Matsuda, Kazutaka; Hu, Zhenjiang; Nakano, Keisuke; Hamana, Makoto; Takeichi, Masato
19
2007
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2007
Swapping arguments and results of recursive functions. Zbl 1235.68059
Morihata, Akimasa; Kakehi, Kazuhiko; Hu, Zhenjiang; Takeichi, Masato
2
2006
Maximum marking problems with accumulative weight functions. Zbl 1169.68368
Sasano, Isao; Ogawa, Mizuhito; Hu, Zhenjiang
1
2005
An algebraic approach to bi-directional updating. Zbl 1116.68411
Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
13
2004
An injective language for reversible computation. Zbl 1106.68345
Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato
11
2004
Deterministic higher-order patterns for program transformation. Zbl 1099.68591
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato
5
2004
Deterministic second-order patterns. Zbl 1178.68140
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato
4
2004
PType system: A featherweight parallelizability detector. Zbl 1116.68389
Xu, Dana N.; Khoo, Siau-Cheng; Hu, Zhenjiang
2
2004
A fusion-embedded skeleton library. Zbl 1096.68586
Matsuzaki, Kiminori; Kakehi, Kazuhiko; Iwasaki, Hideya; Hu, Zhenjiang; Akashi, Yoshiki
1
2004
An efficient staging algorithm for binding-time analysis. Zbl 1099.68595
Murakami, Takuma; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2004
Iterative-free program analysis. Zbl 1315.68042
Ogawa, Mizuhito; Hu, Zhenjiang; Sasano, Isao
1
2003
An accumulative parallel skeleton for all. Zbl 1077.68583
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato
2
2002
Generation of efficient programs for solving maximum multi-marking problems. Zbl 1030.68544
Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato
2
2001
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. Zbl 1321.68229
Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato; Ogawa, Mizuhito
3
2000
Deriving parallel codes via invariants. Zbl 0966.68505
Chin, Wei-Ngan; Khoo, Siau-Cheng; Hu, Zhenjiang; Takeichi, Masato
1
2000
Tupling calculation eliminates multiple data traversals. Zbl 1369.68142
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato; Takano, Akihiko
9
1997
Deriving structural hylomorphisms from recursive definitions. Zbl 1345.68059
Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato
14
1996
all top 5

Cited by 122 Authors

14 Hu, Zhenjiang
9 Morihata, Akimasa
7 Matsuda, Kazutaka
7 Takeichi, Masato
6 Pierce, Benjamin C.
6 Voigtlander, Janis
6 Wang, Meng
5 Gibbons, Jeremy
5 Hamana, Makoto
5 Nishida, Naoki
5 Vidal, Germán
4 Glück, Robert
4 Lanese, Ivan
4 Matsuzaki, Kiminori
3 Emoto, Kento
3 Foster, J. Nathan
3 Iwasaki, Hideya
3 Mu, Shin-Cheng
3 Nakano, Keisuke
3 Palacios, Adrian G.
3 Sasano, Isao
3 Wu, Nicolas
2 Axelsen, Holger Bock
2 Filiot, Emmanuel
2 Hofmann, Martin
2 Inaba, Kazuhiro
2 Kakehi, Kazuhiko
2 Kobayashi, Naoki
2 Maneth, Sebastian
2 Mezzina, Claudio Antares
2 Ogawa, Mizuhito
2 Pilkiewicz, Alexandre
2 Reynier, Pierre-Alain
2 Sabry, Amr
2 Schmitt, Alan
2 Talbot, Jean-Marc
2 Wagner, Daniel
2 Xie, Ruifeng
2 Yokoyama, Tetsuo
1 Abou-Saleh, Faris
1 Al Ameen, Mahmudul Faisal
1 Altenkirch, Thorsten
1 Asada, Kazuyuki
1 Badouel, Eric
1 Bahr, Patrick
1 Barbosa, Davi M. J.
1 Bohannon, Aaron
1 Braßel, Bernd
1 Carette, Jacques
1 Chen, Chao-Hong
1 Cheney, James
1 Chiang, Tsung-Ju
1 Chitil, Olaf
1 Choudhury, Vikraman
1 Christiansen, Jan
1 Cretin, Julien
1 Cunha, Alcino
1 Danvy, Olivier
1 Darais, David
1 David, Cristina
1 Erwig, Martin
1 Farzan, Azadeh
1 Fischer, Sebastian
1 Foster, Nate
1 Foster, Simon
1 Ghani, Neil
1 Giesl, Jürgen
1 Greenberg, Michael D.
1 Greenwald, Michael B.
1 Grohne, Helmut
1 Hidaka, Soichiro
1 Hinze, Ralf
1 Hosoya, Haruo
1 Hutton, Graham
1 James, Roshan P.
1 Johann, Patricia
1 Jones, Geraint
1 Kaarsgaard, Robin
1 Kato, Hiroyuki
1 Kawanaka, Shinya
1 Kiss, Attila
1 Kristensen, Joachim Tilsted
1 Kühnemann, Armin
1 Lämmel, Ralf
1 Libal, Tomer
1 Macedo, Nuno
1 McKinna, James
1 Miller, Dale Allen
1 Miszczak, Jaroslaw Adam
1 Moore, Jonathan T.
1 Morimoto, Takeshi
1 Nicolet, Victor
1 Niwa, Minami
1 Ohori, Atsushi
1 Pacheco, Hugo
1 Paolini, Luca
1 Phillips, Iain W.
1 Piccolo, Mauro
1 Roversi, Luca
1 Rypacek, Ondrej
...and 22 more Authors

Citations by Year