Elements of Categorical Logic: Fifty Years Later. - Valeria de Paiva; Andrei Rodin (Logica Universalis, 2013)

Venus Homotopically. - Andrei Rodin (FLAP, 2017)

Truth and Justification in Knowledge Representation. - Andrei Rodin; Serge Kovalyov (FCA4AI@IJCAI, 2019)

Editorial: The foundations of mathematics and theoretical biology. - Elena Fimmel; Andrei Rodin (Biosyst., 2021)

Voevodsky's unfinished project: Filling the gap between pure and applied mathematics. - Andrei Rodin (Biosyst., 2021)