| Data | Título | Autor(es) | Tipo | Acesso |
| 2014 | An analog-digital Church-Turing thesis | Beggs, Edwin; Costa, José Félix; Tucker, John V.; Poças, Diogo | article |  |
| 2016 | An Analogue-digital Model of Computation: Turing Machines with Physical Oracles | Ambaram, Tânia; Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | bookPart | |
| Dez-1998 | Analog Computers and the Iteration Functional | Campagnolo, Manuel Lameiras; Moore, Cristopher; Costa, José Félix | report | |
| Dez-1998 | Building a Neural Computer | Carreira, Paulo J.F.; Rosa, Miguel A.; Neto, João Pedro; Costa, José Félix | report | |
| Dez-1999 | Building Neural Net Software | Neto, João Pedro; Costa, José Félix | report | |
| 2018 | Classifying the computational power of stochastic physical oracles | Beggs, Edwin; Cortez, Pedro; Costa, José Félix; Tucker, John V. | article | |
| 2017 | Computations with oracles that measure vanishing quantities | Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | article | |
| 2016 | A hierarchy for BPP//log* based on counting calls to an oracle | Beggs, Edwin; Cortez, Pedro; Costa, José Félix; Tucker, John V. | bookPart | |
| 2013 | Incomputability at the Foundations of Physics (A Study in the Philosophy of Science) | Costa, José Félix | article | |
| 2019 | On discovering scientific laws | Costa, José Félix | article | |
| 2013 | Oracles that measure thresholds: The Turing machine and the broken balance | Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | article | |
| 2017 | Solving Smullyan puzzles with formal systems | Costa, José Félix; Poças, Diogo | article | |
| 2013 | The ARNN model relativises P==NP and P=/=NP | Costa, José Félix; Leong, Raimundo | article | |
| 2016 | The Physics of the Halting Problem | Costa, José Félix | article | |
| 2017 | The unity of science as seen through the universal computer | Costa, José Félix | article | |
| 2014 | Three forms of physical measurement and their computability | Beggs, Edwin; Costa, José Félix; Tucker, John V. | article | |
