EN FR
EN FR


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
  • 3E. Cancès, G. Dusson, Y. Maday, B. Stamm, M. Vohralík.

    Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations, in: SIAM J. Numer. Anal., 2017, vol. 55, no 5, pp. 2228–2254.

    http://dx.doi.org/10.1137/15M1038633
  • 4D. A. Di Pietro, A. Ern.

    A hybrid high-order locking-free method for linear elasticity on general meshes, in: Comput. Methods Appl. Mech. Engrg., 2015, vol. 283, pp. 1–21.

    http://dx.doi.org/10.1016/j.cma.2014.09.009
  • 5A. Ern, J.-L. Guermond.

    Finite element quasi-interpolation and best approximation, in: ESAIM Math. Model. Numer. Anal., 2017, vol. 51, no 4, pp. 1367–1385.

    https://doi.org/10.1051/m2an/2016066
  • 6A. Ern, M. Vohralík.

    Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations, in: SIAM J. Numer. Anal., 2015, vol. 53, no 2, pp. 1058–1081.

    http://dx.doi.org/10.1137/130950100
  • 7T.-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
  • 8T.-T.-P. Hoang, C. Japhet, M. Kern, J. E. Roberts.

    Space-time domain decomposition for reduced fracture models in mixed formulation, in: SIAM J. Numer. Anal., 2016, vol. 54, no 1, pp. 288–316.

    http://dx.doi.org/10.1137/15M1009651
  • 9A. 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
  • 10G. 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
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12M. Abbas, A. Ern, N. Pignet.

    Hybrid High-Order methods for finite deformations of hyperelastic materials, in: Computational Mechanics, January 2018, vol. 62, no 4, pp. 909-928. [ DOI : 10.1007/s00466-018-1538-0 ]

    https://hal.archives-ouvertes.fr/hal-01575370
  • 13M. Abbas, A. Ern, N. Pignet.

    A Hybrid High-Order method for incremental associative plasticity with small deformations, in: Computer Methods in Applied Mechanics and Engineering, April 2019, vol. 346, pp. 891-912, https://arxiv.org/abs/1804.06129. [ DOI : 10.1016/j.cma.2018.08.037 ]

    https://hal.archives-ouvertes.fr/hal-01768411
  • 14E. Ahmed, A. Ben Abda.

    The sub-Cauchy Stokes Problem: Solvability Issues and Lagrange Multiplier Methods with Artificial Boundary Conditions, in: Journal of Computational and Applied Mathematics, January 2018.

    https://hal.archives-ouvertes.fr/hal-01467425
  • 15S. Ali Hassan, C. Japhet, M. Kern, M. Vohralík.

    A posteriori stopping criteria for optimized Schwarz domain decomposition algorithms in mixed formulations, in: Computational Methods in Applied Mathematics, June 2018, vol. 18, no 3, pp. 495-519. [ DOI : 10.1515/cmam-2018-0010 ]

    https://hal.inria.fr/hal-01529532
  • 16S. Ali Hassan, C. Japhet, M. Vohralík.

    A posteriori stopping criteria for space-time domain decomposition for the heat equation in mixed formulations , in: Electronic Transactions on Numerical Analysis, 2018, vol. 49, pp. 151–181,. [ DOI : 10.1553/etna_vol49s151 ]

    https://hal.inria.fr/hal-01586862
  • 17L. Amir, M. Kern.

    Preconditioning a coupled model for reactive transport in porous media, in: International Journal of Numerical Analysis and Modeling, 2018, vol. 16, no 1, pp. 1-30, https://arxiv.org/abs/1710.01483.

    https://hal.inria.fr/hal-01327307
  • 18H. Ben Ameur, G. Chavent, F. Cheikh, F. Clément, V. Martin, J. E. Roberts.

    First-order indicators for the estimation of discrete fractures in porous media, in: Inverse Problems in Science and Engineering, 2018, vol. 26, no 1, pp. 1–32, https://arxiv.org/abs/1602.08304. [ DOI : 10.1080/17415977.2017.1290087 ]

    https://hal.inria.fr/hal-01279503
  • 19A. Benaceur, V. Ehrlacher, A. Ern, S. Meunier.

    A progressive reduced basis/empirical interpolation method for nonlinear parabolic problems, in: SIAM Journal on Scientific Computing, 2018, vol. 40, no 5, pp. A2930-A2955, https://arxiv.org/abs/1710.00511.

    https://hal.archives-ouvertes.fr/hal-01599304
  • 20E. Burman, A. Ern.

    An unfitted Hybrid High-Order method for elliptic interface problems, in: SIAM Journal on Numerical Analysis, 2018, vol. 56, no 3, pp. 1525-1546.

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

    Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework, in: Numerische Mathematik, July 2018, vol. 140, no 4, pp. 1033-1079. [ DOI : 10.1007/s00211-018-0984-0 ]

    https://hal.inria.fr/hal-01483461
  • 22K. L. Cascavita, J. Bleyer, X. Chateau, A. Ern.

    Hybrid discretization methods with adaptive yield surface detection for Bingham pipe flows, in: Journal of Scientific Computing, June 2018, vol. 77, no 3, pp. 1424-1443. [ DOI : 10.1007/s10915-018-0745-3 ]

    https://hal.archives-ouvertes.fr/hal-01698983
  • 23P. Ciarlet, M. Vohralík.

    Localization of global norms and robust a posteriori error control for transmission problems with sign-changing coefficients, in: Modelisation Mathématique et Analyse Numérique, December 2018, vol. 52, no 5, pp. 2037-2064. [ DOI : 10.1051/m2an/2018034 ]

    https://hal.inria.fr/hal-01148476
  • 24M. Cicuttin, D. A. Di Pietro, A. Ern.

    Implementation of Discontinuous Skeletal methods on arbitrary-dimensional, polytopal meshes using generic programming, in: Journal of Computational and Applied Mathematics, 2018, vol. 344, pp. 852–874. [ DOI : 10.1016/j.cam.2017.09.017 ]

    https://hal.archives-ouvertes.fr/hal-01429292
  • 25M. Cicuttin, A. Ern, S. Lemaire.

    A Hybrid High-Order method for highly oscillatory elliptic problems, in: Computational Methods in Applied Mathematics, 2018. [ DOI : 10.1515/cmam-2018-0013 ]

    https://hal.archives-ouvertes.fr/hal-01467434
  • 26P. Daniel, A. Ern, I. Smears, M. Vohralík.

    An adaptive hp-refinement strategy with computable guaranteed bound on the error reduction factor, in: Computers and Mathematics with Applications, September 2018, vol. 76, no 5, pp. 967-983, https://arxiv.org/abs/1712.09821. [ DOI : 10.1016/j.camwa.2018.05.034 ]

    https://hal.inria.fr/hal-01666763
  • 27A. Ern, J.-L. Guermond.

    Abstract nonconforming error estimates and application to boundary penalty methods for diffusion equations and time-harmonic Maxwell's equations, in: Computational Methods in Applied Mathematics, 2018, vol. 18, no 3, pp. 451-475. [ DOI : 10.1515/cmam-2017-0058 ]

    https://hal.archives-ouvertes.fr/hal-01563594
  • 28A. Ern, I. Smears, M. Vohralík.

    Equilibrated flux a posteriori error estimates in L2(H1)-norms for high-order discretizations of parabolic problems, in: IMA Journal of Numerical Analysis, June 2018. [ DOI : 10.1093/imanum/dry035 ]

    https://hal.inria.fr/hal-01489721
  • 29M. Köppel, V. Martin, J. Jaffré, J. E. Roberts.

    A Lagrange multiplier method for a discrete fracture model for flow in porous media, in: Computational Geosciences, September 2018.

    https://hal.archives-ouvertes.fr/hal-01700663
  • 30F. Marazzato, A. Ern, C. Mariotti, L. Monasse.

    An explicit pseudo-energy conserving time-integration scheme for Hamiltonian dynamics, in: Computer Methods in Applied Mechanics and Engineering, 2019. [ DOI : 10.1016/j.cma.2019.01.013 ]

    https://hal-enpc.archives-ouvertes.fr/hal-01661608
  • 31J. Papež, Z. Strakoš, M. Vohralík.

    Estimating and localizing the algebraic and total numerical errors using flux reconstructions, in: Numerische Mathematik, February 2018, vol. 138, no 3, pp. 681-721. [ DOI : 10.1007/s00211-017-0915-5 ]

    https://hal.inria.fr/hal-01312430
  • 32M. Vohralík, S. Yousef.

    A simple a posteriori estimate on general polytopal meshes with applications to complex porous media flows, in: Computer Methods in Applied Mechanics and Engineering, April 2018, vol. 331, pp. 728-760. [ DOI : 10.1016/j.cma.2017.11.027 ]

    https://hal.archives-ouvertes.fr/hal-01532195
  • 33M. Čermák, F. Hecht, Z. Tang, M. Vohralík.

    Adaptive inexact iterative algorithms based on polynomial-degree-robust a posteriori estimates for the Stokes problem, in: Numerische Mathematik, February 2018, vol. 138, no 4, pp. 1027-1065. [ DOI : 10.1007/s00211-017-0925-3 ]

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

