kim.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc kim.cite -ob kim.bib -c 'author : "Kim" and author : "Nguyen"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{castagna08icfp,
  author = {Giuseppe Castagna and Kim Nguyen},
  title = {Typed iterators for {XML}},
  booktitle = {ICFP},
  year = {2008},
  pages = {15--26},
  ee = {http://doi.acm.org/10.1145/1411204.1411210},
  crossref = {icfp08},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  topics = {team}
}

@article{benzaken13tods,
  author = {V\'eronique Benzaken and Giuseppe Castagna and Dario Colazzo and Kim Nguyen},
  title = {Optimizing {XML} querying using type-based document projection},
  journal = {ACM Transactions on Database Systems (TODS)},
  year = 2013,
  hal = {http://hal.archives-ouvertes.fr/hal-00798049},
  topics = {team,lri},
  type_publi = {irevcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {TODS},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}

@inproceedings{maneth10vldb,
  author = {Sebastian Maneth and
               Kim Nguyen},
  title = {XPath Whole Query Optimization},
  booktitle = {36th International Conference on Very Large Data Bases (VLDB'2010)},
  pages = {882--893},
  year = 2010,
  volume = 3,
  number = 1,
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VLDB}
}

@inproceedings{benzaken13popl,
  author = {V\'eronique Benzaken and Giuseppe Castagna and Kim Nguyen and J\'er\^ome Sim\'eon},
  title = {Static and Dynamic Semantics of {NoSQL} Languages},
  topics = {team},
  hal = {http://hal.archives-ouvertes.fr/hal-00797956},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  crossref = {popl13}
}

@article{nguyen13spe,
  author = {Arroyuelo, Diego and Claude, Francisco and Maneth, Sebastian and M\"{a}kinen, Veli and Navarro, Gonzalo and Nguyen, Kim and Sir\'en, Jouni and V\"{a}lim\"{a}ki, Niko},
  title = {Fast in-memory {XP}ath search using compressed indexes},
  journal = {Software: Practice and Experience},
  issn = {1097-024X},
  doi = {10.1002/spe.2227},
  pages = {n/a--n/a},
  keywords = {XML, succinct data structures, XPath, tree automata},
  year = {2013},
  type_publi = {irevcomlec},
  topics = {team}
}

@inproceedings{castagna14popl,
  hal = {http://hal.archives-ouvertes.fr/hal-00880744},
  topics = {team},
  author = {Giuseppe Castagna and Hyeonseung Im and Serge{\"\i} Lenglet and Kim Nguyen and Luca Padovani and Zhiwu Xu},
  title = {Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation},
  crossref = {popl2014}
}

@inproceedings{castagna15popl,
  hal = {},
  topics = {team},
  author = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Pietro Abate},
  title = {Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. },
  crossref = {popl2015}
}

@book{NSIPremiere2019Ellipses,
  author = {Thibaut Balabonski and Sylvain Conchon and Jean-Christophe Filli\^atre and Kim Nguyen},
  title = {Num\'erique et Sciences Informatiques, 30 le\c{c}ons avec exercices corrig\'es},
  publisher = {Ellipses},
  year = 2019,
  month = aug,
  pages = 528,
  url = {http://www.nsi-premiere.fr},
  isbn = 9782340033641,
  x-equipes = {demons PROVAL},
  x-support = {livre},
  x-type = {livre},
  type_publi = {ouvrage}
}

@book{balabonski20book,
  topics = {team},
  title = {Num{\'e}rique et Sciences Informatiques, 24 le\c{c}ons avec exercices corrig{\'e}s. Terminale},
  author = {Balabonski, Thibaut and Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe and Nguyen, Kim},
  hal = {https://hal.inria.fr/hal-03023099},
  publisher = {Ellipses},
  year = 2020
}

@book{balabonski22book,
  topics = {team},
  title = {Informatique - {MP2I/MPI} - {CPGE} 1re et 2e ann{\'e}es - {Cours} et exercices corrig{\'e}s},
  author = {Balabonski, Thibaut and Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe and Nguyen, Kim and Sartre, Laurent},
  hal = {https://hal.inria.fr/hal-03886751},
  publisher = {Ellipses},
  year = 2022
}

@book{balabonski19book,
  topics = {team},
  title = {Num{\'e}rique et Sciences Informatiques, 30 le{\c c}ons avec exercices corrig{\'e}s. {Premi{\`e}re.}},
  author = {Balabonski, Thibaut and Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe and Nguyen, Kim},
  hal = {https://inria.hal.science/hal-02379073},
  publisher = {Ellipses},
  year = 2019
}

@proceedings{popl13,
  title = {Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2013,
  booktitle = {Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  editor = {R. Cousot},
  address = {Roma, Italy},
  month = jan,
  publisher = {ACM Press}
}

@proceedings{popl2014,
  title = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2014,
  booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  address = {San Diego, USA},
  month = jan,
  publisher = {ACM Press}
}

@proceedings{popl2015,
  title = {Proceedings of the 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2015,
  booktitle = {Proceedings of the 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  address = {Mumbai, India},
  month = jan,
  publisher = {ACM Press}
}

@proceedings{icfp08,
  editor = {James Hook and Peter Thiemann},
  title = {Proceeding of the 13th ACM SIGPLAN international conference
               on Functional programming, ICFP 2008},
  booktitle = {13th ACM SIGPLAN international conference
               on Functional programming, ICFP 2008},
  address = {Victoria, BC, Canada},
  publisher = {ACM},
  year = {2008},
  month = sep,
  isbn = {978-1-59593-919-7}
}