A Game Semantics for Grz. - Ilya Mezhirov (J. Log. Comput., 2006)

On Game Semantics of the Affine and Intuitionistic Logics. - Ilya Mezhirov; Nikolai K. Vereshchagin (WoLLIC, 2008)

Ergodic-Type Characterizations of Algorithmic Randomness. - Laurent Bienvenu; Adam R. Day; Ilya Mezhirov; Alexander Shen 001 (CiE, 2010)

Game interpretation of Kolmogorov complexity - Andrej Muchnik; Ilya Mezhirov; Alexander Shen 001; Nikolai K. Vereshchagin (CoRR, 2010)

On abstract resource semantics and computability logic. - Ilya Mezhirov; Nikolay K. Vereshchagin (J. Comput. Syst. Sci., 2010)

A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points. - Laurent Bienvenu; Adam R. Day; Mathieu Hoyrup; Ilya Mezhirov; Alexander Shen 001 (Inf. Comput., 2012)