H. Class and R. Helmig (2002), 'Numerical simulation of non-isothermal multiphase multicomponent processes in porous media 2: Applications for the injection of steam and air', *Adv. Water Resour.* **25**, 551–564.

H. Class, R. Helmig and P. Bastian (2002), ‘Numerical simulation of non-isothermal multiphase multicomponent processes in porous media 1: An efficient solution technique’, *Adv. Water Resour.* **25**, 533–550.

P. Coorevits, P. Hild and J. Pelle (2000), ‘A *posteriori* error estimation for unilateral contact with matching and non-matching meshes’, *Comput. Methods Appl. Mech. Engng* **186**, 65–83.

P. Coorevits, P. Hild, K. Lhalouani and T. Sassi (2001), ‘Mixed finite element methods for unilateral problems: Convergence analysis and numerical studies’, *Math. Comp.* **71**, 1–25.

R. Dautray and J. Lions (1992), *Mathematical Analysis and Numerical Methods for Science and Technology: Evolution Problems*, Vol. 5, Springer.

M. de Neef (2000), Modelling capillary effects in heterogeneous porous media. PhD thesis, University of Delft, Netherlands.

G. De Saxcé and Z. Feng (1991), ‘New inequality and functional for contact with friction: The implicit standard material approach’, *Mech. Based Des. Struct. Mach.* **19**, 301–325.

R. Dembo, S. Eisenstat and T. Steinhaug (1982), ‘Inexact Newton methods’, *SIAM J. Numer. Anal.* **19**, 400–408.

L. Demkowicz (1982), ‘On some results concerning the reciprocal formulation for the Signorini’s problem’, *Comput. Math. Appl.* **8**, 57–74.

L. Demkowicz and A. Bajer (2001), ‘Conservative discretization of contact/impact problems for nearly rigid bodies’, *Comput. Methods Appl. Mech. Engng* **190**, 1903–1924.

L. Demkowicz and T. Oden (1982), ‘On some existence and uniqueness results in contact problems with nonlocal friction’, *Nonlinear Anal.: Theory Methods Appl.* **6**, 1075–1093.

P. Deuflhard (2004), *Newton Methods for Nonlinear Problems: Affine Invariance and Adaptive Algorithms*, Springer.

P. Deuflhard, R. Krause and S. Ertel (2008), ‘A contact-stabilized Newmark method for dynamical contact problems’, *Internat. J. Numer. Methods Engng* **73**, 1274–1290.

T. Dickopf and R. Krause (2009a), ‘Efficient simulation of multi-body contact problems on complex geometries: A flexible decomposition approach using constrained minimization’, *Internat. J. Numer. Methods Engng* **77**, 1834–1862.

T. Dickopf and R. Krause (2009b), ‘Weak information transfer between non-matching warped interfaces.’, Bercovier, Michel (ed.) *et al.*, Domain decomposition methods in science and engineering XVIII. Selected papers based on the presentations at the 18th international conference of domain decomposition methods, Jerusalem, Israel, January 12–17, 2008. Berlin: Springer. Lecture Notes in Computational Science and Engineering 70, 283-290 (2009).

C. Dohrmann, S. Key and M. Heinstein (2000), ‘A method for connecting dissimilar finite element meshes in two dimensions’, *Internat. J. Numer. Methods Engng* **48**, 655–678.
W. Dörfler (1996), ‘A convergent adaptive algorithm for Poisson’s equation’, *SIAM J. Numer. Anal.* **33**, 1106–1124.

P. Dörsek and J. Melenk (2010), ‘Adaptive hp-FEM for the contact problem with Tresca friction in linear elasticity: The primal–dual formulation and a *posteriori* error estimation’, *Appl. Numer. Math.* **60**, 689–704.

Z. Dostál (2009), *Optimal Quadratic Programming Algorithms, with Applications to Variational Inequalities*, Vol. 23 of Springer Optimization and its Applications, Springer.

Z. Dostál and D. Horák (2003), ‘Scalability and FETI based algorithm for large discretized variational inequalities’, *Math. Comput. Simul.* **61**, 347–357.

Z. Dostál, A. Friedlander and S. Santos (1998), ‘Solution of coercive and semicoercive contact problems by FETI domain decomposition’, *Contemp. Math.* **218**, 82–93.

Z. Dostál, F. Gomes Neto and S. Santos (2000), ‘Solution of contact problems by FETI domain decomposition with natural coarse space projections’, *Comput. Methods Appl. Mech. Engrg* **190**, 1611–1627.

Z. Dostál, D. Horák and D. Stefanica (2007), ‘A scalable FETI-DP algorithm for a semi-coercive variational inequality’, *Comput. Methods Appl. Mech. Engrg* **196**, 1369–1379.

Z. Dostál, D. Horák and D. Stefanica (2009), ‘A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface’, *J. Comput. Appl. Math.* **231**, 577–591.

Z. Dostál, D. Horák, R. Kučera, V. Vondrák, J. Haslinger, J. Dobiaš and S. Pták (2005), ‘FETI based algorithms for contact problems: Scalability, large displacements and 3D Coulomb friction’, *Comput. Methods Appl. Mech. Engrg* **194**, 395–409.

D. Doyen and A. Ern (2009), ‘Convergence of a space semi-discrete modified mass method for the dynamic Signorini problem’, *Commun. Math. Sci.* **7**, 1063–1072.

G. Duvaut and J. Lions (1976), *Inequalities in Mechanics and Physics*, Springer. Translation by C. W. John.

C. Eck (2002), ‘Existence of solutions to a thermo-viscoelastic contact problem with Coulomb friction’, *Math. Models Methods Appl. Sci.* **12**, 1491–1511.

C. Eck and J. Jarušek (1998), ‘Existence results for the static contact problem with Coulomb friction’, *Math. Models Methods Appl. Sci.* **8**, 445–468.

C. Eck and J. Jarušek (2001), ‘On the thermal aspect of dynamic contact problems’, *Math. Bohem.* **126**, 337–352.

C. Eck and J. Jarušek (2003), ‘Existence of solutions for the dynamic frictional contact problem of isotropic viscoelastic bodies’, *Nonlinear Anal., Theory Methods Appl.* **53**, 157–181.

