| On the removal of weak compactness arguments in proof mining F Ferreira, L Leuştean, P Pinto Advances in Mathematics 354, 106728, 2019 | 34 | 2019 |
| Quantitative results on a Halpern-type proximal point algorithm L Leuştean, P Pinto Computational Optimization and Applications 79 (1), 101-125, 2021 | 24 | 2021 |
| A rate of metastability for the Halpern type Proximal Point Algorithm P Pinto Numerical Functional Analysis and Optimization, 1-24, 2021 | 17 | 2021 |
| Quantitative results on the multi-parameters Proximal Point Algorithm B Dinis, P Pinto arXiv preprint arXiv:1912.10175, 2019 | 13 | 2019 |
| Strong Convergence for the Alternating Halpern–Mann Iteration in CAT (0) Spaces B Dinis, P Pinto SIAM Journal on Optimization 33 (2), 785-815, 2023 | 12 | 2023 |
| Quantitative translations for viscosity approximation methods in hyperbolic spaces U Kohlenbach, P Pinto Journal of Mathematical Analysis and Applications 507 (2), 125823, 2022 | 11 | 2022 |
| On the convergence of algorithms with Tikhonov regularization terms B Dinis, P Pinto Optimization Letters 15 (4), 1263-1276, 2021 | 10 | 2021 |
| Rates of asymptotic regularity for the alternating Halpern–Mann iteration L Leuştean, P Pinto Optimization Letters 18 (2), 529-543, 2024 | 8 | 2024 |
| Metastability of the proximal point algorithm with multi-parameters B Dinis, P Pinto Portugaliae Mathematica 77 (3), 345-381, 2020 | 7 | 2020 |
| Proof mining with the bounded functional interpretation P Pinto Bulletin of Symbolic Logic 28 (2), 265-266, 2022 | 6 | 2022 |
| Effective metastability for a method of alternating resolvents B Dinis, P Pinto arXiv preprint arXiv:2101.12675, 2021 | 5 | 2021 |
| On computational properties of Cauchy problems generated by accretive operators P Pinto, N Pischke Documenta Mathematica 28 (5), 1235-1274, 2023 | 3 | 2023 |
| Fej\'er monotone sequences revisited U Kohlenbach, P Pinto arXiv preprint arXiv:2310.06528, 2023 | 1 | 2023 |
| On the finitary content of Dykstra's cyclic projections algorithm P Pinto arXiv preprint arXiv:2306.09791, 2023 | 1 | 2023 |
| On Dykstra’s Algorithm with Bregman Projections P Pinto, N Pischke Mathematisches Forschungsinstitut Oberwolfach, 2024 | | 2024 |
| NONEXPANSIVE MAPS IN NONLINEAR SMOOTH SPACES P PINTO | | 2023 |
| Proof mining of a discussion by cases P Pinto Days in Logic 2020, 19, 2020 | | 2020 |
| Mathematical Logic Webinar Proof mining on PDE theory P Pinto | | |
| Some arguments in proof mining P Pinto | | |
| On the elimination of arithmetical comprehension in proof mining (part 2) P Pinto | | |
Bruno DinisUniversidade de ÉvoraVerified email at uevora.pt
