Bruno Dinis

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 10

Top Topics

Faster Convergence

Buffer Overflow

Johnson Lindenstrauss

Functional Analysis

Top Venues

Ann. Pure Appl. Log.

Publications

Bruno Dinis, Étienne Miquey
Stateful Realizers for Nonstandard Analysis. Log. Methods Comput. Sci. 19 (2) (2023)
Bruno Dinis, Pedro Pinto
Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces. SIAM J. Optim. 33 (2) (2023)
Bruno Dinis, Étienne Miquey
Stateful Realizers for Nonstandard Analysis. CoRR (2022)
Bruno Dinis, Paulo Oliva
A parametrised functional interpretation of Heyting arithmetic. Ann. Pure Appl. Log. 172 (4) (2021)
Bruno Dinis, Étienne Miquey
Realizability with Stateful Computations for Nonstandard Analysis. CSL (2021)
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
Fundamental group in o-minimal structures with definable Skolem functions. Ann. Pure Appl. Log. 172 (8) (2021)
Bruno Dinis, Pedro Pinto
On the convergence of algorithms with Tikhonov regularization terms. Optim. Lett. 15 (4) (2021)
Bruno Dinis, Jaime Gaspar
Intuitionistic nonstandard bounded modified realisability and functional interpretation. Ann. Pure Appl. Log. 169 (5) (2018)
Bruno Dinis, Fernando Ferreira
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. Math. Log. Q. 63 (1-2) (2017)
Bruno Dinis, Gilda Ferreira
Instantiation overflow. Reports Math. Log. 51 (2016)
Bruno Dinis, Imme Pieter van den Berg
Algebraic properties of external numbers. J. Log. Anal. 3 (2011)