We study the image of the model subspace $K_\theta$ under the composition operator $C_\varphi$, where $\varphi$ and $\theta$ are inner functions, and find the smallest model subspace which contains the linear manifold $C_\varphi K_\theta$. Then we characterize the case when $C_\varphi$ maps $K_\theta$ into itself. This case leads to the study of the inner functions $\varphi$ and $\psi$ such that the composition $\psi\circ\varphi$ is a divisor of $\psi$ in the family of inner functions.

We study properties of composition operators induced by symbols acting from the unit disk to the polydisk. This result will be involved in the investigation of weighted composition operators on the Hardy space on the unit disk and moreover be concerned with composition operators acting from the Bergman space to the Hardy space on the unit disk.

We characterize the compactness of linear combinations of analytic composition operators on the Bloch space. We also study their boundedness and compactness on the little Bloch space.