C. Eck and W. Wendland (2003), ‘A residual-based error estimator for BEM discretizations of contact problems’, *Numer. Math.* **95**, 253–282.

C. Eck and B. Wohlmuth (2003), ‘Convergence of a contact-Neumann iteration for the solution of two-body contact problems’, *Math. Models Methods Appl. Sci.* **13**, 1103–1118.

C. Eck, J. Jarušek and M. Krbec (2005), *Unilateral Contact Problems: Variational Methods and Existence Theorems*, CRC Press.
S. Eisenstat and H. Walker (1996), ‘Choosing the forcing terms in an inexact Newton method’, *SIAM J. Sci. Comput.* **17**, 16–32.

B. Erdmann, M. Frei, R. Hoppe, R. Kornhuber and U. Wiest (1993), ‘Adaptive finite element methods for variational inequalities’, *East–West J. Numer. Math.* **1**, 165–197.

A. Ern and M. Vohralík (2009), ‘Flux reconstruction and a posteriori error estimation for discontinuous Galerkin methods on general nonmatching grids’, *CR Math. Acad. Sci. Paris III*, 441–444.

L. Evans (1998), *Partial Differential Equations*, AMS.

F. Facchinei and J. Pang (2003a), *Finite-Dimensional Variational Inequalities and Complementary Problems*, Vol. I, Springer Series in Operations Research.

F. Facchinei and J. Pang (2003b), *Finite-Dimensional Variational Inequalities and Complementary Problems*, Vol. II, Springer Series in Operations Research.

R. Falk (1974), ‘Error estimates for the approximation of a class of variational inequalities’, *Math. Comp.* **28**, 963–971.

C. Felippa (2000), ‘On the original publication of the general canonical functional of linear elasticity’, *J. Appl. Mech.* **67**, 217–219.

G. Fichera (1964), ‘Problemi elastostatici con vincoli unilaterali: Il problema di Signorini con ambigue condizioni al contorno’, *Mem. Accad. Naz. Lincei* **8**, 91–140.

A. Fischer (1992), ‘A special Newton-type optimization method’, *Optimization* **24**, 269–284.

A. Fischer-Cripps (2000), *Introduction to Contact Mechanics*, Springer Mechanical Engineering Series.

K. Fischer and P. Wriggers (2006), ‘Mortar based frictional contact formulation for higher order interpolations using the moving friction cone’, *Comput. Methods Appl. Mech. Engrg* **195**, 5020–5036.

B. Flemisch, J. Fritz, R. Helmig, J. Niessner and B. Wohlmuth (2007), DUMUX: A multi-scale multi-physics toolbox for flow and transport processes in porous media. In *ECCOMAS Thematic Conference on Multi-Scale Computational Methods for Solids and Fluids* (A. Ibrahimbegovic and F. Dias, eds), Cachan, France, pp. 82–87.

B. Flemisch, J. Melenk and B. Wohlmuth (2005a), ‘Mortar methods with curved interfaces’, *Appl. Numer. Math.* **54**, 339–361.

B. Flemisch, M. Puso and B. Wohlmuth (2005b), ‘A new dual mortar method for curved interfaces: 2D elasticity’, *Internat. J. Numer. Methods Engrg* **63**, 813–832.

S. Fluegge, ed. (1972), *Handbuch der Physik*, Vol. VIa, chapter on Linear Thermoelasticity, Springer, pp. 297–346.

D. French, S. Larsson and R. Nochetto (2001), ‘Pointwise a posteriori error analysis for an adaptive penalty finite element method for the obstacle problem’, *Comput. Methods Appl. Math.* **1**, 18–38.

M. Fuchs and S. Repin (2010), ‘Estimates of the deviations from the exact solutions for variational inequalities describing the stationary flow of certain viscous incompressible fluids’, *Math. Methods Appl. Sci.* **33**, 1136–1147.

C. Geiger and C. Kanzow (2002), *Theorie und Numerik Restringierter Optimierungsaufgaben*, Springer.
M. Gitterle, A. Popp, M. Gee and W. Wall (2010), ‘Finite deformation frictional mortar contact using a semi-smooth Newton method with consistent linearization’, *Internat. J. Numer. Methods Engrg* **84**, 543–571.

R. Glowinski (1984), *Numerical Methods for Nonlinear Variational Problems*, Springer.

R. Glowinski and P. Le Tallec (1989), *Augmented Lagrangian and Operator Splitting Methods in Nonlinear Mechanics*, Vol. 9 of *SIAM Studies in Applied Mathematics*.

R. Glowinski, J. Lions and R. Trémolières (1981), *Numerical Analysis of Variational Inequalities*, North-Holland.

M. Gonzales, B. Schmidt and M. Ortiz (2010), ‘Energy-stepping integrators in Lagrangian mechanics’, *Internat. J. Numer. Methods Engrg* **82**, 205–241.

O. Gonzalez (2000), ‘Exact energy and momentum conserving algorithms for general models in nonlinear elasticity’, *Comput. Methods Appl. Mech. Engrg* **190**, 1763–1783.

W. Gordon and C. Hall (1973a), ‘Construction of curvilinear co-ordinate systems and applications to mesh generation’, *Internat. J. Numer. Methods Engrg* **7**, 461–477.

W. Gordon and C. Hall (1973b), ‘Transfinite element methods: Blending-function interpolation over arbitrary curved element domains’, *Numer. Math.* **21**, 109–129.

J. Gwinner (2009), ‘On the p-version approximation in the boundary element method for a variational inequality of the second kind modelling unilateral contact and given friction’, *Appl. Numer. Math.* **59**, 2774–2784.

W. Hackbusch (1985), *Multi-Grid Methods and Applications*, Springer.

W. Hackbusch and H. Mittelmann (1983), ‘On multi-grid methods for variational inequalities’, *Numer. Math.* **42**, 65–76.

C. Hager (2010), Robust numerical algorithms for dynamic frictional contact problems with different time and space scales. PhD thesis, IANS, Universität Stuttgart.

C. Hager and B. Wohlmuth (2009a), ‘Analysis of a space-time discretization for dynamic elasticity problems based on mass-free surface elements’, *SIAM J. Numer. Anal.* **47**, 1863–1885.

