benzaken.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc benzaken.cite -ob benzaken.bib -c 'author : "benzaken"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../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}
}