Meinong's Theory of Objects and Hilbert's epsilon-Symbol. - Newton C. A. da Costa; Francisco A. Doria; N. Papavero (Reports Math. Log., 1991)

On Arnold's Hilbert Symposium Problems. - Newton C. A. da Costa; Francisco A. Doria (Kurt Gödel Colloquium, 1993)

Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. - Newton C. A. da Costa; Francisco A. Doria (Complex., 1995)

Undecidability, incompleteness and the Arnol'd problems. - Newton C. A. da Costa; Francisco A. Doria (Stud Logica, 1995)

On Jaskowski's discussive logic. - Newton C. A. da Costa; Francisco A. Doria (Stud Logica, 1995)

H-Computation (Abstract). - Newton C. A. da Costa; Francisco A. Doria (SBIA, 1996)

On the existence of certain total recursive functions in nontrivial axiom systems, I - Newton C. A. da Costa; Francisco A. Doria (CoRR, 1998)

The Incompleteness of Theories of Games. - Marcelo Tsuji; Newton C. A. da Costa; Francisco A. Doria (J. Philos. Log., 1998)

Is There A Simple, Pedestrian Arithmetic Sentence Which Is Independent Of Zfc? - Francisco A. Doria (Synth., 2000)

Consequences of an exotic definition for P=NP. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2003)

Addendum to "Consequences of an exotic formulation for P. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2006)

Some thoughts on hypercomputation. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2006)

Introduction to the special issue on hypercomputation. - Francisco A. Doria; José Félix Costa (Appl. Math. Comput., 2006)

On the metamathematics of the P vs. NP question. - Newton C. A. da Costa; Francisco A. Doria; Eric Bir (Appl. Math. Comput., 2007)

Fast-Growing Functions and the P vs. NP Question. - Francisco A. Doria (Log. J. IGPL, 2007)

Informal versus formal mathematics. - Francisco A. Doria (Synth., 2007)

How to build a hypercomputer. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2009)

Using fuzzy NPV evaluation to justify the acquisition of business interruption insurance. - Armando Celestino Gonçalves Neto; Lino Guimarães Marujo; Carlos Alberto Nunes Cosenza; Francisco Antônio de Moraes Accioli Dória; J. M. Lima Jr. (Expert Syst. Appl., 2012)

Hierarchy Models for the Organization of Economic Spaces. - Carlos Alberto Nunes Cosenza; Francisco Antonio Doria; Leonardo Antonio Monteiro Pessôa (ITQM, 2015)

A Beautiful Theorem. - Francisco Antonio Doria; Carlos Alberto Nunes Cosenza (Towards Paraconsistent Engineering, 2016)

Learning the undecidable from networked systems. - Felipe S. Abrahão; Itala M. Loffredo D'Ottaviano; Klaus Wehmuth; Francisco Antonio Doria; Artur Ziviani (CoRR, 2019)