1. High Speed Encrypted Computing: Stochastic Confusion and Lies in a Secret Computer;2022 IEEE Conference on Dependable and Secure Computing (DSC);2022-06-22
2. Hilbert's Tenth Problem in Coq (Extended Version);Logical Methods in Computer Science;2022-03-01
3. Hardly describable almost polynomial classes of requrrent sequences;Proceedings of Academician O.B. Lupanov 14th International Scientific Seminar "Discrete Mathematics and Its Applications";2022
4. Conway’s Work on Iteration In memory of John Horton Conway (1937–2020);The Mathematical Intelligencer;2021-06
5. The Artist;The Mathematical Intelligencer;2021-05-03