C. Hager and B. Wohlmuth (2009b), ‘Nonlinear complementarity functions for plasticity problems with frictional contact’, *Comput. Methods Appl. Mech. Engrg* **198**, 3411–3427.

C. Hager and B. Wohlmuth (2010), ‘Semismooth Newton methods for variational problems with inequality constraints’, *GAMM–Mitt.* **33**, 8–24.

C. Hager, P. Hauret, P. Le Tallec and B. Wohlmuth (2010a), Overlapping domain decomposition for multiscale dynamic contact problems. Technical report IANS Preprint 2010/007, Universität Stuttgart.

C. Hager, S. Hüeber and B. Wohlmuth (2008), ‘A stable energy conserving approach for frictional contact problems based on quadrature formulas’, *Internat. J. Numer. Methods Engrg* **73**, 205–225.

C. Hager, S. Hüeber and B. Wohlmuth (2010b), ‘Numerical techniques for the valuation of basket options and its Greeks’, *J. Comput. Fin.* **13**, 1–31.
E. Hairer and G. Wanner (1991), *Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems*, Springer.

W. Han (2005), *A Posteriori Error Analysis via Duality Theory: With Applications in Modeling and Numerical Approximations*, Springer.

W. Han and B. Reddy (1995), 'Computational plasticity: The variational basis and numerical analysis', *Comput. Mech. Advances* **2**, 283–400.

W. Han and B. Reddy (1999), *Plasticity: Mathematical Theory and Numerical Analysis*, Springer.

W. Han and M. Sofonea (2000), 'Numerical analysis of a frictionless contact problem for elastic-viscoplastic materials', *Comput. Methods Appl. Mech. Engrg* **190**, 179–191.

W. Han and M. Sofonea (2002), *Quasistatic Contact Problems in Viscoelasticity and Viscoplasticity*, Studies in Advanced Mathematics, AMS, International Press.

P. Harker and J. Pang (1990), 'Finite-dimensional variational inequality and nonlinear complementarity problems: A survey of theory, algorithms and applications', *Math. Progr.* **48**, 161–220.

S. Hartmann, S. Brunßen, E. Ramm and B. Wohlmuth (2007), 'Unilateral nonlinear dynamic contact of thin-walled structures using a primal-dual active set strategy', *Internat. J. Numer. Meth. Engrg* **70**, 883–912.

J. Haslinger and I. Hlaváček (1981), 'Contact between two elastic bodies II: Finite element analysis', *Aplikace Mathematiky* **26**, 263–290.

J. Haslinger, I. Hlaváček and J. Nečas (1996), Numerical methods for unilateral problems in solid mechanics. In *Handbook of Numerical Analysis* (P. Ciarlet and J.-L. Lions, eds), Vol. IV, North-Holland, pp. 313–485.

J. Haslinger, I. Hlaváček, J. Nečas and J. Lovíšek (1988), *Solution of Variational Inequalities in Mechanics*, Springer.

S. Hassanizadeh and W. Gray (1993), 'Thermodynamic basis of capillary pressure in porous media', *Water Resour. Research* **29**, 3389–3405.

S. Hassanizadeh, M. Celia and H. Dahle (2002), 'Experimental measurements of saturation overshoot on infiltration', *Vadose Zone J.* **1**, 38–57.

P. Hauret and P. Le Tallec (2006), 'Energy-controlling time integration methods for nonlinear elastodynamics and low-velocity impact', *Comput. Methods Appl. Mech. Engrg* **195**, 4890–4916.

P. Hauret and P. Le Tallec (2007), 'A discontinuous stabilized mortar method for general 3D elastic problems', *Comput. Methods Appl. Mech. Engrg* **196**, 4881–4900.

P. Hauret, J. Salomon, A. Weiss and B. Wohlmuth (2008), 'Energy consistent co-rotational schemes for frictional contact problems', *SIAM J. Sci. Comput.* **30**, 2488–2511.

R. Helmig (1997), *Multiphase Flow and Transport Processes in the Subsurface*, Springer.

R. Helmig, A. Weiss and B. Wohlmuth (2009), 'Variational inequalities for modeling flow in heterogeneous porous media with entry pressure', *Comput. Geosci.* **13**, 373–390.

H. Hertz (1882), 'Über die Berührung fester elastischer Körper', *J. Reine Angew. Math.* **92**, 156–171.
C. Hesch and P. Betsch (2006), ‘A comparison of computational methods for large deformation contact problems of flexible bodies’, *ZAMM: Z. Angew. Math. Mech.* **86**, 818–827.

C. Hesch and P. Betsch (2009), ‘A mortar method for energy-momentum conserving schemes in frictionless dynamic contact problems’, *Internat. J. Numer. Methods Engrg* **77**, 1468–1500.

C. Hesch and P. Betsch (2010), ‘Transient three-dimensional domain decomposition problems: Frame-indifferent mortar constraints and conserving integration’, *Internat. J. Numer. Methods Engrg* **82**, 329–358.

H. Hilber, T. Hughes and R. Taylor (1977), ‘Improved numerical dissipation for time integration algorithms in structural dynamics’, *Earthquake Engrg Struct. Dyn.* **5**, 283–292.

P. Hild (2000), ‘Numerical implementation of two nonconforming finite element methods for unilateral contact’, *Comput. Methods Appl. Mech. Engrg* **184**, 99–123.

P. Hild (2003), ‘An example of nonuniqueness for the continuous static unilateral contact model with Coulomb friction’, *CR Math. Acad. Sci. Paris* **337**, 685–688.

P. Hild (2004), ‘Non-unique slipping in the Coulomb friction model in two-dimensional linear elasticity’, *Q. J. Mech. Appl. Math.* **57**, 225–235.

P. Hild and P. Laborde (2002), ‘Quadratic finite element methods for unilateral contact problems’, *Appl. Numer. Math.* **41**, 410–421.

P. Hild and V. Lleras (2009), ‘Residual error estimators for Coulomb friction’, *SIAM J. Numer. Anal.* **47**, 3550–3583.

P. Hild and S. Nicaise (2005), ‘A *posteriori* error estimations of residual type for Signorini’s problem’, *Numer. Math.* **101**, 523–549.

