Jose Felix Gomes da Costa


AuthID: R-000-89W

Confirmed Publications: 76



11
TITLE: Uncertainty in time
AUTHORS: Costa, JF ;
PUBLISHED: 2015, SOURCE: Parallel Processing Letters, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus
12
TITLE: A Natural Computation Model of Positive Relativisation
AUTHORS: Beggs, E; Costa, JF ; Tucker, JV;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, VOLUME: 10, ISSUE: 1-2
INDEXED IN: Scopus WOS
13
TITLE: AN ANALOGUE-DIGITAL CHURCH-TURING THESIS  Full Text
AUTHORS: Beggs, E; Costa, JF ; Pocas, D; Tucker, JV;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY  Full Text
AUTHORS: Beggs, E; Costa, JF ; Tucker, JV;
PUBLISHED: 2014, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 7, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
15
TITLE: Incomputability at the foundations of physics (A study in the philosophy of science)
AUTHORS: Jose Felix Costa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: On the Power of Threshold Measurements as Oracles
AUTHORS: Beggs, E; Costa, JF ; Pocas, D; Tucker, JV;
PUBLISHED: 2013, SOURCE: 12th International Conference on Unconventional Computation and Natural Computation (UCNC) in UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, VOLUME: 7956
INDEXED IN: Scopus WOS
IN MY: ORCID
17
TITLE: Oracles that measure thresholds: the Turing machine and the broken balance
AUTHORS: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: Processes with infinite liveness requirements  Full Text
AUTHORS: Helia Guerra; Jose Felix Costa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: The ARNN model relativises P = NP and P not equal NP  Full Text
AUTHORS: Costa, JF ; Leong, R;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 499
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: Axiomatizing physical experiments as oracles to algorithms
AUTHORS: Edwin J Beggs; Jose Felix Costa ; John V Tucker;
PUBLISHED: 2012, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 370, ISSUE: 1971
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 2 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service