Invited Conferences

  • 34H. Barucq, H. Calandra, G. Chavent, F. Faucher.

    Stability and convergence analysis for seismic depth imaging using FWI, in: Reconstruction Methods for Inverse Problems, Rome, Italy, Reconstruction Methods for Inverse Problems, May 2018.

    https://hal.archives-ouvertes.fr/hal-01807980
  • 35G. Pichot, P. Laug, J. Erhel, R. Le Goc, C. Darcel, P. Davy, J.-R. De Dreuzy.

    Flow simulations in geology-based Discrete Fracture Networks, in: 2018 - Reactive Flows in Deformable, Complex Media, Oberwolfach, Germany, August 2018, pp. 1-3.

    https://hal.inria.fr/hal-01900605
  • 36G. Pichot, P. Laug, R. Le Goc, C. Darcel, P. Davy, J.-R. De Dreuzy.

    Computation of flow properties of large scale fractured media, in: InterPore 2018 - 10th Annual Meeting and Jubilee, New Orleans, United States, June 2018.

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

International Conferences with Proceedings

  • 37S. Lopez, R. Masson, L. Beaude, N. Birgle, K. Brenner, M. Kern, F. Smaï, F. Xing.

    Geothermal Modeling in Complex Geological Systems with the ComPASS Code, in: Stanford Geothermal Workshop 2018 - 43rd Workshop on Geothermal Reservoir Engineering, Stanford, United States, Stanford University, February 2018.

    https://hal-brgm.archives-ouvertes.fr/hal-01667379

