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
}