 | 2009 |
|---|
| 33 |       | Kazuhiro Inaba,
Haruo Hosoya:
Compact Representation for Answer Sets of n-ary Regular Queries.
CIAA 2009: 94-104 |
| 32 | | Véronique Benzaken,
Giuseppe Castagna,
Haruo Hosoya,
Benjamin C. Pierce,
Stijn Vansummeren:
XML Typechecking.
Encyclopedia of Database Systems 2009: 3646-3650 |
| 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) |
