Segui
Kim Nguyen
Kim Nguyen
Assistant Professor of Computer Science, Université Paris-Sud, France
Email verificata su lri.fr - Home page
Titolo
Citata da
Citata da
Anno
Type-based XML projection
V Benzaken, G Castagna, D Colazzo, K Nguyễn
Proceedings of the 32nd international conference on Very large data bases …, 2006
672006
Polymorphic functions with set-theoretic types
G Castagna, K Nguyễn, Z Xu, P Abate
Unpublished, Dec, 2012
57*2012
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani
Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014
562014
Fast in-memory XPath search using compressed indexes
D Arroyuelo, F Claude, S Maneth, V Mäkinen, G Navarro, K Nguyễn, ...
Software: Practice and Experience, 2013
562013
Fast in-memory XPath search using compressed indexes
D Arroyuelo, F Claude, S Maneth, V Maakinen, G Navarro, K Nguyễn, ...
Data Engineering (ICDE), 2010 IEEE 26th International Conference on, 417-428, 2010
56*2010
Static and Dynamic Semantics of NoSQL Languages
V Benzaken, G Castagna, K Nguyễn, J Siméon
POPL, 2013
542013
XPath whole query optimization
S Maneth, K Nguyễn
Proceedings of the VLDB Endowment 3 (1-2), 882-893, 2010
192010
Typed iterators for XML
G Castagna, K Nguyễn
ACM Sigplan Notices 43 (9), 15-26, 2008
182008
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
G Castagna, H Im, K Nguyễn, V Benzaken
8*
Optimizing XML querying using type-based document projection
V Benzaken, G Castagna, D Colazzo, K Nguyen
ACM Transactions on Database Systems (TODS) 38 (1), 4, 2013
72013
Langage de Combinateurs Pour XML
K Nguyen
62008
Computation of chromatic polynomials using triangulations and clique trees
P Berthomé, S Lebresne, K Nguyễn
Graph-Theoretic Concepts in Computer Science, 362-373, 2005
62005
A core calculus for XQuery 3.0
G Castagna, H Im, K Nguyễn, V Benzaken
Programming Languages and Systems, 232-256, 2015
2015
QUERY PROCESSING
S MANETH, K NGUYEN
WO Patent WO/2011/091,472, 2011
2011
QUERY PROCESSING OF TREE-STRUCTURED DATA
S MANETH, K NGUYEN
WO Patent WO/2011/091,471, 2011
2011
QUERY PROCESSING OF TREE-STRUCTURED DATA
S MANETH, K NGUYEN
WO Patent WO/2011/091,470, 2011
2011
ℂDuce User's Manual
V Benzaken, G Castagna, J Demouth, A Frisch, C Miachon, K Nguyen, ...
2011
Une algèbre de filtrage pour le langage CDuce
K Nguyễn
Université Paris-Sud, 2004
2004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–18