Preprints:

• On Dykstra's algorithm with Bregman projections, with Pedro Pinto – (Oberwolfach Preprint, PDF)
  submitted, 17pp.

• Proof mining and probability theory, with Morenikeji Neri – (ArXiv, PDF)
  submitted, 47pp.

• Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces – (PDF)
  submitted, 39pp.

• Effective rates for iterations involving Bregman strongly nonexpansive operators, with Ulrich Kohlenbach – (PDF)
  submitted, 42pp.

• Generalized Fejér monotone sequences and their finitary content – (ArXiv, PDF)
  submitted, 40pp.

• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions – (PDF)
  submitted, 30pp.

• A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications – (ArXiv, PDF)
  submitted, 42pp.

Publications:

• Rates of convergence for the asymptotic behavior of second-order Cauchy problems – (ArXiv, PDF)
  Journal of Mathematical Analysis and Applications 533(2) (2024), 128078, 15pp. (doi:10.1016/j.jmaa.2023.128078)

• On Computational Properties of Cauchy Problems generated by Accretive Operators, with Pedro Pinto – (ArXiv, PDF)
  Documenta Mathematica 28(5) (2023), pp. 1235-1274. (doi:10.4171/DM/924)

• On Korpelevich's Extragradient Algorithm – (PDF)
  Zeitschrift für Analysis und ihre Anwendungen 42(1/2) (2023), pp. 117-129. (doi:10.4171/ZAA/1724)

• Proof Theory and Nonsmooth Analysis, with Ulrich Kohlenbach – (PDF)
  Philosophical Transactions of the Royal Society A 381(2248) (2023), 20220015, 21pp. (doi:10.1098/rsta.2022.0015)

• Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators – (ArXiv, PDF)
  To appear in: Journal of Mathematical Logic (2023), 59pp. (doi:10.1142/S0219061323500083)

• Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space – (ArXiv, PDF)
  Journal of Convex Analysis 30(1) (2023), pp. 295-315.

• On Infinitary Gödel Logics – (ArXiv, PDF)
  Journal of Logic and Computation 33(1) (2023), pp. 1-46. (doi:10.1093/logcom/exac040)

• On Intermediate Justification Logics – (ArXiv, PDF)
  Logic Journal of the IGPL 31(1) (2023), pp. 534-573. (doi:10.1093/jigpal/jzac049)

• Quantitative Analysis of a Subgradient-Type Method for Equilibrium Problems, with Ulrich Kohlenbach – (ArXiv, PDF)
  Numerical Algorithms 90(1) (2022), pp. 197-219. (doi:10.1007/s11075-021-01184-9)

• Gödel Justification Logics and Realization – (ArXiv, PDF)
  Logic Journal of the IGPL 30(3) (2022), pp. 343-408. (doi:10.1093/jigpal/jzaa070)

• A Note on Strong Axiomatization of Gödel Justification Logic – (ArXiv, PDF)
  Studia Logica 108(4) (2020), pp. 687-724. (doi:10.1007/s11225-019-09871-4)

Notes:

• A Subset Semantics for the Weak Gödel Modal Logics – (PDF)

• On Decidability and Complexity of Gödel Justification Logic – (PDF)

• A note on Public Announcements in Standard Gödel Modal Logic – (ArXiv, PDF)

• Dynamic extensions for the logic of knowing why with public announcements of formulas – (ArXiv, PDF)

Note that the PDF link provides you with a newer version than the ArXiv link.