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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 1, pp. B86–B105.
  http://dx.doi.org/10.1137/100804383

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11A. Benaceur.
  Réduction de modèles en thermique et mécanique non-linéaires, Université Paris-Est Marne la Vallée, December 2018.
  https://hal.archives-ouvertes.fr/tel-01958278

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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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 $L^2\left(H^1\right)$-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, n^o 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, n^o 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