| Algebraic properties of external numbers B Dinis, I van den Berg Journal of Logic and Analysis 3, 2011 | 28 | 2011 |
| Neutrices and external numbers: A flexible number system B Dinis, I van den Berg Chapman and Hall/CRC, 2019 | 23 | 2019 |
| Axiomatics for the external numbers of nonstandard analysis B Dinis, I Berg arXiv preprint arXiv:1605.02551, 2016 | 16 | 2016 |
| 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 |
| On the convergence of algorithms with Tikhonov regularization terms B Dinis, P Pinto Optimization Letters 15 (4), 1263-1276, 2021 | 10 | 2021 |
| Old and new approaches to the sorites paradox B Dinis arXiv preprint arXiv:1704.00450, 2017 | 10 | 2017 |
| Intuitionistic nonstandard bounded modified realisability and functional interpretation B Dinis, J Gaspar Annals of Pure and Applied Logic 169 (5), 392-412, 2018 | 9 | 2018 |
| Characterization of distributivity in a solid B Dinis, I van den Berg Indagationes Mathematicae 29 (2), 580-600, 2018 | 9 | 2018 |
| On the quotient class of non-archimedean fields B Dinis, I van den Berg Indagationes Mathematicae 28 (4), 784-795, 2017 | 9 | 2017 |
| Instantiation overflow B Dinis, G Ferreira Reports on Mathematical Logic, 15, 2016 | 8 | 2016 |
| Metastability of the proximal point algorithm with multi-parameters B Dinis, P Pinto Portugaliae Mathematica 77 (3), 345-381, 2020 | 7 | 2020 |
| Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic B Dinis, F Ferreira Mathematical Logic Quarterly 63 (1-2), 114-123, 2017 | 7 | 2017 |
| Fundamental group in o-minimal structures with definable Skolem functions B Dinis, MJ Edmundo, M Mamino Annals of Pure and Applied Logic 172 (8), 102975, 2021 | 5 | 2021 |
| Effective metastability for a method of alternating resolvents B Dinis, P Pinto arXiv preprint arXiv:2101.12675, 2021 | 5 | 2021 |
| Neutrices and external numbers B Dinis, IP van den Berg A Flexible Number System, 2019 | 5 | 2019 |
| On flexible sequences B Dinis, N Van Tran, I Berg Acta Mathematica Vietnamica 44, 833-874, 2019 | 3 | 2019 |
| A parametrised functional interpretation of Heyting arithmetic B Dinis, P Oliva Annals of Pure and Applied Logic 172 (4), 102940, 2021 | 2 | 2021 |
| Proof mining of the proximal point algorithm with multi-parameters B Dinis, L Leustean, P Pinto Workshop on Proof Theory and its Applications-Ghent, 2018 | 2 | 2018 |
| Axiomatics for the external numbers of Nonstandard analysis and modelation of uncertainties BMA Dinis Universidade de Évora, 2012 | 2 | 2012 |
Pedro PintoTU DarmstadtVerified email at mathematik.tu-darmstadt.de
