Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
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.