| Neutrices and external numbers: A flexible number system B Dinis, I van den Berg Chapman and Hall/CRC, 2019 | 28 | 2019 |
| Algebraic properties of external numbers B Dinis, I van den Berg Journal of Logic and Analysis 3, 2011 | 28 | 2011 |
| 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 | 24 | 2023 |
| On the convergence of algorithms with Tikhonov regularization terms B Dinis, P Pinto Optimization Letters 15 (4), 1263-1276, 2021 | 16 | 2021 |
| Quantitative results on the multi-parameters proximal point algorithm B Dinis, P Pinto arXiv preprint arXiv:1912.10175, 2019 | 16 | 2019 |
| Axiomatics for the external numbers of nonstandard analysis B Dinis, I Berg arXiv preprint arXiv:1605.02551, 2016 | 15 | 2016 |
| Old and new approaches to the sorites paradox B Dinis arXiv preprint arXiv:1704.00450, 2017 | 11 | 2017 |
| Intuitionistic nonstandard bounded modified realisability and functional interpretation B Dinis, J Gaspar Annals of Pure and Applied Logic 169 (5), 392-412, 2018 | 10 | 2018 |
| Characterization of distributivity in a solid B Dinis, I van den Berg Indagationes Mathematicae 29 (2), 580-600, 2018 | 10 | 2018 |
| Strolling through common meadows J Dias, B Dinis Communications in Algebra 52 (12), 5015-5042, 2024 | 9 | 2024 |
| Towards an Enumeration of finite common meadows J Dias, B Dinis arXiv preprint arXiv:2401.10631, 2024 | 9* | 2024 |
| On the quotient class of non-archimedean fields B Dinis, I van den Berg Indagationes Mathematicae 28 (4), 784-795, 2017 | 9 | 2017 |
| Effective metastability for a method of alternating resolvents B Dinis, P Pinto arXiv preprint arXiv:2101.12675, 2021 | 8 | 2021 |
| Metastability of the proximal point algorithm with multi-parameters B Dinis, P Pinto Portugaliae Mathematica 77 (3), 345-381, 2020 | 8 | 2020 |
| Instantiation overflow B Dinis, G Ferreira Reports on Mathematical Logic, 15, 2016 | 8 | 2016 |
| Flexible involutive meadows B Dinis, E Bottazzi arXiv preprint arXiv:2309.01284, 2023 | 7 | 2023 |
| 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 | 7 | 2021 |
| 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 |
| Equality and Near-Equality in a Nonstandard World B Dinis Logic and Logical Philosophy 32 (1), 105-118, 2023 | 3 | 2023 |
| On flexible sequences B Dinis, N Van Tran, I Berg Acta Mathematica Vietnamica 44, 833-874, 2019 | 3 | 2019 |
Pedro PintoTU DarmstadtZweryfikowany adres z mathematik.tu-darmstadt.de