Travelled to:1 × Australia
1 × Canada
1 × France
1 × United Kingdom
4 × USA
Collaborated with:K.Inaba B.C.Pierce S.Kawanaka T.Suda M.Murata S.Maneth A.Frisch G.Castagna J.Vouillon
Talks about:xml (4) regular (3) express (2) tree (2) constraint (1) transform (1) represent (1) polymorph (1) backtrack (1) algorithm (1)
Person: Haruo Hosoya
DBLP: Hosoya:Haruo
Contributed to:
20092008
20062005
2005200320012000Wrote 8 papers:
- CIAA-2009-InabaH #query #representation #set
- Compact Representation for Answer Sets of n-ary Regular Queries (KI, HH), pp. 94–104.
- CIAA-2008-InabaHM #metaprogramming #multi #transducer
- Multi-Return Macro Tree Transducers (KI, HH, SM), pp. 102–111.
- ICFP-2006-KawanakaH #bidirectional #model transformation #named #transformation language #xml
- biXid: a bidirectional transformation language for XML (SK, HH), pp. 201–214.
- CIAA-2005-SudaH #algorithm #automaton #backtracking #top-down
- Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
- POPL-2005-HosoyaFC #morphism #parametricity #polymorphism #xml
- Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
- CIAA-2003-HosoyaM #constraints
- Boolean Operations for Attribute-Element Constraints (HH, MM), pp. 201–212.
- POPL-2001-HosoyaP #pattern matching #regular expression #xml
- Regular expression pattern matching for XML (HH, BCP), pp. 67–80.
- ICFP-2000-HosoyaVP #regular expression #xml
- Regular expression types for XML (HH, JV, BCP), pp. 11–22.