Conferences without Proceedings

  • 38P. Laug, G. Pichot, R. Le Goc, C. Darcel, P. Davy.

    Automatic meshing of Discrete Fracture Networks, in: Computational Methods in Water Resources XXII (CMWR 2018), Saint-Malo, France, June 2018.

    https://hal.inria.fr/hal-01896927
  • 39P. Laug, G. Pichot.

    Simulations in large tridimensional Discrete Fracture Networks (DFN): I. Geometric modeling and mesh generation, in: MASCOT 2018 - 15th IMACS/ISGG meeting on applied scientific computing and tools, Rome, Italy, October 2018, pp. 1-2.

    https://hal.inria.fr/hal-01896881
  • 40A. Lejay, G. Pichot, L. Lenôtre.

    Diffusion processes in discontinuous media: numerical algorithms and benchmark tests, in: Workshop Validation approaches for multiscale porous media models, Nottingham, United Kingdom, July 2018.

    https://hal.inria.fr/hal-01900609
  • 41S. Lopez, R. Masson, F. Xing, L. Beaude, F. Smaï, M. Kern, A. Armandine Les Landes, G. Amiezi, K. Brenner, G. Courrioux, S. Caritg-Monnot.

    Modélisation hydrothermale des systèmes géothermiques profonds fracturés avec le code ComPASS, in: 26ème Réunion des Sciences de la Terre - RST, Lille, France, October 2018.

    https://hal-brgm.archives-ouvertes.fr/hal-01890182
  • 42G. Pichot, P. Laug, J. Erhel, R. Le Goc, C. Darcel, P. Davy, J.-R. De Dreuzy.

    Simulations in large tridimensional Discrete Fracture Networks (DFN): II. Flow simulations, in: MASCOT 2018 -15th IMACS/ISGG meeting on applied scientific computing and tools, Rome, Italy, October 2018.

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