P. Hild and S. Nicaise (2007), ‘Residual *a posteriori* error estimators for contact problems in elasticity’, *Math. Model. Numer. Anal.* **41**, 897–923.

P. Hild and Y. Renard (2006), Local uniqueness results for the discrete friction problem. In *Analysis and Simulation of Contact Problems* (P. Wriggers and U. Nackenhorst, eds), Vol. 27 of *Lecture Notes in Applied and Computational Mechanics*, Springer, pp. 129–136.

P. Hild and Y. Renard (2007), ‘An error estimate for the Signorini problem with Coulomb friction approximated by finite elements’, *SIAM J. Numer. Anal.* **45**, 2012–2031.

P. Hild and Y. Renard (2010), ‘A stabilized Lagrange multiplier method for the finite element approximation of contact problems in elastostatics’, *Numer. Math.* **115**, 101–129.

M. Hintermüller and G. Stadler (2006), ‘An infeasible primal–dual algorithm for total variation-based inf-convolution-type image restoration’, *SIAM J. Sci. Comput.* **28**, 1–23.

M. Hintermüller, K. Ito and K. Kunisch (2002), ‘The primal–dual active set strategy as a semi–smooth Newton method’, *SIAM J. Optim.* **13**, 865–888.

M. Hintermüller, V. Kovtunenko and K. Kunisch (2004), ‘Semismooth Newton methods for a class of unilaterally constrained variational problems’, *Adv. Math. Sci. Appl.* **14**, 513–535.
R. Hoppe (1987), 'Multigrid algorithms for variational inequalities', *SIAM J. Numer. Anal.* **24**, 1046-1065.

R. Hoppe and R. Kornhuber (1994), 'Adaptive multilevel methods for obstacle problems', *SIAM J. Numer. Anal.* **31**, 301-323.

H. Hu (1955), 'On some variational principles in the theory of elasticity and the theory of plasticity', *Scientia Sinica* **4**, 33-54.

S. Hu, Z. Huang and J. Chen (2009), 'Properties of a family of generalized NCP-functions and a derivative free algorithm for complementarity problems', *J. Comput. Appl. Math.* **230**, 69-82.

R. Huber and R. Helmig (2000), 'Node-centered finite volume discretizations for the numerical simulation of multiphase flow in heterogeneous porous media', *Comput. Geosci.* **4**, 141-164.

S. Hüeber (2008), Discretization techniques and efficient algorithms for contact problems. PhD thesis, IANS, Universität Stuttgart.

S. Hüeber and B. Wohlmuth (2005a), 'An optimal a priori error estimate for non-linear multibody contact problems', *SIAM J. Numer. Anal.* **43**, 157-173.

S. Hüeber and B. Wohlmuth (2005b), 'A primal-dual active set strategy for non-linear multibody contact problems', *Comput. Methods Appl. Mech. Engrg* **194**, 3147-3166.

S. Hüeber and B. Wohlmuth (2009), 'Thermo-mechanical contact problem on non-matching meshes', *Comput. Methods Appl. Mech. Engrg* **198**, 1338-1350.

S. Hüeber and B. Wohlmuth (2010), Equilibration techniques for solving contact problems with Coulomb friction. *Comput. Methods Appl. Mech. Engrg* doi:10.1016/j.cma.2010.12.021.

S. Hüeber, M. Mair and B. Wohlmuth (2005a), 'A priori error estimates and an inexact primal-dual active set strategy for linear and quadratic finite elements applied to multibody contact problems', *Appl. Numer. Math.* **54**, 555-576.

S. Hüeber, A. Matei and B. Wohlmuth (2005b), 'A mixed variational formulation and an optimal a priori error estimate for a frictional contact problem in elasto-piezoelectricity', *Bull. Math. Soc. Sci. Math. Roumanie* **48**, 209-232.

S. Hüeber, A. Matei and B. Wohlmuth (2007), 'Efficient algorithms for problems with friction', *SIAM J. Sci. Comput.* **29**, 70-92.

S. Hüeber, G. Stadler and B. Wohlmuth (2008), 'A primal-dual active set algorithm for three-dimensional contact problems with Coulomb friction', *SIAM J. Sci. Comput.* **30**, 572-596.

T. Hughes (1987), *The Finite Element Method: Linear, Static and Dynamic Finite Element Analysis*, Prentice-Hall.

G. Hulbert (1992), 'Time finite element methods for structural dynamics', *Internat. J. Numer. Methods Engrg* **33**, 307-331.

J. Hull (2006), *Options, Futures, and Other Derivatives*, sixth edition, Prentice-Hall.

K. Ito and K. Kunisch (2003), 'Semi-smooth Newton methods for variational inequalities of the first kind', *M2AN: Math. Model. Numer. Anal.* **37**, 41-62.

K. Ito and K. Kunisch (2004), 'The primal-dual active set method for nonlinear optimal control problems with bilateral constraints', *SIAM J. Control. Optim.* **43**, 357-376.
K. Ito and K. Kunisch (2008a), *Lagrange Multiplier Approach to Variational Problems and Applications*, SIAM.

K. Ito and K. Kunisch (2008b), 'On a semi-smooth Newton method for the Signorini problem', *Appl. Math. 53*, 455–468.

J. Jarušek (1983), 'Contact problems with bounded friction: Coercive case', *Czech. Math. J. 33*, 237–261.

C. Johnson (1992), 'Adaptive finite element methods for the obstacle problem', *Math. Models Methods Appl. Sci. 2*, 483–487.

K. Johnson (1985), *Contact Mechanics*, Cambridge University Press.

C. Kane, J. Marsden, M. Ortiz and M. West (2000), 'Variational integrators and the Newmark algorithm for conservative and dissipative mechanical systems', *Internat. J. Numer. Methods Engrg 49*, 1295–1325.

C. Kanzow, N. Yamashita and M. Fukushima (1997), 'New NCP-functions and their properties', *J. Optimization Theory Appl. 94*, 115–135.

G. Karypis and V. Kumar (1998), 'A fast and high quality multilevel scheme for partitioning irregular graphs', *SIAM J. Sci. Comput. 20*, 359–392.

