Abstract. We present semi-implicit (IMEX) formulations of the compressible Navier-Stokes equations (NSE) for applications in nonhydrostatic atmospheric modeling. The compressible NSE in nonhydrostatic atmospheric modeling include buoyancy terms that require special handling if one wishes to extract the Schur complement form of the linear implicit problem. We present results for five different forms of the compressible NSE and describe in detail how to formulate the semi-implicit time-integration method for these equations. Finally, we compare all five equations and compare the semi-implicit formulations of these equations both using the Schur and No Schur forms against an explicit Runge-Kutta method. Our simulations show that, if efficiency is the main criterion, it matters which form of the governing equations you choose. Furthermore, the semi-implicit formulations are faster than the explicit RungeKutta method for all the tests studied especially if the Schur form is used. While we have used the spectral element method for discretizing the spatial operators, the semi-implicit formulations that we derive are directly applicable to all other numerical methods. We show results for our five semi-implicit models for a variety of problems of interest in nonhydrostatic atmospheric modeling, including: inertia gravity waves, rising thermal bubbles (i.e., Rayleigh-Taylor instabilities), density current (i.e., Kelvin-Helmholtz instabilities), and mountain test cases; the latter test case requires the implementation of non-reflecting boundary conditions. Therefore, we show results for all five semi-implicit models using the appropriate boundary conditions required in nonhydrostatic atmospheric modeling: no-flux (reflecting) and non-reflecting boundary conditions. It is shown that the non-reflecting boundary conditions exert a strong impact on the accuracy and efficiency of the models.Key words. compressible flow; element-based Galerkin methods; Euler; IMEX; Lagrange; Legendre; NavierStokes; nonhydrostatic; spectral elements; time-integration.AMS subject classifications. 65M60, 65M70, 35L65, 86A101. Introduction. It can be argued that the single most important property of an operational nonhydrostatic mesoscale atmospheric is efficiency. Clearly, this efficiency should not come at the cost of accuracy but if a weather center has the choice between a very accurate model and one that is efficient, they will probably pick the efficient one; however, as numerical analysts, we would like to build models that are both accurate and efficient. One way to achieve this goal is to construct numerical models based on high-order methods: this class of methods offers exponential (spectral) convergence for smooth problems and achieves excellent scalability on modern multi-core systems if they are used in an element-based approach (i.e., if the approximating polynomials have compact/local support). This is the idea behind element-based Galerkin methods such as spectral element (SE) and discontinuous Galerkin (DG) methods (see [14] and [2...