Algebraic properties of external numbers. - Bruno Dinis; Imme Pieter van den Berg (J. Log. Anal., 2011)

Instantiation overflow. - Bruno Dinis; Gilda Ferreira (Reports Math. Log., 2016)

Axiomatics for the external numbers of nonstandard analysis. - Bruno Miguel Antunes Dinis; Imme Pieter van den Berg (J. Log. Anal., 2017)

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. - Bruno Dinis; Fernando Ferreira 001 (Math. Log. Q., 2017)

Intuitionistic nonstandard bounded modified realisability and functional interpretation. - Bruno Dinis; Jaime Gaspar (Ann. Pure Appl. Log., 2018)

Realizability with Stateful Computations for Nonstandard Analysis. - Bruno Dinis; Étienne Miquey (CSL, 2021)

Fundamental group in o-minimal structures with definable Skolem functions. - Bruno Dinis; Mário J. Edmundo; Marcello Mamino (Ann. Pure Appl. Log., 2021)

A parametrised functional interpretation of Heyting arithmetic. - Bruno Dinis; Paulo Oliva (Ann. Pure Appl. Log., 2021)

On the convergence of algorithms with Tikhonov regularization terms. - Bruno Dinis; Pedro Pinto 003 (Optim. Lett., 2021)

Stateful Realizers for Nonstandard Analysis. - Bruno Dinis; Étienne Miquey (Log. Methods Comput. Sci., 2023)

Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces. - Bruno Dinis; Pedro Pinto 003 (SIAM J. Optim., 2023)

Towards an enumeration of finite common meadows. - João Dias 003; Bruno Dinis (Int. J. Algebra Comput., 2024)

Elements for Weighted Answer-Set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (SLATE, 2025)

On definable Skolem functions and trichotomy. - Bruno Dinis; Mário J. Edmundo (Ann. Pure Appl. Log., 2025)

An Algebraic Approach to Weighted Answer-set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (CoRR, 2025)