- in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
- in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
"Back and forth between guarded and modal logics" (2000)
- in: Otto M.
"Bisimulation invariance and finite models" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
- in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)
"The boundedness problem for monadic universal first-order logic" (2006)
