Yijia Chen, Jörg Flum. A Parameterized Halting Problem. In Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx, editors, The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Volume 7370 of Lecture Notes in Computer Science, pages 364-397, Springer, 2012. [doi]
Abstract is missing.