Haruo Hosoya

2008
31	EE	Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth: Multi-Return Macro Tree Transducers. CIAA 2008: 102-111
30	EE	Kazuhiro Inaba, Haruo Hosoya: Multi-Return Macro Tree Transducers. PLAN-X 2008
2007
29	EE	Alain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers. DBPL 2007: 246-260
28	EE	Kazuhiro Inaba, Haruo Hosoya: XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 49-60
27	EE	Kazuhiro Inaba, Haruo Hosoya: MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 91-92
26	EE	Alain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers CoRR abs/cs/0701176: (2007)
2006
25	EE	Shinya Kawanaka, Haruo Hosoya: biXid: a bidirectional transformation language for XML. ICFP 2006: 201-214
24	EE	Haruo Hosoya, Makoto Murata: Boolean operations and inclusion test for attribute-element constraints. Theor. Comput. Sci. 360(1-3): 327-351 (2006)
2005
23	EE	Haruo Hosoya: Type Systems for XML. APLAS 2005: 1
22	EE	Tadahiro Suda, Haruo Hosoya: Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. CIAA 2005: 294-306
21	EE	Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. POPL 2005: 50-62
20	EE	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
2003
19	EE	Haruo Hosoya, Makoto Murata: Boolean Operations for Attribute-Element Constraints. CIAA 2003: 201-212
18	EE	Makoto Murata, Haruo Hosoya: Validation algorithm for attribute-element constraints of RELAX NG. Extreme Markup Languages® 2003
17	EE	Haruo Hosoya, Benjamin C. Pierce: XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. 3(2): 117-148 (2003)
16	EE	Haruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. J. Funct. Program. 13(6): 961-1004 (2003)
2002
15	EE	Jingyan Xia, Haruo Hosoya: Analysis of the Relationship among the Graphs Isomorphic to Multilayered Cyclic Fence Graphs (MLCFG). Journal of Chemical Information and Computer Sciences 42(5): 1004-1010 (2002)
2001
14	EE	Haruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. POPL 2001: 67-80
13	EE	Haruo Hosoya, Sayaka Iwata, Minako Murokoshi, Michiko Atsumi: Graph-Theoretical Analysis of Tunneling Electron Transfer in Large Polycyclic Aromatic Hydrocarbon Networks. Journal of Chemical Information and Computer Sciences 41(3): 512-516 (2001)
2000
12	EE	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ICFP 2000: 11-22
11	EE	Haruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) 2000: 111-116
10	EE	Haruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000: 226-244
1999
9	EE	Haruo Hosoya, Machiko Gotoh, Miyuki Murakami, Shigeko Ikeda: Topological Index and Thermodynamic Properties, 5. How Can We Explain the Topological Dependency of Thermodynamic Properties of Alkanes with the Topology of Graphs? Journal of Chemical Information and Computer Sciences 39(2): 192-196 (1999)
1998
8	EE	Haruo Hosoya, Akinori Yonezawa: Garbage Collection via Dynamic Type Inference - A Fomal Treatment. Types in Compilation 1998: 215-239
1997
7		Satoko Sakata, Umpei Nagashima, Mitsuhisa Sato, Satoshi Sekiguchi, Haruo Hosoya: Performance Evaluation of a Workstation Cluster, TMC CM-5, and Intel Paragon/XP Using a Parallel Homology Analysis Program. Parallel Computing 22(12): 1677-1693 (1997)
1996
6		Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa: Partial Evaluation Scheme for Concurrent Languages and Its Correctness. Euro-Par, Vol. I 1996: 625-632
5	EE	Yoshimi Isu, Umpei Nagashima, Tomoo Aoyama, Haruo Hosoya: Development of Neural Network Simulator for Structure-Activity Correlation of Molecules (NECO). Prediction of Endo/Exo Substitution of Norbornane Derivatives and of Carcinogenic Activity of PAHs from 13C-NMR Shifts. Journal of Chemical Information and Computer Sciences 36(2): 286-293 (1996)
1995
4		Haruo Hosoya, Yukari Okuma, Yoko Tsukano, Kyoko Nakada: Multilayered Cyclic Fence Graphs: Novel Cubic Graphs Related to the Graphite Network. Journal of Chemical Information and Computer Sciences 35(3): 351-356 (1995)
3		Umpei Nagashima, Sachiko Hyugaji, Satoshi Sekiguchi, Mitsuhisa Sato, Haruo Hosoya: An Experience with Super-Linear Speedup Achieved by Parallel Computing on a Workstation Cluster: Parallel Calculation of Density of States of Large Scale Cyclic Polyacenes. Parallel Computing 21(9): 1491-1504 (1995)
1994
2	EE	Haruo Hosoya, Umpei Nagashima, Sachiko Hyugaji: Topological Twin Graphs. Smallest Pair of Isospectral Polyhedral Graphs with Eight Vertices. Journal of Chemical Information and Computer Sciences 34(2): 428-431 (1994)
1981
1	EE	Y. Osamura, Shinichi Yamabe, F. Hirota, Haruo Hosoya, Sayaka Iwata, H. Kashiwagi, Keiji Morokuma, M. Togasi, Shigeru Obara: Quantum chemistry literature data base. Journal of Chemical Information and Computer Sciences 21(2): 86-90 (1981)

Coauthor Index

1	Tomoo Aoyama	[5]
2	Michiko Atsumi	[13]
3	Giuseppe Castagna	[21]
4	Alain Frisch	[21] [26] [29]
5	Machiko Gotoh	[9]
6	F. Hirota	[1]
7	Sachiko Hyugaji	[2] [3]
8	Shigeko Ikeda	[9]
9	Kazuhiro Inaba	[27] [28] [30] [31]
10	Yoshimi Isu	[5]
11	Sayaka Iwata	[1] [13]
12	H. Kashiwagi	[1]
13	Shinya Kawanaka	[25]
14	Naoki Kobayashi	[6]
15	Sebastian Maneth	[31]
16	Keiji Morokuma	[1]
17	Miyuki Murakami	[9]
18	Makoto Murata	[18] [19] [24]
19	Minako Murokoshi	[13]
20	Umpei Nagashima	[2] [3] [5] [7]
21	Kyoko Nakada	[4]
22	Shigeru Obara	[1]
23	Yukari Okuma	[4]
24	Y. Osamura	[1]
25	Benjamin C. Pierce	[10] [11] [12] [14] [16] [17] [20]
26	Satoko Sakata	[7]
27	Mitsuhisa Sato	[3] [7]
28	Satoshi Sekiguchi	[3] [7]
29	Tadahiro Suda	[22]
30	M. Togasi	[1]
31	Yoko Tsukano	[4]
32	Jérôme Vouillon (Jerome Vouillon)	[12] [20]
33	Jingyan Xia	[15]
34	Shinichi Yamabe	[1]
35	Akinori Yonezawa	[6] [8]

Colors in the list of coauthors