EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1S. 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: Journal of Automated Reasoning, April 2013, vol. 50, no 4, pp. 423–456.

    http://dx.doi.org/10.1007/s10817-012-9255-4
  • 2S. 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, in: Computers and Mathematics with Applications, August 2014, vol. 68, no 3, pp. 325–352.

    http://dx.doi.org/10.1016/j.camwa.2014.06.004
  • 3D. A. Di Pietro, M. Vohralík, S. Yousef.

    Adaptive regularization, linearization, and discretization and a posteriori error control for the two-phase Stefan problem, in: Math. Comp., 2015, vol. 84, no 291, pp. 153–186.

    http://dx.doi.org/10.1090/S0025-5718-2014-02854-8
  • 4A. Ern, M. Vohralík.

    Adaptive inexact Newton methods with a posteriori stopping criteria for nonlinear diffusion PDEs, in: SIAM J. Sci. Comput., 2013, vol. 35, no 4, pp. A1761–A1791.

    http://dx.doi.org/10.1137/120896918
  • 5T.-T.-P. Hoang, J. Jaffré, C. Japhet, M. Kern, J. E. Roberts.

    Space-time domain decomposition methods for diffusion problems in mixed formulations, in: SIAM J. Numer. Anal., 2013, vol. 51, no 6, pp. 3532–3559.

    http://dx.doi.org/10.1137/130914401
  • 6T. Hoang, C. Japhet, M. Kern, J. E. Roberts.

    Space-time Domain Decomposition and Mixed Formulation for solving reduced fracture models, in: SIAM J. Numer. Anal., 2015, accepted for publication.
  • 7A. Lejay, G. Pichot.

    Simulating diffusion processes in discontinuous media: a numerical scheme with constant time steps, in: J. Comput. Phys., 2012, vol. 231, no 21, pp. 7299–7314.

    http://dx.doi.org/10.1016/j.jcp.2012.07.011
  • 8G. Pichot, J. Erhel, J.-R. de Dreuzy.

    A generalized mixed hybrid mortar method for solving flow in stochastic discrete fracture networks, in: SIAM J. Sci. Comput., 2012, vol. 34, no 1, pp. B86–B105.

    http://dx.doi.org/10.1137/100804383
  • 9M. Vohralík, M. F. Wheeler.

    A posteriori error estimates, stopping criteria, and adaptivity for two-phase flows, in: Comput. Geosci., 2013, vol. 17, no 5, pp. 789–812.

    http://dx.doi.org/10.1007/s10596-013-9356-0
  • 10M. Vohralík, B. I. Wohlmuth.

    Mixed finite element methods: implementation with one unknown per element, local flux expressions, positivity, polygonal meshes, and relations to other methods, in: Math. Models Methods Appl. Sci., 2013, vol. 23, no 5, pp. 803–838.

    http://www.worldscientific.com/doi/abs/10.1142/S0218202512500613
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11E. Ahusborde, M. Kern, V. Vostrikov.

    Numerical simulation of two-phase multicomponent flow with reactive transport in porous media: application to geological sequestration of CO2, in: ESAIM: Proceedings and Surveys, March 2015, vol. 50, pp. 21 - 39. [ DOI : 10.1051/proc/201550002 ]

    https://hal.inria.fr/hal-01133858
  • 12A. Chiche, J. C. Gilbert.

    How the augmented Lagrangian algorithm can deal with an infeasible convex quadratic optimization problem, in: Journal of Convex Analysis, 2015, vol. 4, 30 p.

    https://hal.inria.fr/hal-01111126
  • 13P. Dular, Y. Le Menach, Z. Tang, E. Creusé, F. Piriou.

    Finite element mesh adaptation strategies from residual and hierarchical error estimators in eddy current problems, in: IEEE Transactions on Magnetics, 2015, vol. 51, no 3. [ DOI : 10.1109/TMAG.2014.2352553 ]

    https://hal.archives-ouvertes.fr/hal-01243654
  • 14A. Ern, M. Vohralík.

    Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations, in: SIAM Journal on Numerical Analysis, April 2015, vol. 53, no 2, pp. 1058–1081.

    https://hal.inria.fr/hal-00921583
  • 15Z. Tang, Y. Le Menach, E. Creusé, S. Nicaise, F. Piriou, N. Nemitz.

    A posteriori residual error estimators with mixed boundary conditions for quasi-static electromagnetic problems, in: COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 2015, vol. 34, no 3, pp. 724-739. [ DOI : 10.1108/COMPEL-10-2014-0256 ]

    https://hal.archives-ouvertes.fr/hal-01243637
  • 16Z. Tang, Y. Le Menach, E. Creusé, S. Nicaise, F. Piriou.

    Residual a posteriori estimator for magnetoharmonic potential formulations with global quantities source terms, in: IEEE Transactions on Magnetics, 2015, vol. 51, no 3. [ DOI : 10.1109/TMAG.2014.2359770 ]

    https://hal.archives-ouvertes.fr/hal-01243666

