Semi-simplicial Types in Logic-enriched Homotopy Type Theory. - Fedor Part; Zhaohui Luo (CoRR, 2015)

Resolution with Counting: Lower Bounds over Different Moduli. - Fedor Part; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2018)

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. - Fedor Part; Iddo Tzameret (Comput. Complex., 2021)

Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube. - Fedor Part (CoRR, 2022)

First-order reasoning and efficient semi-algebraic proofs. - Fedor Part; Neil Thapen; Iddo Tzameret (Ann. Pure Appl. Log., 2025)