E. Kasper and R. Taylor (2000a), 'A mixed-enhanced strain method I: Geometrically linear problems', *Computers and Structures 75*, 237–250.

E. Kasper and R. Taylor (2000b), 'A mixed-enhanced strain method II: Geometrically nonlinear problems', *Computers and Structures 75*, 251–260.

D. Kelly (1984), 'The self-equilibration of residuals and complementary a posteriori error estimates in the finite element method', *Internat. J. Numer. Methods Engrg 20*, 1491–1506.

D. Kelly and J. Isles (1989), 'Procedures for residual equilibration and local error estimation in the finite element method', *Commun. Appl. Numer. Methods 5*, 497–505.

H. Khenous, P. Laborde and Y. Renard (2006a), 'Comparison of two approaches for the discretization of elastodynamic contact problems', *CR Math. Acad. Sci. Paris 342*, 791–796.

H. Khenous, P. Laborde and Y. Renard (2006b), On the discretization of contact problems in elastodynamics. In *Analysis and Simulation of Contact Problems* (P. Wriggers and U. Nackenhorst, eds), Vol. 27 of *Lecture Notes in Applied and Computational Mechanics*, Springer, pp. 31–38.

H. Khenous, P. Laborde and Y. Renard (2008), 'Mass redistribution method for finite element contact problems in elastodynamics', *Eur. J. Mech., A, Solids 27*, 918–932.

N. Kikuchi and J. Oden (1988), *Contact Problems in Elasticity: A Study of Variational Inequalities and Finite Element Methods*, Vol. 8 of *SIAM Studies in Applied Mathematics*.

D. Kinderlehrer and G. Stampacchia (2000), *An Introduction to Variational Inequalities and their Applications*, SIAM.

C. Klapproth, P. Deuflhard and A. Schiela (2009), 'A perturbation result for dynamical contact problems', *Numer. Math., Theory Methods Appl. 2*, 237–257.

C. Klapproth, A. Schiela and P. Deuflhard (2010), 'Consistency results on Newmark methods for dynamical contact problems', *Numer. Math. 116*, 65–94.

R. Kornhuber (1994), 'Monotone multigrid methods for elliptic variational inequalities I', *Numer. Math. 69*, 167–184.
R. Kornhuber (1996), ‘Monotone multigrid methods for elliptic variational inequalities II’, Numer. Math. **72**, 481–499.

R. Kornhuber (1997), *Adaptive Monotone Multigrid Methods for Nonlinear Variational Problems*, Teubner.

R. Kornhuber and R. Krause (2001), ‘Adaptive multigrid methods for Signorini’s problem in linear elasticity’, Comput. Vis. Sci. **4**, 9–20.

R. Kornhuber and Q. Zou (2011), ‘Efficient and reliable hierarchical error estimates for the discretization error of elliptic obstacle problems’, Math. Comp. **80**, 69–88.

R. Kornhuber, R. Krause, O. Sander, P. Deuflhard and S. Ertel (2007), ‘A monotone multigrid solver for two body contact problems in biomechanics’, Comput. Vis. Sci. **11**, 3–15.

T. Koziara and N. Bicanic (2008), ‘Semismooth Newton method for frictional contact between pseudo-rigid bodies’, Comput. Methods Appl. Mech. Engrg **197**, 2763–2777.

R. Krause (2008), On the multiscale solution of constrained minimization problems. In *Domain Decomposition Methods in Science and Engineering XVII* (U. Langer *et al.* eds), Vol. 60 of *Lecture Notes in Computational Science and Engineering*, Springer, pp. 93–104.

R. Krause (2009), ‘A nonsmooth multiscale method for solving frictional two-body contact problems in 2D and 3D with multigrid efficiency’, SIAM J. Sci. Comput. **31**, 1399–1423.

R. Krause and C. Mohr (2011), ‘Level set based multi-scale methods for large deformation contact problems’, Appl. Numer. Math. **61**, 428–442.

R. Krause and M. Walloth (2009), ‘A time discretization scheme based on Rothe’s method for dynamical contact problems with friction’, Comput. Methods Appl. Mech. Engrg **199**, 1–19.

R. Krause and B. Wohlmuth (2002), ‘A Dirichlet–Neumann type algorithm for contact problems with friction’, Comput. Vis. Sci. **5**, 139–148.

M. Kuczma and L. Demkowicz (1992), ‘An adaptive algorithm for unilateral visco-elastic contact problems for beams and plates’, Comput. Methods Appl. Mech. Engrg **101**, 183–196.

D. Kuhl and E. Ramm (1999), ‘Generalized energy-momentum method for nonlinear adaptive shell dynamics’, Comput. Methods Appl. Mech. Engrg pp. 343–366.

C. Lacour and F. Ben Belgacem (2011), *The Mortar Finite Element Method: Bases, Theory and Implementation*, Chapman & Hall/CRC Press. To appear.

P. Ladevèze and D. Leguillon (1983), ‘Error estimate procedure in the finite element method and applications’, SIAM J. Numer. Anal. **20**, 485–509.

P. Ladevèze and E. Maunder (1996), ‘A general method for recovering equilibrating element tractions’, Comput. Methods Appl. Mech. Engrg **137**, 111–151.

P. Ladevèze and P. Rougeot (1997), ‘New advances on a *posteriori* error on constitutive relation in f.e. analysis’, Comput. Methods Appl. Mech. Engrg **150**, 239–249.

B. Lamichhane and B. Wohlmuth (2007), ‘Biorthogonal bases with local support and approximation properties’, Math. Comp. **76**, 233–249.
B. Lamichhane, B. Reddy and B. Wohlmuth (2006), ‘Convergence in the incom-
pressible limit of finite element approximations based on the Hu–Washizu
formulation’, *Numer. Math.* **104**, 151–175.

T. Laursen (2002), *Computational Contact and Impact Mechanics*, Springer.

T. Laursen and V. Chawla (1997), ‘Design of energy conserving algorithms for frictionless dynamic contact problems’, *Internat. J. Numer. Methods Engrg* **40**, 836–886.

T. Laursen and G. Love (2002), ‘Improved implicit integrators for transient im-
pact problems: Geometric admissibility within the conserving framework’,
*Internat. J. Numer. Methods Engrg* **53**, 245–274.