Conferences without Proceedings

  • 17E. Ahmed, J. Jaffré, J. E. Roberts.

    A 3-D reduced fracture model for two-phase flow in porous media with a global pressure formulation, in: MAMERN VI, Pau, France, June 2015.

    https://hal.inria.fr/hal-01119986

Internal Reports

  • 18M. H. Riahi, H. Ben Ameur, R. Bouhlila, J. Jaffré.

    Refinement indicators for optimal parameterization in the estimation of hydrogeological coefficients, Inria Paris-Rocquencourt ; Université de Tunis El Manar, ENIT-LAMSIN, December 2015, no RR-8791, 30 p.

    https://hal.inria.fr/hal-01254165

Other Publications

  • 19E. Ahmed, J. Jaffré, J. E. Roberts.

    A reduced fracture model for two-phase flow with different rock types, November 2015, working paper or preprint.

    https://hal.inria.fr/hal-01249322
  • 20N. Birgle, J. Jaffré, J. E. Roberts.

    A 2-D Composite Polygonal Mixed Finite Element, December 2015, working paper or preprint.

    https://hal.inria.fr/hal-01251652
  • 21E. Cancès, G. Dusson, Y. Maday, B. Stamm, M. Vohralík.

    A perturbation-method-based post-processing for the planewave discretization of Kohn–Sham models, October 2015, working paper or preprint.

    http://hal.upmc.fr/hal-01140818
  • 22E. Cancès, G. Dusson, Y. Maday, B. Stamm, M. Vohralík.

    Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations, September 2015, working paper or preprint.

    https://hal.inria.fr/hal-01194364
  • 23P. Ciarlet, M. Vohralík.

    Robust a posteriori error control for transmission problems with sign-changing coefficients using localization of dual norms, May 2015, working paper or preprint.

    https://hal.inria.fr/hal-01148476
  • 24V. Dolejší, A. Ern, M. Vohralík.

    hp-adaptation driven by polynomial-degree-robust a posteriori error estimates for elliptic problems, June 2015, working paper or preprint.

    https://hal.inria.fr/hal-01165187
  • 25I. Faille, A. Fumagalli, J. Jaffré, J. Roberts.

    Reduced models for flow in porous media containing faults with discretization using hybrid finite volume schemes, June 2015, working paper or preprint.

    https://hal-ifp.archives-ouvertes.fr/hal-01162048
  • 26J. C. Gilbert.

    Advanced Continuous Optimization, September 2015, Lecture.

    https://hal.inria.fr/cel-01249369
  • 27T.-T.-P. Hoang, C. Japhet, M. Kern, J. E. Roberts.

    Space-time Domain Decomposition and Mixed Formulation for solving reduced fracture models, February 2015, working paper or preprint.

    https://hal.inria.fr/hal-01113953