The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Haruo Hosoya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    Regular expression types for XML. [Citation Graph (2, 0)][DBLP]
    ICFP, 2000, pp:11-22 [Conf]
  2. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A Typed XML Processing Language (Preliminary Report). [Citation Graph (2, 0)][DBLP]
    WebDB (Informal Proceedings), 2000, pp:111-116 [Conf]
  3. Haruo Hosoya
    Type Systems for XML. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:1- [Conf]
  4. Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa
    Partial Evaluation Scheme for Concurrent Languages and Its Correctness. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:625-632 [Conf]
  5. Makoto Murata, Haruo Hosoya
    Validation algorithm for attribute-element constraints of RELAX NG. [Citation Graph (0, 0)][DBLP]
    Extreme Markup Languages®, 2003, pp:- [Conf]
  6. Shinya Kawanaka, Haruo Hosoya
    biXid: a bidirectional transformation language for XML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:201-214 [Conf]
  7. Kazuhiro Inaba, Haruo Hosoya
    XML Transformation Language Based on Monadic Second Order Logic. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:49-60 [Conf]
  8. Kazuhiro Inaba, Haruo Hosoya
    MTran: An XML Transformation Language Based on Monadic Second Order Logic. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:91-92 [Conf]
  9. Haruo Hosoya, Alain Frisch, Giuseppe Castagna
    Parametric polymorphism for XML. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:50-62 [Conf]
  10. Haruo Hosoya, Benjamin C. Pierce
    Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:67-80 [Conf]
  11. Haruo Hosoya, Akinori Yonezawa
    Garbage Collection via Dynamic Type Inference - A Fomal Treatment. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:215-239 [Conf]
  12. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A Typed XML Processing Language (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    WebDB (Selected Papers), 2000, pp:226-244 [Conf]
  13. Haruo Hosoya, Makoto Murata
    Boolean Operations for Attribute-Element Constraints. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:201-212 [Conf]
  14. Tadahiro Suda, Haruo Hosoya
    Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. [Citation Graph (0, 0)][DBLP]
    CIAA, 2005, pp:294-306 [Conf]
  15. 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? [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1999, v:39, n:2, pp:192-196 [Journal]
  16. Haruo Hosoya, Sayaka Iwata, Minako Murokoshi, Michiko Atsumi
    Graph-Theoretical Analysis of Tunneling Electron Transfer in Large Polycyclic Aromatic Hydrocarbon Networks. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 2001, v:41, n:3, pp:512-516 [Journal]
  17. Haruo Hosoya, Umpei Nagashima, Sachiko Hyugaji
    Topological Twin Graphs. Smallest Pair of Isospectral Polyhedral Graphs with Eight Vertices. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1994, v:34, n:2, pp:428-431 [Journal]
  18. Haruo Hosoya, Yukari Okuma, Yoko Tsukano, Kyoko Nakada
    Multilayered Cyclic Fence Graphs: Novel Cubic Graphs Related to the Graphite Network. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1995, v:35, n:3, pp:351-356 [Journal]
  19. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1996, v:36, n:2, pp:286-293 [Journal]
  20. Y. Osamura, Shinichi Yamabe, F. Hirota, Haruo Hosoya, Sayaka Iwata, H. Kashiwagi, Keiji Morokuma, M. Togasi, Shigeru Obara
    Quantum chemistry literature data base. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1981, v:21, n:2, pp:86-90 [Journal]
  21. Jingyan Xia, Haruo Hosoya
    Analysis of the Relationship among the Graphs Isomorphic to Multilayered Cyclic Fence Graphs (MLCFG). [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 2002, v:42, n:5, pp:1004-1010 [Journal]
  22. Haruo Hosoya, Benjamin C. Pierce
    Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:6, pp:961-1004 [Journal]
  23. 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. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1995, v:21, n:9, pp:1491-1504 [Journal]
  24. 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. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1997, v:22, n:12, pp:1677-1693 [Journal]
  25. Haruo Hosoya, Makoto Murata
    Boolean operations and inclusion test for attribute-element constraints. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:327-351 [Journal]
  26. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A statically typed XML processing language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Internet Techn., 2003, v:3, n:2, pp:117-148 [Journal]
  27. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    Regular expression types for XML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:46-90 [Journal]
  28. Alain Frisch, Haruo Hosoya
    Towards Practical Typechecking for Macro Tree Transducers. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:246-260 [Conf]
  29. Alain Frisch, Haruo Hosoya
    Towards Practical Typechecking for Macro Tree Transducers [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  30. Multi-Return Macro Tree Transducers. [Citation Graph (, )][DBLP]


  31. Multi-Return Macro Tree Transducers. [Citation Graph (, )][DBLP]


  32. Compact Representation for Answer Sets of n-ary Regular Queries. [Citation Graph (, )][DBLP]


Search in 0.223secs, Finished in 0.224secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002