T. Laursen and X. Meng (2001), ‘A new solution procedure for application of energy-conserving algorithms to general constitutive models in nonlinear elastodynamics’, *Comput. Methods Appl. Mech. Engrg* **190**, 6309–6322.

T. Laursen and J. Simo (1993a), ‘A continuum-based finite element formulation for the implicit solution of multibody, large deformation frictional contact problems’, *Internat. J. Numer. Methods Engrg* **36**, 3451–3485.

T. Laursen and J. Simo (1993b), ‘Algorithmic symmetrization of Coulomb frictional problems using augmented Lagrangians’, *Comput. Methods Appl. Mech. Engrg* **108**, 133–146.

A. Lauser, C. Hager, R. Helmig and B. Wohlmuth (2010), A new approach for phase transitions in miscible multi-phase flow in porous media. SimTech-Preprint 2010-34, Universität Stuttgart. To appear in *Adv. Water Resour*.

C. Lee and J. Oden (1994), ‘*A posteriori* error estimation of *h*-p finite element ap-
proximations of frictional contact problems.’, *Comput. Methods Appl. Mech.
Engrg* **113**, 11–45.

R. Lenhard, J. Parker and S. Mishra (1989), ‘On the correspondence between
Brooks–Corey and Van Genuchten models’, *J. Irrig. and Drain. Engrg*
**115**, 744–751.

M. Leverett (1941), ‘Capillary behavior in porous solids’, *AIME Petroleum Transactions* **142**, 152–169.

K. Lhalouani and T. Sassi (1999), ‘Nonconforming mixed variational inequalities and domain decomposition for unilateral problems’, *East–West J. Numer. Math.* **7**, 23–30.

J. Li, J. Melenk, B. Wohlmuth and J. Zou (2010), ‘Optimal *a priori* estimates for higher order finite elements for elliptic interface problems’, *Appl. Numer. Math.* **60**, 19–37.

J. Lions and G. Stampacchia (1967), ‘Variational inequalities’, *Comm. Pure Appl. Math. XX*, 493–519.

W. Liu and N. Yan (2000), ‘*A posteriori* error estimators for a class of variational inequalities’, *J. Sci. Comput.* **15**, 361–393.

R. Luce and B. Wohlmuth (2004), ‘A local *a posteriori* error estimator based on equilibrated fluxes’, *SIAM J. Numer. Anal.* **42**, 1394–1414.

C. Lunk and B. Simeon (2006), ‘Solving constrained mechanical systems by the family of Newmark and α-methods’, *Z. Angew. Math. Mech.* **86**, 772–784.

M. Maischak and E. Stephan (2005), ‘Adaptive hp-versions of BEM for Signorini problems’, *Appl. Numer. Math.* **54**, 425–449.
M. Maischak and E. Stephan (2007), ‘Adaptive hp-versions of boundary element methods for elastic contact problems’, *Comput. Mech. 39*, 597–607.

J. Martins, S. Barbarin, M. Raous and A. Pinto da Costa (1999), ‘Dynamic stability of finite dimensional linearly elastic systems with unilateral contact and Coulomb friction’, *Comput. Methods Appl. Mech. Engrg 177*, 289–328.

M. Melenk and B. Wohlmuth (2011), On the convergence of surface based Lagrange multipliers in finite element methods. In preparation.

K. Moon, R. Nochetto, T. von Petersdorff and C. Zhang (2007), ‘*A posteriori* error analysis for parabolic variational inequalities’, *ESAIM: Math. Model. Numer. Anal. 41*, 485–511.

J. Moreau (1977), ‘Evolution problem associated with a moving convex set in a Hilbert space’, *J. Differential Equations 26*, 347–374.

P. Morin, R. Nochetto and K. Siebert (2002), ‘Convergence of adaptive finite element methods’, *SIAM Rev. 44*, 631–658.

J. Nečas, J. Jarušek and J. Haslinger (1980), ‘On the solution of the variational inequality to the Signorini problem with small friction’, *Boll. Unione Mat. Ital., V. Ser.*, **B 17**, 796–811.

S. Nicaise, K. Witowski and B. Wohlmuth (2008), ‘An *a posteriori* error estimator for the Lame equation based on H(div)-conforming stress approximations’, *IMA J. Numer. Anal. 28*, 331–353.

R. Nicolaides (1982), ‘Existence, uniqueness and approximation for generalized saddle point problems’, *SIAM J. Numer. Anal. 19*, 349–357.

J. Niessner and R. Helmig (2007), ‘Multi-scale modeling of three-phase-three-component processes in heterogeneous porous media’, *Adv. Water Resour. 30*, 2309–2325.

R. Nochetto and L. Wahlbin (2002), ‘Positivity preserving finite element approximation’, *Math. Comput. 71*, 1405–1419.

R. Nochetto, T. von Petersdorff and C. Zhang (2010), ‘*A posteriori* error analysis for a class of integral equations and variational inequalities’, *Numer. Math. 116*, 519–552.

R. Nochetto, K. Siebert and A. Veeser (2003), ‘Pointwise *a posteriori* error control for elliptic obstacle problems’, *Numer. Math. 95*, 163–195.

R. Nochetto, K. Siebert and A. Veeser (2005), ‘Fully localized *a posteriori* error estimators and barrier sets for contact problems’, *SIAM J. Numer. Anal. 42*, 2118–2135.

R. Nochetto, K. Siebert and A. Veeser (2009), Theory of adaptive finite element methods: An introduction. In *Multiscale, Nonlinear and Adaptive Approximation: Dedicated to Wolfgang Dahmen on the Occasion of his 60th Birthday* (R. DeVore et al., eds), Springer, pp. 409–542.

T. Oden, E. Becker, T. Lin and L. Demkowicz (1985), Formulation and finite element analysis of a general class of rolling contact problems with finite elastic deformations. In *The Mathematics of Finite Elements and Applications V: MAFELAP 1984*, pp. 505–532.

A. Pandolfi, C. Kane, J. Marsden and M. Ortiz (2002), ‘Time-discretized variational formulation of non-smooth frictional contact’, *Internat. J. Numer. Methods Engrg 53*, 1801–1829.
J. Pang (1990), ‘Newton’s method for B-differentiable equations’, *Math. Oper. Res.* **15**, 311–341.

