Follow
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
4742003
XDuce: A typed XML processing language (preliminary report)
H Hosoya, BC Pierce
International Workshop on the World Wide Web and Databases, 226-244, 2000
2892000
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM SIGPLAN Notices 35 (9), 11-22, 2000
2692000
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 46-90, 2005
2192005
Regular expression pattern matching for XML
H Hosoya, B Pierce
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
2032001
Regular expression pattern matching for XML
H Hosoya, BC Pierce
Journal of Functional Programming 13 (6), 961-1004, 2003
1172003
biXid: a bidirectional transformation language for XML
S Kawanaka, H Hosoya
ACM SIGPLAN Notices 41 (9), 201-214, 2006
772006
Foundations of XML processing: the tree-automata approach
H Hosoya
Cambridge University Press, 2010
582010
Group-based learning of disentangled representations with generalizability for novel contents
H Hosoya
arXiv preprint arXiv:1809.02383, 2018
572018
Parametric polymorphism for XML
H Hosoya, A Frisch, G Castagna
ACM SIGPLAN Notices 40 (1), 50-62, 2005
572005
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
402015
Regular expression pattern matching: A simpler design
H Hosoya
Technical Report, RIMS, 2003
372003
Learning Visual Spatial Pooling by Strong PCA Dimension Reduction
H Hosoya, A Hyvärinen
Neural computation 28 (7), 1249-1264, 2016
352016
Partial evaluation scheme for concurrent languages and its correctness
H Hosoya, N Kobayashi, A Yonezawa
Euro-Par'96 Parallel Processing: Second International Euro-Par Conference …, 1996
331996
Validation and boolean operations for attribute-element constraints
H Hosoya, M Murata
Programming Languages Technologies for XML (PLAN-X), 1-10, 2002
302002
How good is local type inference
H Hosoya, BC Pierce
Technical Report MS-CIS-99-17, University of Pennsylvania 3 (2), 1999
301999
Sparse codes of harmonic natural sounds and their modulatory interactions
H Terashima, H Hosoya
Network: Computation in Neural Systems 20 (4), 253-267, 2009
262009
Towards practical typechecking for macro tree transducers
A Frisch, H Hosoya
International Symposium on Database Programming Languages, 246-260, 2007
232007
Multinomial Bayesian learning for modeling classical and nonclassical receptive field properties
H Hosoya
Neural computation 24 (8), 2119-2150, 2012
222012
Parametric polymorphism for XML
H Hosoya, A Frisch, G Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (1), 1-56, 2009
222009
The system can't perform the operation now. Try again later.
Articles 1–20