Team Serena
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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

previous Previous | up Home