Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Haruo
    Last name: Hosoya
    DBLP: 13/6560
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 33  
    Select a publication
    Show Title Venue Rating Date
    Kazuhiro Inaba, Haruo Hosoya.
    Compact Representation for Answer Sets of n-ary Regular Queries.
    Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings 2009 (0) 2009
    Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren.
    XML Typechecking.
    Encyclopedia of Database Systems 2009 (0) 2009
    Kazuhiro Inaba, Haruo Hosoya.
    Multi-Return Macro Tree Transducers.
    PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008 2008 (0) 2008
    Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth.
    Multi-Return Macro Tree Transducers.
    Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings 2008 (0) 2008
    Alain Frisch, Haruo Hosoya.
    Towards Practical Typechecking for Macro Tree Transducers.
    Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 2007 (0) 2007
    Kazuhiro Inaba, Haruo Hosoya.
    XML Transformation Language Based on Monadic Second Order Logic.
    PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007 2007 (0) 2007
    Kazuhiro Inaba, Haruo Hosoya.
    MTran: An XML Transformation Language Based on Monadic Second Order Logic.
    PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007 2007 (0) 2007
    Alain Frisch, Haruo Hosoya.
    Towards Practical Typechecking for Macro Tree Transducers
    CoRR 2007, Volume 0 (0) 2007
    Shinya Kawanaka, Haruo Hosoya.
    biXid: a bidirectional transformation language for XML.
    Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 2006 (0) 2006
    Haruo Hosoya, Makoto Murata.
    Boolean operations and inclusion test for attribute-element constraints.
    Theor. Comput. Sci. 2006, Volume 360 (0) 2006

    Your query returned 33 matches in the database.