Kim Nguyen
Kim Nguyen
Assistant Professor of Computer Science, Université Paris-Sud, France
Verified email at lri.fr - Homepage
TitleCited byYear
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
652006
Static and Dynamic Semantics of NoSQL Languages
V Benzaken, G Castagna, K Nguyễn, J Siméon
POPL, 2013
542013
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
482013
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
48*2010
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
332014
Polymorphic functions with set-theoretic types
G Castagna, K Nguyễn, Z Xu, P Abate
Unpublished, Dec, 2012
29*2012
Typed iterators for XML
G Castagna, K Nguyễn
ACM Sigplan Notices 43 (9), 15-26, 2008
182008
XPath whole query optimization
S Maneth, K Nguyễn
Proceedings of the VLDB Endowment 3 (1-2), 882-893, 2010
152010
A core calculus for XQuery 3.0
G Castagna, H Im, K Nguyễn, V Benzaken
Programming Languages and Systems, 232-256, 2015
72015
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
G Castagna, H Im, K Nguyễn, V Benzaken
7*
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
52005
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
42013
Langage de Combinateurs Pour XML
K Nguyen
32008
Une algèbre de filtrage pour le langage CDuce
K Nguyễn
Université Paris-Sud, 2004
1*2004
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
The system can't perform the operation now. Try again later.
Articles 1–18