EN FR
EN FR


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 3I. Ben Gharbia, Jean Charles. Gilbert.

    Nonconvergence of the plain Newton-min algorithm for linear complementarity problems with a P-matrix, in: Mathematical Programming, 2012, vol. 134, p. 349-364.

    http://dx.doi.org/10.1007/s10107-010-0439-6
  • 4I. Ben Gharbia, Jean Charles. Gilbert.

    An algorithmic characterization of P-matricity, in: SIAM Journal on Matrix Analysis and Applications, 2013, in revision.

    http://hal.archives-ouvertes.fr/hal-00713330/en
  • 5I. Ben Gharbia, J. Jaffré.

    Gas phase appearance and disappearance as a problem with complementarity constraints, in: Mathematics and Computers in Simulation, 2013, to appear.

    http://hal.inria.fr/hal-00641621/
  • 6S. Boldo, F. Clément, J.-C. Filliâtre, M. Mayero, G. Melquiond, P. Weis.

    Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program, in: J. of Automated Reasoning, 2012.

    http://dx.doi.org/10.1007/s10817-012-9255-4
  • 7N. Frih, V. Martin, J. E. Roberts, A. Saâda.

    Modeling fractures as interfaces with nonmatching grids, in: Computational Geosciences, 2012, vol. 16, p. 1043-1060.

    http://dx.doi.org/10.1007/s10596-012-9302-6
  • 8M. J. Gander, C. Japhet.

    An algorithm for non-matching grid projections in 2d and 3d with linear complexity, in: ACM Transaction on Mathematical Software, 2012, in revision.
  • 9L. Halpern, C. Japhet, J. Szeftel.

    Optimized Schwarz waveform relaxation and discontinuous Galerkin time stepping for heterogeneous problems, in: SIAM J. Numer. Anal., 2012, vol. 50(5), p. 2588-2611.
  • 10C. Japhet, Y. Maday, F. Nataf.

    A New Interface Cement Equilibrated Mortar (NICEM) method with Robin interface conditions : the P1 finite element case, in: M3AS, 2012, to appear.
  • 11P. Knabner, J. E. Roberts.

    Mathematical analysis of a discrete fracture model coupling Darcy flow in the matrix with Darcy-Forchheimer flow in the fracture, in: M2AN, 2012, in revision.

International Conferences with Proceedings

  • 12P.-M. Berthe, C. Japhet, P. Omnes.

    Space-time domain decomposition with finite volumes for porous media applications, in: Proceeding of the 21th International Conference on Domain Decomposition Methods, 2013, to appear.
  • 13Thi-Thao-Phuong. Hoang, J. Jaffré, C. Japhet, M. Kern, J. E. Roberts.

    Space Time Domain Decomposition for Mixed Formulation of Diffusion Equations, in: Proceeding of the 21st International Conference on Domain Decomposition Methods, 2013, to appear.
  • 14C. Japhet, Y. Maday, F. Nataf.

    A new interface cement equilibrated mortar method with Ventcel conditions, in: Proceeding of the 21th International Conference on Domain Decomposition Methods, 2013, to appear.
  • 15C. Japhet, P. Omnes.

    Optimized Schwarz waveform relaxation for porous media applications, in: Proceeding of the 20th International Conference on Domain Decomposition Methods, 2012, to appear.

Internal Reports

  • 16I. Ben Gharbia, J. Jaffré, J. E. Roberts, Kumar N. Suresh.

    A Composite Hexahedral Mixed Finite Element with Kershaw meshes, Inria, April 2012, no RR-7936, 13 p.

    http://hal.inria.fr/hal-00690019
  • 17S. Boldo, F. Clément, J.-C. Filliâtre, M. Mayero, G. Melquiond, P. Weis.

    Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program, Inria, Rocquencourt, France, 2012, no 8197.

    http://hal.inria.fr/hal-00769201/en/
  • 18A. Ern, M. Vohralík.

    Adaptive inexact Newton methods with a posteriori stopping criteria for nonlinear diffusion PDEs, Inria, October 2012.

    http://hal.inria.fr/hal-00681422

Other Publications