Haruo Hosoya

	2011
39		Atsushi Hashimoto, Haruo Hosoya: Abstract category learning. ESANN 2011
	2010
38		Haruo Hosoya: Bayesian Interpretation of Border-Ownership Signals in Early Visual Cortex. ICONIP (1) 2010: 1-8
37		Yuuji Ichisugi, Haruo Hosoya: Computational Model of the Cerebral Cortex That Performs Sparse Coding Using a Bayesian Network and Self-Organizing Maps. ICONIP (1) 2010: 33-40
36		Kazuhiro Inaba, Haruo Hosoya: Compact representation for answer sets of n-ary regular queries. Theor. Comput. Sci. 411(38-39): 3481-3492 (2010)
	2009
35		Kazuhiro Inaba, Haruo Hosoya: Compact Representation for Answer Sets of n-ary Regular Queries. CIAA 2009: 94-104
34		Haruo Hosoya: A motor learning neural model based on Bayesian network and reinforcement learning. IJCNN 2009: 1251-1258
33		Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650
32		Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32(1): (2009)
	2008
31		Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth: Multi-Return Macro Tree Transducers. CIAA 2008: 102-111
30		Kazuhiro Inaba, Haruo Hosoya: Multi-Return Macro Tree Transducers. PLAN-X 2008
	2007
29		Alain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers. DBPL 2007: 246-260
28		Kazuhiro Inaba, Haruo Hosoya: XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 49-60
27		Kazuhiro Inaba, Haruo Hosoya: MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 91-92
26		Alain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers CoRR abs/cs/0701176: (2007)
	2006
25		Shinya Kawanaka, Haruo Hosoya: biXid: a bidirectional transformation language for XML. ICFP 2006: 201-214
24		Haruo Hosoya, Makoto Murata: Boolean operations and inclusion test for attribute-element constraints. Theor. Comput. Sci. 360(1-3): 327-351 (2006)
	2005
23		Haruo Hosoya: Type Systems for XML. APLAS 2005: 1
22		Tadahiro Suda, Haruo Hosoya: Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. CIAA 2005: 294-306
21		Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. POPL 2005: 50-62
20		Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
	2003
19		Haruo Hosoya, Makoto Murata: Boolean Operations for Attribute-Element Constraints. CIAA 2003: 201-212
18		Makoto Murata, Haruo Hosoya: Validation algorithm for attribute-element constraints of RELAX NG. Extreme Markup Languages® 2003
17		Haruo Hosoya, Benjamin C. Pierce: XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. 3(2): 117-148 (2003)
16		Haruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. J. Funct. Program. 13(6): 961-1004 (2003)
	2002
15		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		Haruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. POPL 2001: 67-80
13		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		Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ICFP 2000: 11-22
11		Haruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) 2000: 111-116
10		Haruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000: 226-244
	1999
9		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		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		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		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		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	Véronique Benzaken	[33]
4	Giuseppe Castagna	[21] [32] [33]
5	Alain Frisch	[21] [26] [29] [32]
6	Machiko Gotoh	[9]
7	Atsushi Hashimoto	[39]
8	F. Hirota	[1]
9	Sachiko Hyugaji	[2] [3]
10	Yuuji Ichisugi	[37]
11	Shigeko Ikeda	[9]
12	Kazuhiro Inaba	[27] [28] [30] [31] [35] [36]
13	Yoshimi Isu	[5]
14	Sayaka Iwata	[1] [13]
15	H. Kashiwagi	[1]
16	Shinya Kawanaka	[25]
17	Naoki Kobayashi	[6]
18	Sebastian Maneth	[31]
19	Keiji Morokuma	[1]
20	Miyuki Murakami	[9]
21	Makoto Murata	[18] [19] [24]
22	Minako Murokoshi	[13]
23	Umpei Nagashima	[2] [3] [5] [7]
24	Kyoko Nakada	[4]
25	Shigeru Obara	[1]
26	Yukari Okuma	[4]
27	Y. Osamura	[1]
28	Benjamin C. Pierce	[10] [11] [12] [14] [16] [17] [20] [33]
29	Satoko Sakata	[7]
30	Mitsuhisa Sato	[3] [7]
31	Satoshi Sekiguchi	[3] [7]
32	Tadahiro Suda	[22]
33	M. Togasi	[1]
34	Yoko Tsukano	[4]
35	Stijn Vansummeren	[33]
36	Jérôme Vouillon (Jerome Vouillon)	[12] [20]
37	Jingyan Xia	[15]
38	Shinichi Yamabe	[1]
39	Akinori Yonezawa	[6] [8]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page