Analysis of the grad-div stabilization for the time-dependent Navier-Stokes equations with inf-sup stable finite elements - de Frutos, Javier; García-Archilla, Bosco; John, Volker; Novo, Julia (Advances in Computational Mathematics, 2018)