Computer science unplugged and related projects in math and computer science popularization, pp.398-456, 2012. ,
, Berkley: Snap!, 2011.
The Multivariate Algorithmic Revolution and Beyond -Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.7370, 2012. ,
Tighter undecidability bounds for matrix mortality, zero-in-the-corner problems, and more, 2014. ,
Computer viruses, Comput. Secur, vol.6, issue.1, pp.90122-90124, 1987. ,
Hilbert's Tenth Problem, 1993. ,
Classes of recursively enumerable sets and their decision problems, Transactions of the American Mathematical Society, vol.74, issue.2, pp.358-366, 1953. ,
Undecidability and nonperiodicity for tilings of the plane, Inventiones mathematicae, vol.12, issue.3, pp.177-209, 1971. ,
, , pp.433-460, 1950.
On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol.2, issue.42, pp.230-265, 1936. ,