benzaken.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc benzaken.cite -ob benzaken.bib -c 'author : "benzaken"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@unpublished{benzaken18,
  author = {{V\'eronique Benzaken and \'Evelyne Contejean and Chantal Keller and Eunice Martins}},
  title = {{COQ specification and verification of SQL's query execution plans}}
}
@inproceedings{benzaken17itp,
  author = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean and
               Stefania Dumbrava},
  title = {Certifying Standard and Stratified Datalog Inference Engines in SSReflect},
  booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  pages = {171--188},
  year = {2017},
  crossref = {itp2017},
  url = {https://doi.org/10.1007/978-3-319-66107-0_12},
  doi = {10.1007/978-3-319-66107-0_12}
}
@unpublished{benzaken16hal,
  title = {{SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra}},
  author = {Benzaken, V{\'e}ronique and Contejean, Evelyne},
  url = {https://hal.archives-ouvertes.fr/hal-01487062},
  note = {working paper or preprint},
  year = {2016},
  month = oct,
  pdf = {https://hal.archives-ouvertes.fr/hal-01487062/file/main.pdf},
  hal_id = {hal-01487062},
  hal_version = {v1}
}
@inproceedings{benzaken14esop,
  hal = {http://hal.inria.fr/hal-00924156},
  author = {V\'eronique Benzaken and \'Evelyne Contejean and Stefania Dumbrava},
  title = {A {Coq} Formalization of the Relational Data Model},
  crossref = {esop2014},
  year = 2014,
  month = apr,
  editor = {Z. Shao},
  booktitle = {European Symposium on Programming, LNCS 8410},
  pages = {189-208},
  type_publi = {icolcomlec},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes}
}
@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}
}
@article{benzaken08jacm,
  author = {Alain Frisch and Giuseppe Castagna and V\'eronique Benzaken},
  title = {Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types},
  journal = {Journal of the  ACM},
  volume = {55},
  number = {4},
  year = {2008},
  issn = {0004-5411},
  pages = {1--64},
  doi = {10.1145/1391289.1391293},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  topics = {team,lri},
  type_publi = {irevcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {JACM},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inbook{benzaken09EDS,
  author = {V. Benzaken and G. Castagna and H. Hosoya and B.C. Pierce and
S. Vansummeren},
  chapter = {``{XML} Typechecking''},
  title = {The Encyclopedia of Database Systems},
  publisher = {Springer},
  year = {2009},
  annote = {types,xml,new},
  note = {{\bf Invited Article}},
  topics = {team, lri},
  type_publi = {chapitre},
  x-equipes = {demons PROVAL EXT},
  x-type = {chapitre},
  x-support = {ouvrage}
}
@inproceedings{benzaken08ppdp,
  author = {V. Benzaken and G.Castagna and D. Colazzo and C. Miachon},
  title = {Pattern by Example: Type-driven Visual Programming of {XML} Queries".},
  booktitle = {10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming},
  year = 2008,
  address = {Valencia, Spain},
  month = {July},
  publisher = {ACM Press},
  topics = {team, lri},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {PPDP},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{benzaken11icde,
  author = {V\'eronique Benzaken and  Jean-Daniel Fekete and Pierre-Luc H\'emery and Wael Khemiri and Ioana Manolescu},
  title = {{EdiFlow: data-intensive interactive workflows for visual analytics}},
  year = {2011},
  booktitle = {{International Conference on Data Engineering (ICDE)}},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {ICDE},
  x-proceedings = {yes},
  x-international-audience = {yes},
  hal = {http://hal.inria.fr/inria-00532552},
  crossref = {icde11}
}
@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}
}
@inproceedings{benzaken11,
  author = {V\'eronique Benzaken and  Jean-Daniel Fekete and Pierre-Luc H\'emery and Wael Khemiri and Ioana Manolescu},
  title = {{EdiFlow: data-intensive interactive workflows for visual analytics}},
  year = {2011},
  booktitle = {{International Conference on Data Engineering (ICDE)}},
  topics = {team},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  crossref = {icde11}
}
@proceedings{icde11,
  title = {Proceedings of the Twenty Seventh International Conference on
			Data Engineering},
  booktitle = {Proceedings of the Twenty Seventh International Conference on
			Data Engineering},
  editor = {Serge Abiteboul and Christoph Koch and Tan Kian Lee},
  year = 2011,
  month = apr,
  publisher = {{IEEE} Comp. Soc. Press}
}
@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{esop2014,
  title = {23rd European Symposium on Programming (ESOP)},
  year = 2014,
  booktitle = {ESOP},
  editor = {Zhong Shao},
  series = {Lecture Notes in Computer Science},
  address = {Grenoble},
  month = apr,
  publisher = {Springer}
}
@proceedings{itp2017,
  editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  title = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10499},
  publisher = {Springer},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-66107-0},
  doi = {10.1007/978-3-319-66107-0},
  isbn = {978-3-319-66106-3}
}