J. Pang and S. Gabriel (1993), ‘NE/SQP: A robust algorithm for the nonlinear complementarity problem’, *Math. Progr.* **60**, 295–337.

J. Pang and L. Qi (1993), ‘Nonsmooth equations: Motivation and algorithms’, *SIAM J. Optim.* **3**, 443–465.

O. Pironneau and Y. Achdou (2009), *Partial differential equations for option pricing. In* *Handbook of Numerical Analysis*, Vol XV: *Mathematical Modeling and Numerical Methods in Finance* (A. Bensoussan et al, eds), Elsevier/North-Holland, pp. 369–495.

A. Popp, M. Gee and W. Wall (2009), ‘A finite deformation mortar contact formulation using a primal–dual active set strategy’, *Internat. J. Numer. Methods Engrg* **79**, 1354–1391.

A. Popp, M. Gitterle, M. Gee and W. Wall (2010), ‘A dual mortar approach for 3D finite deformation contact with consistent linearization’, *Internat. J. Numer. Methods Engrg* **83**, 1428–1465.

J. Pousin and T. Sassi (2005), ‘A *posteriori* error estimates and domain decomposition with nonmatching grids’, *Adv. Comput. Math.* **23**, 241–263.

W. Prager and J. Synge (1947), ‘Approximations in elasticity based on concepts of function spaces’, *Quart. Appl. Math.* **5**, 241–269.

M. Puso (2004), ‘A 3D mortar method for solid mechanics’, *Internat. J. Numer. Methods Engrg* **59**, 315–336.

M. Puso and T. Laursen (2004a), ‘A mortar segment-to-segment contact method for large deformation solid mechanics’, *Comput. Methods Appl. Mech. Engrg* **193**, 601–629.

M. Puso and T. Laursen (2004b), ‘A mortar segment-to-segment frictional contact method for large deformations’, *Comput. Methods Appl. Mech. Engrg* **193**, 4891–4913.

M. Puso, T. Laursen and J. Solberg (2008), ‘A segment-to-segment mortar contact method for quadratic elements and large deformations’, *Comput. Methods Appl. Mech. Engrg* **197**, 555–566.

M. Raous, S. Barbarin and D. Vola (2002), Numerical characterization and computation of dynamic instabilities for frictional contact problems. In *Friction and Instabilities* (J. A. C. Martinis et al., ed.), Vol. 457 of *CISM Courses Lect.*, Springer, pp. 233-291.

P. Raviart and J. Thomas (1983), *Introduction à l'Analyse Numérique des Équations aux Dérivées Partielles*, Collection Mathématiques Appliquées pour la Maîtrise, Masson.

Y. Renard (2006), ‘A uniqueness criterion for the Signorini problem with Coulomb friction’, *SIAM J. Math. Anal.* **38**, 452–467.

Y. Renard (2010), ‘The singular dynamic method for constrained second order hyperbolic equations: Application to dynamic contact problems’, *J. Comput. Appl. Math.* **234**, 906–923.

S. Repin (2008), *A Posteriori Estimates for Partial Differential Equations*, Radon Series on Computational and Applied Mathematics, de Gruyter.
S. Repin, S. Sauter and A. Smolianski (2003), ‘A posteriori error estimation for the Dirichlet problem with account of the error in the approximation of boundary conditions’, *Computing* **70**, 205–233.

B. Rivière (2008), *Discontinuous Galerkin Methods for Solving Elliptic and Parabolic Equations*, SIAM.

J. Salomon, A. Weiss and B. Wohlmuth (2008), ‘Energy conserving algorithms for a corotational formulation’, *SIAM J. Numer. Anal.* **46**, 1842–1866.

A. Scheidegger (1960), *The Physics of Flow through Porous Media*, University of Toronto Press.

O. Schenk and K. Gärtner (2004), ‘Solving unsymmetric sparse systems of linear equations with PARDISO’, *J. Future Generation Computer Systems* **20**, 475–487.

O. Schenk and K. Gärtner (2006), ‘On fast factorization pivoting methods for symmetric indefinite systems’, *Elec. Trans. Numer. Anal.* **23**, 158–179.

J. Schöberl (1997), ‘An advancing front 2D/3D-mesh generator based on abstract rules’, *Comput. Visual. Sci.* **1**, 41–52.

J. Schöberl (1998), ‘Solving the Signorini problem on the basis of domain decomposition techniques’, *Computing* **60**, 323–344.

L. Scott and S. Zhang (1990), ‘Finite element interpolation of nonsmooth functions satisfying boundary conditions’, *Math. Comp.* **54**, 483–493.

B. Simeon (2006), ‘On Lagrange multipliers in flexible multibody dynamics’, *Comput. Methods Appl. Mech. Engrg* **195**, 6993–7005.

J. Simo (1998), Local behavior in finite element methods. In *Numerical Methods for Solids, Part 3* and *Numerical Methods for Fluids, Part 1* (P. Ciarlet and J. Lions, eds), Vol. VI of *Handbook of Numerical Analysis*, North-Holland, pp. 183–499.

J. Simo and F. Armero (1992), ‘Geometrically nonlinear enhanced strain mixed methods and the method of incompatible modes’, *Internat. J. Numer. Methods Engrg* **33**, 1413–1449.

J. Simo and T. Hughes (1998), *Computational Inelasticity*, Springer.

J. Simo and T. Laursen (1992), ‘Augmented Lagrangian treatment of contact problems involving friction’, *Comput. Struct.* **42**, 97–116.

J. Simo and M. Rifai (1990), ‘A class of assumed strain methods and the method of incompatible modes’, *Internat. J. Numer. Methods Engrg* **29**, 1595–1638.

J. Simo and N. Tarnow (1992), ‘The discrete energy-momentum method: Conserv- ing algorithms for nonlinear elastodynamics’, *Z. Angew. Math. Phys.* **43**, 757– 792.

J. Simo, F. Armero and R. Taylor (1993), ‘Improved versions of assumed enhanced tri-linear elements for 3D finite deformation problems’, *Comput. Methods Appl. Mech. Engrg* **110**, 359–386.

