Bruno Dinis

According to our database, Bruno Dinis authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces.

Bruno Dinis, Pedro Pinto

SIAM J. Optim., 2023

Stateful Realizers for Nonstandard Analysis.

Bruno Dinis, Étienne Miquey

Log. Methods Comput. Sci., 2023

2021

On the convergence of algorithms with Tikhonov regularization terms.

Bruno Dinis, Pedro Pinto

Optim. Lett., 2021

A parametrised functional interpretation of Heyting arithmetic.

Bruno Dinis, Paulo Oliva

Ann. Pure Appl. Log., 2021

Fundamental group in o-minimal structures with definable Skolem functions.

Bruno Dinis, Mário J. Edmundo, Marcello Mamino

Ann. Pure Appl. Log., 2021

Realizability with Stateful Computations for Nonstandard Analysis.

Bruno Dinis, Étienne Miquey

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2018

Intuitionistic nonstandard bounded modified realisability and functional interpretation.

Bruno Dinis, Jaime Gaspar

Ann. Pure Appl. Log., 2018

2017

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.

Bruno Dinis, Fernando Ferreira

Math. Log. Q., 2017

Axiomatics for the external numbers of nonstandard analysis.

Bruno Miguel Antunes Dinis, Imme Pieter van den Berg

J. Log. Anal., 2017

2016

Instantiation overflow.

Bruno Dinis, Gilda Ferreira

Reports Math. Log., 2016

2011

Algebraic properties of external numbers.

Bruno Dinis, Imme Pieter van den Berg

J. Log. Anal., 2011