Haruo Hosoya
Haruo Hosoya
ATR International
Verified email at atr.jp - Homepage
Title
Cited by
Cited by
Year
XDuce: A statically typed XML processing language
H Hosoya, BC Pierce
ACM Transactions on Internet Technology (TOIT) 3 (2), 117-148, 2003
4412003
XDuce: A typed XML processing language (preliminary report)
H Hosoya, BC Pierce
International Workshop on the World Wide Web and Databases, 226-244, 2000
2862000
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM SIGPLAN Notices 35 (9), 11-22, 2000
2492000
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 46-90, 2005
2042005
Regular expression pattern matching for XML
H Hosoya, B Pierce
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
1922001
Regular expression pattern matching for XML
H Hosoya, BC Pierce
Journal of Functional Programming 13 (6), 961-1004, 2003
1102003
biXid: a bidirectional transformation language for XML
S Kawanaka, H Hosoya
ACM SIGPLAN Notices 41 (9), 201-214, 2006
722006
Foundations of XML processing: the tree-automata approach
H Hosoya
Cambridge University Press, 2010
572010
Parametric polymorphism for XML
H Hosoya, A Frisch, G Castagna
ACM SIGPLAN Notices 40 (1), 50-62, 2005
562005
Regular expression pattern matching: A simpler design
H Hosoya
Kyoto University. Research Institute for Mathematical Sciences [RIMS], 2003
362003
Partial evaluation scheme for concurrent languages and its correctness
H Hosoya, N Kobayashi, A Yonezawa
European Conference on Parallel Processing, 625-632, 1996
301996
Learning Visual Spatial Pooling by Strong PCA Dimension Reduction
H Hosoya, A Hyvärinen
Neural computation 28 (7), 1249-1264, 2016
292016
How Good is Local Type Inference?
H Hosoya, BC Pierce
Technical Reports (CIS), 180, 1999
291999
A hierarchical statistical model of natural images explains tuning properties in V2
H Hosoya, A Hyvärinen
Journal of Neuroscience 35 (29), 10412-10428, 2015
282015
Validation and boolean operations for attribute-element constraints
H Hosoya, M Murata
Programming Languages Technologies for XML (PLAN-X), 1-10, 2002
262002
Sparse codes of harmonic natural sounds and their modulatory interactions
H Terashima, H Hosoya
Network: Computation in Neural Systems 20 (4), 253-267, 2009
232009
Multinomial Bayesian learning for modeling classical and nonclassical receptive field properties
H Hosoya
Neural computation 24 (8), 2119-2150, 2012
222012
Towards practical typechecking for macro tree transducers
A Frisch, H Hosoya
International Symposium on Database Programming Languages, 246-260, 2007
222007
Parametric polymorphism for XML
H Hosoya, A Frisch, G Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (1), 1-56, 2009
202009
Regular expression filters for XML
H Hosaya
Journal of Functional Programming 16 (6), 711-750, 2006
202006
The system can't perform the operation now. Try again later.
Articles 1–20