2013-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2013-journal.cite -ob 2013-journal.bib -c 'year = 2013 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@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{MelNowZim12,
hal = {http://hal.inria.fr/hal-00644166/en/},
title = {Numerical Approximation of the {M}asser-{G}ramain Constant to Four Decimal Digits: delta=1.819\ldots},
author = {Guillaume Melquiond and Werner Georg Nowak and Paul Zimmermann},
publisher = {AMS},
journal = {Mathematics of Computation},
year = {2013},
volume = {82},
pages = {1235--1246},
doi = {10.1090/S0025-5718-2012-02635-4},
topics = {team},
x-type = {article},
x-support = {revue},
x-cle-support = {MoC},
x-international-audience = {yes},
x-editorial-board = {yes},
x-equipes = {demons PROVAL ext},
type_publi = {irevcomlec}
}
@article{boldo13jar,
author = {Sylvie Boldo and Fran\c{c}ois Cl\'ement and Jean-Christophe Filli\^atre and Micaela Mayero and Guillaume Melquiond and Pierre Weis},
title = {Wave Equation Numerical Resolution:
a Comprehensive Mechanized Proof of a {C} Program},
journal = {Journal of Automated Reasoning},
year = {2013},
volume = {50},
number = {4},
pages = {423--456},
month = apr,
x-international-audience = {yes},
x-editorial-board = {yes},
x-equipes = {demons PROVAL ext},
x-support = {revue},
x-type = {article},
x-cle-support = {JAR},
hal = {http://hal.inria.fr/hal-00649240/en/},
doi = {10.1007/s10817-012-9255-4},
topics = {team}
}
@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}
}
@article{martindorel13bit,
hal = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00644408},
topics = {team},
title = {Some Issues related to Double Roundings},
author = {Martin-Dorel, {\'E}rik and Melquiond, Guillaume and Muller, Jean-Michel},
volume = {53},
number = {4},
pages = {897--924},
journal = {BIT Numerical Mathematics},
audience = {internationale},
doi = {10.1007/s10543-013-0436-2},
year = 2013
}