Other Publications

  • 43M. Abbas, A. Ern, N. Pignet.

    A Hybrid High-Order method for finite elastoplastic deformations within a logarithmic strain framework, January 2019, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01978385
  • 44I. Ben Gharbia, J. Dabaghi, V. Martin, M. Vohralík.

    A posteriori error estimates and adaptive stopping criteria for a compositional two-phase flow with nonlinear complementarity constraints, November 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01919067
  • 45J. Blechta, J. Málek, M. Vohralík.

    Localization of the W-1,q norm for local a posteriori efficiency, July 2018, working paper or preprint.

    https://hal.inria.fr/hal-01332481
  • 46T. Boiveau, V. Ehrlacher, A. Ern, A. Nouy.

    Low-rank approximation of linear parabolic equations by space-time tensor Galerkin methods, October 2018, https://arxiv.org/abs/1712.07256 - working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01668316
  • 47V. M. Calo, M. Cicuttin, Q. Deng, A. Ern.

    Spectral approximation of elliptic operators by the Hybrid High-Order method, July 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01628698
  • 48E. Cancès, G. Dusson, Y. Maday, B. Stamm, M. Vohralík.

    Post-processing of the planewave approximation of Schrödinger equations. Part I: linear operators, November 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01908039
  • 49C. Cancès, F. Nabet, M. Vohralík.

    Convergence and a posteriori error analysis for energy-stable finite element approximations of degenerate parabolic equations, October 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01894884
  • 50J.-P. Chancelier, S. Furic, P. Weis.

    Translating Simulink Models to Modelica using the Nsp Platform, December 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01948681
  • 51M. Cicuttin, A. Ern, T. Gudi.

    Discontinuous-Skeletal methods with linear and quadratic reconstructions for the elliptic obstacle problem, February 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01718883
  • 52J. Dabaghi, V. Martin, M. Vohralík.

    Adaptive inexact semismooth Newton methods for the contact problem between two membranes, October 2018, working paper or preprint.

    https://hal.inria.fr/hal-01666845
  • 53P. Daniel, A. Ern, M. Vohralík.

    An adaptive hp-refinement strategy with inexact solvers and computable guaranteed bound on the error reduction factor, November 2018, working paper or preprint.

    https://hal.inria.fr/hal-01931448
  • 54A. Ern, J.-L. Guermond.

    Quasi-optimal nonconforming approximation of elliptic PDES with contrasted coefficients and minimal regularity, December 2018, working paper or preprint.

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

    Stable broken H1 and H(div) polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions, August 2018, working paper or preprint.

    https://hal.inria.fr/hal-01422204
  • 56A. Lejay, L. Lenôtre, G. Pichot.

    An exponential timestepping algorithm for diffusion with discontinuous coefficients, June 2018, working paper or preprint.

    https://hal.inria.fr/hal-01806465
  • 57G. Mallik, M. Vohralík, S. Yousef.

    Goal-oriented a posteriori error estimation for conforming and nonconforming approximations with inexact solvers, December 2018, working paper or preprint.

    https://hal.inria.fr/hal-01964733
  • 58G. Pichot, S. Legrand, J. Erhel, M. Oumouni.

    GENFIELD: A parallel software for the generation of stationary Gaussian random fields, May 2018, 1 p, InterPore 2018 - 10th Annual Meeting and Jubilee, Poster.

    https://hal.inria.fr/hal-01960444
  • 59M. Riahi, H. Ben Ameur, J. Jaffré, R. Bouhlila.

    Refinement indicators for estimating hydrogeologic parameters, January 2018, working paper or preprint.

    https://hal.inria.fr/hal-01674486
  • 60I. Smears, M. Vohralík.

    Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems, 2018, working paper or preprint.

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


previous Previous | up Home