@InProceedings{DetDin2005:asap,
  author =       {Detrey, J. and {de Dinechin}, F.},
  title =        {Table-based polynomials for fast hardware function
evaluation},
  booktitle =    {16th Intl Conference on
Application-specific Systems, Architectures and Processors},
  PUBLISHER =    {IEEE Computer Society Press},
  month = jul,
  Location = {Samos, Greece},
  year =         2005
}

@InProceedings{DetDin2005:asilomar,
  author =       {Detrey, J. and {de Dinechin}, F.},
  title =        {A Parameterizable Floating-Point Logarithm Operator for {FPGA}s},
  booktitle =    {39th Asilomar Conference on Signals, Systems \& Computers},
  year =         2005,
  location =     {Pacific Grove, California, USA},
  month =        nov,
  publisher =    {IEEE Signal Processing Society}
}

@InProceedings{DetDin2005:fpt,
  author =       {Detrey, J. and {de Dinechin}, F.},
  title =        {A Parameterized Floating-Point Exponential Function for {FPGA}s},
  booktitle =    {IEEE International Conference on Field-Programmable Technology (FPT'05)},
  year =         2005,
  location =     {Singapore},
  month =        dec,
  PUBLISHER =    {IEEE Computer Society Press}
}



@TechReport{Lauter2005LIP:tripledouble,
        author = {Lauter, Ch. Q.},
  title =        {Basic building blocks for a triple-double intermediate format},
  institution =  {LIP},
  year =         {2005},
  month =        sep,
  number =       {RR2005-38},
  url  =  {http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2005/RR2005-38.pdf}
}

@Article{DinLauMul2005:log,
  author =       {de Dinechin, F. and Lauter, Ch. Q. and Muller, J.-M.},
  title =        {Fast and correctly rounded logarithms in double-precision},
  journal =      {Theoretical Informatics and Applications},
  note =         {to appear},
year = "2005"
}

@InProceedings{DinLauMel2005,
  author =       {de Dinechin, F. and Lauter, Ch. Q. and Melquiond, G.},
  title =        {Assisted verification of elementary functions using Gappa},
  booktitle =    {Symposium on Applied Computing},
  note =         {to appear},
year = "2005"
}



@InProceedings{KM:imacs2005,
  author =    {P. Kornerup and J.-M. Muller},
  title =     {{RN}-coding of numbers: definition and some properties},
  booktitle = {Proceedings of the 17th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation},
  address =   {Paris},
  month =     jul,
  year =      {2005}}


%%AT (6/12/2005)

@Article{BouTis05:ieeetc,
  author = 	 {N. Boullis and A. Tisserand},
  title = 	 {Some Optimizations of Hardware Multiplication by Constant Matrices},
  journal = 	 {{IEEE} Transactions on Computers},
  year = 	 2005,
  volume =	 54,
  number =	 10,
  pages =	 {1271--1282},
  month =	 oct
}



@InProceedings{Tis05:issac,
  author = 	 {A. Tisserand},
  title = 	 {Algorithms and Number Systems for Hardware Computer Arithmetic},
  booktitle = 	 {International Symposium on Symbolic and Algebraic Computation (ISSAC)},
  year = 	 2005,
  address =	 {Beijing, China},
  month =	 jul, 
  note =         {Invited tutorial}
}

@InProceedings{ErcMulTis05:asilomar,
  author = 	 {M. D. Ercegovac and J.-M. Muller and A. Tisserand},
  title = 	 {Simple Seed Architectures for Reciprocal and Square Root Reciprocal},
  booktitle =	 {Proc. 39th Asilomar Conference on Signals, Systems and Computers},
  year =	 2005,
  pagesxxx =        {x--y},
  address =	 {Pacific Grove, California, U.S.A.},
  month =	 oct
}

@InProceedings{MicTisVey05:spie,
  author = 	 {R. Michard and A. Tisserand and N. Veyrat-Charvillon},
  title = 	 {Divgen: a divider unit generator},
  booktitle =	 {Proc. Advanced Signal Processing Algorithms, Architectures and Implementations {XV}},
  pages =	 {59100M},
  year =	 2005,
  editor =	 {F. T. Luk},
  volume =	 5910,
  address =	 {San Diego, California, U.S.A.},
  month =	 aug,
  publisher =	 {{SPIE}}
}
	  
@InProceedings{MicTisVey05:asap,
  author = 	 {R. Michard and A. Tisserand and N. Veyrat-Charvillon},
  title = 	 {Small FPGA polynomial approximations with $3$-bit coefficients
  and low-precision estimations of the powers of $x$},
  booktitle =	 {Proc. 16th International Conference on Application-specific Systems, Architectures and Processors ({ASAP})},
  pages =	 {334--339},
  year =	 2005,
  editor =       {S. Vassiliadis and N. Dimopoulos and S. Rajopadhye},
  address =      {Samos, Greece},
  month =	 jul,
  publisher =	 {{IEEE Computer Society}},
  note =	 {Best Paper Award}
}

@InProceedings{JeaRaiTis05:imacs,
  author = 	 {C.-P. Jeannerod and S.-K. Raina and A. Tisserand},
  title = 	 {High-Radix Floating-Point Division Algorithms for Embedded {VLIW} Integer Processors},
  booktitle =	 {Proc. 17th World Congress on Scientific Computation, Applied Mathematics and Simulation {IMACS}},
  year =	 2005,
  address =	 {Paris, France},
  month =	 jul
}
	  
@InProceedings{MulTisDinMon05:arith,
  author = 	 {J.-M. Muller and A. Tisserand and B. {Dupont de Dinechin} and C. Monat},
  title = 	 {Division by Constant for the {ST}100 {DSP} Microprocessor},
  booktitle =	 {Proc. 17th Symposium on Computer Arithmetic ({ARITH})},
  pages =	 {124--130},
  year =	 2005,
  editor =	 {P. Montuschi and E. Schwarz},
  address =	 {Cape Cod, MA., U.S.A},
  month =	 jun,
  publisher =	 {{IEEE} Computer Society}
}

@InProceedings{MicTisVey05:ftfc,
  author = 	 {R. Michard and A. Tisserand and N. Veyrat-Charvillon},
  title = 	 {Étude statistique de l'activité de la fonction de sélection dans l'algorithme de E-méthode},
  booktitle =	 {5ième journées d'études Faible Tension Faible Consommation ({FTFC})},
  pages =	 {61--65},
  year =	 2005,
  address =	 {Paris},
  month =	 may
}

@InProceedings{MicTisVey05:sympa,
  author = 	 {R. Michard and A. Tisserand and N. Veyrat-Charvillon},
  title = 	 {Evaluation de polynômes et de fractions rationnelles sur {FPGA} 
avec des opérateurs à additions et décalages en grande base},
  booktitle =	 {10ième {SYMP}osium en Architectures nouvelles de machines ({SYMPA})},
  pages =	 {85--96},
  year =	 2005,
  address =	 {Le Croisic},
  month =	 apr
}

%%NB (1/12/2005)



@article{BriMulAlg2005,
    author={N.~Brisebarre and J.-M. Muller},
    title={Correct Rounding of Algebraic Functions},
    year={2005},
    number={},
    key={},
    journal = {RAIRO Theoretical Informatics and Applications},
    note= {to appear}
}

@article{BriPhi2005,
    author={N.~Brisebarre and G. Philibert},
    title={Effective lower and upper bounds for the Fourier coefficients of powers of the modular invariant $j$}, 
    year={2005},
    volume = 20,
    pages = {255--282},
    number={4},
    key={},
    journal = {J. Ramanujan Math. Soc.},
    note={}
}


@inproceedings{BriMul2005,
   author={N. Brisebarre and J.-M. Muller},
   title={Correctly rounded multiplication by arbitrary precision constants},
   booktitle =    {Proc. 17th {IEEE} Symposium on Computer Arithmetic ({ARITH}-17)},
   year={2005},
   month= jun,
   publisher={{IEEE} Computer Society Press},
   location={Cape Cod, MA, USA}
} 

@inproceedings{BolMul05,
  author =       {S. Boldo and J.-M. Muller},
  title =        {Some Functions Computable with a Fused-mac},
  year =         2005,
  address =      {Cape Cod, USA},
  booktitle =    {Proc. 17th {IEEE} Symposium on Computer Arithmetic ({ARITH}-17)},
  url =          {http://arith17.polito.it/program.html},
  editor =       {Montuschi, Paolo and Schwarz, Eric},
  pages =        {52--58}
}

@TechReport{BolMun05,
  author = 	 {S. Boldo and C. Muñoz},
  title = 	 {A formalization of floating-point numbers in PVS},
  institution =  {National Institute for Aerospace},
  year = 	 {2005}
}

%% NR (29/11/2005)


@article{IEEE-TC05,
   author ={Brisebarre, N. and Defour, D. and Kornerup, P. and Muller, J.-M. and Revol, N.},
   title = {{A new range reduction algorithm}},
   journal = {IEEE Transactions on Computers},
   volume = 54,
   number = 3,
   pages = {331--339},
   year = 2005
}



@InProceedings{IMACS05-a,
  author =       {S. Chevillard and N. Revol},
  title =        {{Computation of the error functions erf and erfc in arbitrary precision
	           with correct rounding}},
  booktitle =    {17th IMACS Conf. on Scientific Computation, Applied Math. and Simulation},
  year =         2005,
  month =        jul,
  address =      {Paris, France}
}

@InProceedings{IMACS05-b,
  author =       {N. Revol},
  title =        {{Bounding roundoff errors in Taylor models arithmetic}},
  booktitle =    {17th IMACS Conf. on Scientific Computation, Applied Math. and Simulation},
  year =         2005,
  month =        jul,
  address =      {Paris, France}
}



%% JLB (28/11/2005)

@InProceedings{BBMS:asilomar2005,
  author =       {R. Beguenane and J.-L. Beuchat and J.-M. Muller and S. Simard},
  title =        {Modular Multiplication of Large Integers on {FPGA}},
  booktitle =    {39th Asilomar Conference on Signals, Systems \& Computers},
  year =         2005,
  location =     {Pacific Grove, California, USA},
  month =        nov,
  publisher =    {IEEE Signal Processing Society}
}

@InProceedings{BM:sympaaa2005,
  author = 	 {J.-L. Beuchat and J.-M. Muller},
  title = 	 {{RN}-codes : algorithmes d'addition, de multiplication et d'élévation au carré},
  booktitle =    {SympA'2005: 10$^{\textrm{ème}}$ édition du SYMPosium en Architectures nouvelles de machines},
  year =         {2005},
  pages =        {73--84},
  month =        apr}

@InProceedings{BM:asap2005,
  author = 	 {J.-L. Beuchat and J.-M. Muller},
  title = 	 {Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers},
  booktitle =    {Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 
                  Architectures, and Processors},
  pages =	 {303--308},
  year =	 {2005},
  editor =	 {S. Vassiliadis and N. Dimopoulos and S. Rajopadhye},
  publisher =	 {IEEE Computer Society}}

@Article{DetDin:TSI06,
  author =       {Detrey, J. and {de Dinechin}, F.},
  title =        {Outils pour une comparaison sans a priori entre
                  arithmétique logarithmique et arithmétique
                  flottante},
  JOURNAL = {Technique et science informatiques},
  NOTEx = {\aparaitre},
 note= {to appear},
year = "2005"
}

@article{KorMul2004a,
    author={P.~Kornerup and J.-M.~Muller},
    title={Choosing Starting Values for Certain Newton-Raphson Iterations},
    journal={Theoretical Computer Science},
    notex = {\aparaitre},
 notex = {to appear},
year = "2004"
}

@article{PinObeMulBru2004,
    author={J.~A.~Pineiro and S.~F.~Oberman and J.-M.~Muller and J.~D.~Bruguera},
    title={High-Speed Function Approximation using a Minimax Quadratic Interpolator},
    journal={{IEEE} Transactions on Computers},
    notex = {\aparaitre},
year = "2004"
}

@inproceedings{BolMel05,
  author    = {S. Boldo and G. Melquiond},
  title     = {When double rounding is odd},
  booktitle = {Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics},
  address   = {Paris, France},
  year      = {2005}
}

@inproceedings{DauMelMun05,
  author    = {M. Daumas and G. Melquiond and C. Muñoz},
  title     = {Guaranteed proofs using interval arithmetic},
  booktitle = {Proceedings of the 17th IEEE Symposium on Computer Arithmetic},
  editor    = {Paolo Montuschi and Eric Schwarz},
  pages     = {188--195},
  address   = {Cape Cod, Massachusetts, USA},
  year      = {2005}
}

@inproceedings{MelPio05,
  author    = {G. Melquiond and S. Pion},
  title     = {Formal certification of arithmetic filters for geometric predicates},
  booktitle = {Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics},
  address   = {Paris, France},
  year      = {2005}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Articles in referred journals and book chapters
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



@article{DSV05,
  author =  {A. Darte and R. Schreiber and G. Villard},
  title = {Lattice based memory allocation},
  journal = "IEEE Transactions on Computers",
  volume = 54,
  number = 10,
  pages = {1242--1257}, 
  year = 2005
}

@article{BLV05,
 author ={B. Beckermann and G. Labahn and G. Villard},
 title = {{Normal forms for general polynomial matrices}},
 journal = "Journal of Symbolic Computation",
 notex =  {\aparaitre},
 note= {to appear},
year = "2005"
 }



@article{DinVil2006,
   author = "F. {de Dinechin} and G. Villard",
   title = "High precision numerical accuracy in physics research",
   journal = "Nuclear Inst. and Methods in Physics Research, A",
   notex = {\aparaitre},
 note= {to appear},
year = "2006"
}    


@TechReport{PRV05,
  author = "C. Pernet and A. Rondepierre and G. Villard",
  type = {Research report},
  institution = {IMAG},
  title = {Computing the {Kalman} form},
  year =         {2005},
  address = {Grenoble},
  number =       {ccsd-00009558, ArXiv cs.SC/0510014},
    url={http://hal.ccsd.cnrs.fr/ccsd-00009558},
  month = oct
}


@TechReport{JeVi05-2,
  author = "{C.-P.} Jeannerod and G. Villard",
  type = {Research report},
  institution =  {Laboratoire de l'Informatique du Parall\'elisme},
  title = {Asymptotically fast polynomial matrix algorithms for multivariable systems},
  year =         {2005},
  number =       {ccsd-00008211, ArXiv cs.SC/0505030},
  address =      {ÉNS Lyon},
    url={http://hal.ccsd.cnrs.fr/ccsd-00008211},
  month = aug
}



@inproceedings{StVi05-2,
  author =  {A. Storjohann and G. Villard},
  title = {Computing the rank and a small nullspace basis of a polynomial matrix},
   month = jul,
   booktitle = "{Proc. International Symposium on Symbolic and 
             Algebraic Computation, Beijing, China}",
   publisher = {ACM Press},
   pages = {309--316},
   year = 2005
}



@inproceedings{Vil05-1, 
   author = "G. Villard",
   title = "{Efficient algorithms in linear algebra}",
   month = may,
   note = "{33rd Theoretical Computer Science Spring School,
           Computational Complexity, Montagnac-les-truffes}",
   year = "2005"
}

@Article{MelPio06a,
  author  = {G. Melquiond and S. Pion},
  title   = {Formally certified floating-point filters for homogeneous geometric predicates},
  journal = {Theoretical Informatics and Applications},
  notex    = {\aparaitre},
 note= {to appear},
year = "2006"
}

@techreport{BroMelPio05,
  author    = {H. Brönnimann and G. Melquiond and S. Pion},
  title     = {A Proposal to add Interval Arithmetic to the {C}++ Standard Library},
  institution = {C++ standardization committee},
  number    = {5646},
    url={http://www.inria.fr/rrrt/rr-5646.html},
   year      = {2005}
}