Searching for authors named "Haruo Hosoya" – sorted by Relevance.
-
Regular Expression Pattern Matching - A Simpler Design
- Regular Expression Pattern Matching | A Simpler Design | Haruo HOSOYA RIMS, Kyoto University
- Cited by 8 (2 self) – Add To MetaCart
-
Boolean operations and inclusion test for attribute-element constraints
- ) Haruo Hosoya \Lambda Research Institute for Mathematical Sciences, Kyoto University hahosoya
- Cited by 9 (0 self) – Add To MetaCart
-
Non-backtracking top-down algorithm for checking tree automata containment
- and Haruo Hosoya 2 Graduate School of Information Science and Technology, University of Tokyo, Japan
- Cited by 2 (2 self) – Add To MetaCart
-
Garbage Collection via Dynamic Type Inference - A Formal Treatment
- Garbage Collection via Dynamic Type Inference --- A Formal Treatment --- Haruo Hosoya and Akinori
- Cited by 2 (0 self) – Add To MetaCart
-
Tree Automata and Pattern Matching
- Tree Automata and Pattern Matching Haruo Hosoya Benjamin Pierce Department of Computer
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Description for Collecting Reachable Garbage via Dynamic Type Inference
- Formal Description for Collecting Reachable Garbage via Dynamic Type Inference Haruo Hosoya
- Cited by 2 (0 self) – Add To MetaCart
-
XML Transformation Language Based on Monadic Second-order Logic
- XML Transformation Language Based on Monadic Second-order Logic Kazuhiro Inaba and Haruo Hosoya
- Cited by 2 (2 self) – Add To MetaCart
-
Towards practical typechecking for macro tree transducers
- Towards Practical Typechecking for Macro Tree Transducers Alain Frisch 1 and Haruo Hosoya 2 1
- Cited by 2 (0 self) – Add To MetaCart
-
Compact Representation for Answer Sets of n-ary Regular Queries
- Compact Representation for Answer Sets of n-ary Regular Queries Kazuhiro Inaba 1 and Haruo Hosoya
- Add To MetaCart
-
Regular Expression Pattern Matching for XML
- Regular Expression Pattern Matching for XML Haruo Hosoya Benjamin Pierce Department of Computer
- Cited by 92 (5 self) – Add To MetaCart