E. Stein and S. Ohnimus (1997), ‘Equilibrium method for postprocessing and error estimation in the finite element method’, *Comput. Assist. Mech. Engrg Sci.* **4**, 645–666.

E. Stein and S. Ohnimus (1999), ‘Anisotropic discretization- and model-error estimation in solid mechanics by local Neumann problems’, *Comput. Methods Appl. Mech. Engrg* **176**, 363–385.
R. Stevenson (2005), ‘An optimal adaptive finite element method’, *SIAM J. Numer. Anal.* **42**, 2188–2217.

R. Stevenson (2007), ‘Optimality of a standard adaptive finite element method’, *Found. Comput. Math.* **7**, 245–269.

D. Sun and L. Qi (1999), ‘On NCP-functions’, *Comput. Optim. Appl.* **13**, 201–220.

F. Suttmeier (2005), ‘On a direct approach to adaptive FE-discretisations for el-
liptic variational inequalities’, *J. Numer. Math.* **13**, 73–80.

V. Thomée (1997), *Galerkin Finite Element Methods for Parabolic Problems*, Springer.

A. Toselli and O. Widlund (2005), *Domain Decomposition Methods: Algorithms and Theory*, Springer.

M. Van Genuchten (1980), ‘A closed-form equation for predicting the hydraulic conductivity of unsaturated soils’, *Soil Sci. Soc. Am. J.* **44**, 892–898.

A. Veeser (2001), On a *posteriori* error estimation for constant obstacle problems.
In *Numerical Methods for Viscosity Solutions and Applications* (M. Falcone
and C. Makridakis, eds), Vol. 59 of *Advances in Mathematics for Applied
Sciences*, World Scientific, pp. 221–234.

R. Verfürth (1994), ‘*A posteriori* error estimation and adaptive mesh-refinement techniques’, *J. Comput. Appl. Math.* **50**, 67–83.

R. Verfürth (1996), *A Review of A Posteriori Error Estimation and Adaptive Mesh-Refinement Techniques*, Advances in Numerical Mathematics, Wiley-Teubner.

M. Vohralík (2008), ‘*A posteriori error estimation in the conforming finite element method based on its local conservativity and using local minimization*’, *CR Math. Acad. Sci. Paris 346*, 687–690.

K. Washizu (1955), On the variational principles of elasticity and plasticity. Report 25-18, Massachusetts Institute of Technology.

A. Weiss and B. Wohlmuth (2009), ‘*A posteriori error estimator and error control for contact problems*’, *Math. Comp.* **78**, 1237–1267.

A. Weiss and B. Wohlmuth (2010), ‘*A posteriori error estimator for obstacle problems*’, *SIAM J. Sci. Comput.* **32**, 2627–2658.

M. Wheeler and I. Yotov (2005), ‘*A posteriori error estimates for the mortar mixed finite element method*’, *SIAM J. Numer. Anal.* **43**, 1021–1042.

C. Wieners (2007), ‘Nonlinear solution methods for infinitesimal perfect plasticity’, *Z. Angew. Math. Mech.* **87**, 643–660.

C. Wieners and B. Wohlmuth (2011), ‘A primal–dual finite element approximation for a nonlocal model in plasticity’, *SIAM J. Sci. Comput.* **49**, 692–710.

K. Willner (2003), *Kontinuums- und Kontaktmechanik*, Springer.

P. Wilmott, J. Dewynne and S. Howison (1997), *Option Pricing: Mathematical Models and Computation*, Oxford Financial Press.

B. Wohlmuth (1999a), ‘Hierarchical *a posteriori* error estimators for mortar finite element methods with Lagrange multipliers’, *SIAM J. Numer. Anal.* **36**, 1636–1658.

B. Wohlmuth (1999b), ‘A residual based error-estimator for mortar finite element discretizations’, *Numer. Math.* **84**, 143–171.

B. Wohlmuth (2000), ‘A mortar finite element method using dual spaces for the Lagrange multiplier’, *SIAM J. Numer. Anal.* **38**, 989–1012.
B. Wohlmuth (2001), *Discretization Methods and Iterative Solvers Based on Do-
main Decomposition*, Springer.

B. Wohlmuth (2005), 'A V-cycle multigrid approach for mortar finite elements',
*SIAM J. Numer. Anal.* **42**, 2476–2495.

B. Wohlmuth (2007), ‘An *a posteriori* error estimator for two-body contact prob-
lems on non-matching meshes’, *J. Sci. Comput.* **33**, 25–45.

B. Wohlmuth and R. Krause (2001), ‘Multigrid methods based on the uncon-
strained product space for mortar finite element discretizations’, *SIAM J.
Numer. Anal.* **39**, 192–213.

B. Wohlmuth and R. Krause (2003), ‘Monotone multigrid methods on nonmatch-
ing grids for nonlinear multibody contact problems’, *SIAM J. Sci. Comput.*
**25**, 324–347.

R. Wooding and H. Morel-Seytoux (1976), ‘Multiphase fluid flow through porous media’, *Annu. Rev. Fluid Mech.* **8**, 233–274.

P. Wriggers (2006), *Computational Contact Mechanics*, second edition, Springer.

P. Wriggers and U. Nackenhorst, eds (2007), *Computational Methods in Contact Mechanics*, Vol. 3 of IUTAM Bookseries, Springer.

P. Wriggers and O. Scherf (1998), ‘Different *a posteriori* error estimators and in-
dicators for contact problems’, *Math. Comput. Modelling* **28**, 437–447.

S. Wright (1997), *Primal-Dual Interior Point Methods*, SIAM.

B. Yang and T. Laursen (2008a), ‘A contact searching algorithm including bound-
ing volume trees applied to finite sliding mortar formulations’, *Comput. Mech.
41*, 189–205.

B. Yang and T. Laursen (2008b), ‘A large deformation mortar formulation of self contact with finite sliding’, *Comput. Methods Appl. Mech. Engrg* **197**, 756–772.

B. Yang, T. Laursen and X. Meng (2005), ‘Two dimensional mortar contact meth-
ods for large deformation frictional sliding’, *Internat. J. Numer. Methods
Engrg* **62**, 1183–1225.