dblp.uni-trier.dewww.uni-trier.de

Haruo Hosoya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
32EEKazuhiro Inaba, Haruo Hosoya: Compact Representation for Answer Sets of n-ary Regular Queries. CIAA 2009: 94-104
2008
31EEKazuhiro Inaba, Haruo Hosoya, Sebastian Maneth: Multi-Return Macro Tree Transducers. CIAA 2008: 102-111
30EEKazuhiro Inaba, Haruo Hosoya: Multi-Return Macro Tree Transducers. PLAN-X 2008
2007
29EEAlain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers. DBPL 2007: 246-260
28EEKazuhiro Inaba, Haruo Hosoya: XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 49-60
27EEKazuhiro Inaba, Haruo Hosoya: MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 91-92
26EEAlain Frisch, Haruo Hosoya: Towards Practical Typechecking for Macro Tree Transducers CoRR abs/cs/0701176: (2007)
2006
25EEShinya Kawanaka, Haruo Hosoya: biXid: a bidirectional transformation language for XML. ICFP 2006: 201-214
24EEHaruo Hosoya, Makoto Murata: Boolean operations and inclusion test for attribute-element constraints. Theor. Comput. Sci. 360(1-3): 327-351 (2006)
2005
23EEHaruo Hosoya: Type Systems for XML. APLAS 2005: 1
22EETadahiro Suda, Haruo Hosoya: Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. CIAA 2005: 294-306
21EEHaruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. POPL 2005: 50-62
20EEHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
2003
19EEHaruo Hosoya, Makoto Murata: Boolean Operations for Attribute-Element Constraints. CIAA 2003: 201-212
18EEMakoto Murata, Haruo Hosoya: Validation algorithm for attribute-element constraints of RELAX NG. Extreme Markup Languages® 2003
17EEHaruo Hosoya, Benjamin C. Pierce: XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. 3(2): 117-148 (2003)
16EEHaruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. J. Funct. Program. 13(6): 961-1004 (2003)
2002
15EEJingyan 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
14EEHaruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. POPL 2001: 67-80
13EEHaruo 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
12EEHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ICFP 2000: 11-22
11EEHaruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) 2000: 111-116
10EEHaruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000: 226-244
1999
9EEHaruo 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
8EEHaruo 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
6EEHaruo Hosoya, Naoki Kobayashi, Akinori Yonezawa: Partial Evaluation Scheme for Concurrent Languages and Its Correctness. Euro-Par, Vol. I 1996: 625-632
5EEYoshimi 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
2EEHaruo 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
1EEY. 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)