Effective results on a fixed point algorithm for families of nonlinear mappings. - Andrei Sipos (Ann. Pure Appl. Log., 2017)

An abstract proximal point algorithm. - Laurentiu Leustean; Adriana Nicolae; Andrei Sipos (J. Glob. Optim., 2018)

Proof Mining in LP Spaces. - Andrei Sipos (J. Symb. Log., 2019)

Abstract strongly convergent variants of the proximal point algorithm. - Andrei Sipos (Comput. Optim. Appl., 2022)

Quantitative inconsistent feasibility for averaged mappings. - Andrei Sipos (Optim. Lett., 2022)

On Extracting Variable Herbrand Disjunctions. - Andrei Sipos (Stud Logica, 2022)

A proof-theoretic metatheorem for tracial von Neumann algebras. - Liviu Paunescu; Andrei Sipos (Math. Log. Q., 2023)