default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé Félix Costa
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j45]Bruno Patrício, José Félix Costa, Paula Gouveia:
Ex -identification and scientific discovery. Int. J. Parallel Emergent Distributed Syst. 39(4): 413-445 (2024)- 2022
- [j44]Vasco Boavida De Brito, José Félix Costa, Diogo Poças
:
The Power of Machines That Control Experiments. Int. J. Found. Comput. Sci. 33(2): 91-118 (2022) - [j43]Eduardo Skapinakis, José Félix Costa:
Machines that perform measurements. Theor. Comput. Sci. 924: 68-93 (2022)
2010 – 2019
- 2019
- [j42]José Félix Costa:
On Discovering Scientific Laws. Int. J. Unconv. Comput. 14(3-4): 285-318 (2019) - 2018
- [j41]Edwin J. Beggs, Pedro Cortez, José Félix Costa, John V. Tucker:
Classifying the Computational Power of Stochastic Physical Oracles. Int. J. Unconv. Comput. 14(1): 59-90 (2018) - 2017
- [j40]José Félix Costa:
Unity of Science as Seen Through the Universal Computer. Int. J. Unconv. Comput. 13(1): 59-81 (2017) - [j39]Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker:
Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. 27(8): 1315-1363 (2017) - [c21]José Félix Costa:
The Power of Analogue-Digital Machines - (Extended Abstract). UCNC 2017: 3-7 - 2015
- [j38]José Félix Costa:
Uncertainty in Time. Parallel Process. Lett. 25(1): 1540007:1-1540007:13 (2015) - 2014
- [j37]Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker:
An analogue-Digital Church-Turing Thesis. Int. J. Found. Comput. Sci. 25(4): 373-390 (2014) - [j36]Edwin J. Beggs, José Félix Costa, John V. Tucker:
A Natural Computation Model of Positive Relativisation. Int. J. Unconv. Comput. 10(1-2): 111-141 (2014) - [j35]Edwin J. Beggs, José Félix Costa, John V. Tucker:
Three Forms of Physical Measurement and their Computability. Rev. Symb. Log. 7(4): 618-646 (2014) - 2013
- [j34]Hélia Guerra, José Félix Costa:
Processes with infinite liveness requirements. J. Log. Algebraic Methods Program. 82(3-4): 137-161 (2013) - [j33]Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker:
Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. 23(6): 1155-1181 (2013) - [j32]José Félix Costa:
Incomputability at the foundations of physics (A study in the philosophy of science). J. Log. Comput. 23(6): 1225-1248 (2013) - [j31]José Félix Costa, Raimundo Leong:
The ARNN model relativises P=NP and P!=NP. Theor. Comput. Sci. 499: 2-22 (2013) - [c20]Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker:
On the Power of Threshold Measurements as Oracles. UCNC 2013: 6-18 - 2012
- [j30]Cristian S. Calude, José Félix Costa, Hélia Guerra:
Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories". Appl. Math. Comput. 219(1): 1-2 (2012) - [j29]Edwin J. Beggs, José Félix Costa, John V. Tucker:
The impact of models of a physical oracle on computational power. Math. Struct. Comput. Sci. 22(5): 853-879 (2012) - [p1]Edwin J. Beggs, José Félix Costa:
Unifying Science Through Computation: Reflections on Computability and Physics. Special Sciences and the Unity of Science 2012: 53-80 - 2011
- [j28]Cristian S. Calude, José Félix Costa:
Editorial. Int. J. Unconv. Comput. 7(5): 313 (2011) - [j27]José Félix Costa, Nachum Dershowitz:
Introduction. Nat. Comput. 10(4): 1215-1217 (2011) - 2010
- [j26]Edwin J. Beggs, José Félix Costa, John V. Tucker:
Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. 20(6): 1019-1050 (2010) - [j25]Cristian S. Calude, José Félix Costa:
Preface to the Special Issue Unconventional Computing 2008. Nat. Comput. 9(4): 793-794 (2010) - [j24]Edwin J. Beggs, José Félix Costa, John V. Tucker:
Physical Oracles: The Turing Machine and the Wheatstone Bridge. Stud Logica 95(1-2): 279-300 (2010) - [c19]José Félix Costa:
Computable Scientists, Uncomputable World - (Abstract). UC 2010: 6-10
2000 – 2009
- 2009
- [j23]Cristian S. Calude, José Félix Costa:
Introduction. Appl. Math. Comput. 215(4): 1309-1310 (2009) - [j22]José Félix Costa, Bruno Loff, Jerzy Mycka:
A foundation for real recursive function theory. Ann. Pure Appl. Log. 160(3): 255-288 (2009) - [j21]Edwin J. Beggs, José Félix Costa, John V. Tucker:
Physical Experiments as Oracles. Bull. EATCS 97: 137-151 (2009) - [j20]Bruno Loff, José Félix Costa:
Five Views of Hypercomputation. Int. J. Unconv. Comput. 5(3-4): 193-207 (2009) - [j19]Hélia Guerra, José Félix Costa:
Processes with local and global liveness requirements. J. Log. Algebraic Methods Program. 78(3): 117-137 (2009) - [j18]Cristian S. Calude, José Félix Costa:
Introduction. Nat. Comput. 8(3): 429-430 (2009) - [e2]Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg:
Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings. Lecture Notes in Computer Science 5715, Springer 2009, ISBN 978-3-642-03744-3 [contents] - [i1]Edwin J. Beggs, José Félix Costa, John V. Tucker:
Limits to measurement in experiments governed by algorithms. CoRR abs/0911.3836 (2009) - 2008
- [j17]Jerzy Mycka, José Félix Costa, Francisco Coelho:
The Euclid Abstract Machine. Int. J. Unconv. Comput. 4(3): 223-248 (2008) - [c18]Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker:
On the Complexity of Measurement in Classical Physics. TAMC 2008: 20-30 - [c17]Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker:
Oracles and Advice as Measurements. UC 2008: 33-50 - [e1]Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg:
Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings. Lecture Notes in Computer Science 5204, Springer 2008, ISBN 978-3-540-85193-6 [contents] - 2007
- [j16]Bruno Loff, José Félix Costa, Jerzy Mycka:
Computability on reals, infinite limits and differential equations. Appl. Math. Comput. 191(2): 353-371 (2007) - [j15]Jerzy Mycka, José Félix Costa:
A new conceptual framework for analog computation. Theor. Comput. Sci. 374(1-3): 277-290 (2007) - [c16]José Félix Costa, Bruno Loff, Jerzy Mycka:
The New Promise of Analog Computation. CiE 2007: 189-195 - [c15]José Pacheco, José Félix Costa:
The Abstract Immune System Algorithm. UC 2007: 137-149 - 2006
- [j14]Francisco A. Doria, José Félix Costa:
Introduction to the special issue on hypercomputation. Appl. Math. Comput. 178(1): 1-3 (2006) - [j13]Jerzy Mycka, José Félix Costa:
Undecidability over Continuous Time. Log. J. IGPL 14(5): 649-658 (2006) - [j12]Jerzy Mycka, José Félix Costa:
The P ne NP conjecture in the context of real and complex analysis. J. Complex. 22(2): 287-303 (2006) - [c14]Jerzy Mycka, Francisco Coelho, José Félix Costa:
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC 2006: 195-206 - 2005
- [j11]José Félix Costa, Jerzy Mycka:
What Lies Beyond the Mountains? Bull. EATCS 85: 179-189 (2005) - 2004
- [j10]Jerzy Mycka, José Félix Costa:
Real recursive functions and their hierarchy. J. Complex. 20(6): 835-857 (2004) - [c13]Jerzy Mycka, José Félix Costa:
The Computational Power of Continuous Dynamic Systems. MCU 2004: 164-175 - 2003
- [j9]João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa:
Symbolic Processing in Neural Networks. J. Braz. Comput. Soc. 8(3): 58- (2003) - [j8]Daniel Silva Graça, José Félix Costa:
Analog computers and recursive functions over the reals. J. Complex. 19(5): 644-664 (2003) - 2002
- [j7]Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa:
An Analog Characterization of the Grzegorczyk Hierarchy. J. Complex. 18(4): 977-1000 (2002) - 2001
- [c12]Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann:
Verifying Properties of Neural Networks. IWANN (1) 2001: 158-165 - [c11]José Félix Costa, Hugo Lourenço:
Canonical Institutions of Behaviour. WADT 2001: 71-84 - 2000
- [j6]Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa:
Iteration, Inequalities, and Differentiability in Analog Computers. J. Complex. 16(4): 642-660 (2000)
1990 – 1999
- 1997
- [c10]João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo:
Turing Universality of Neural Nets (Revisited). EUROCAST 1997: 361-366 - [c9]João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho:
Lower Bounds of Computational Power of a Synaptic Calculus. IWANN 1997: 340-348 - [c8]Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 245-273 - 1996
- [j5]Paulo Blauth Menezes, José Félix Costa:
Synchronization in Petri Nets. Fundam. Informaticae 26(1): 11-22 (1996) - [j4]José Luiz Fiadeiro, José Félix Costa:
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Math. Struct. Comput. Sci. 6(4): 353-373 (1996) - 1995
- [j3]José Félix Costa, Amílcar Sernadas:
Progress Assumption in Concurrent Systems. Formal Aspects Comput. 7(1): 18-36 (1995) - [j2]Amílcar Sernadas, Cristina Sernadas, José Félix Costa:
Object Specification Logic. J. Log. Comput. 5(5): 603-630 (1995) - [c7]Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116 - 1994
- [j1]José Félix Costa, Amílcar Sernadas, Cristina Sernadas:
Object Inheritance Beyond Subtyping. Acta Informatica 31(1): 5-26 (1994) - [c6]José Luiz Fiadeiro, José Félix Costa:
Institutions for Behaviour Specification. COMPASS/ADT 1994: 273-289 - [c5]A. Lopes, José Félix Costa, Danilo Montesi:
Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 88- - 1993
- [c4]José Félix Costa, Amílcar Sernadas, Cristina Sernadas:
Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391 - 1992
- [c3]Amílcar Sernadas, José Félix Costa, Cristina Sernadas:
An Institution of Object Behaviour. COMPASS/ADT 1992: 337-351 - [c2]José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich:
Object Interaction. MFCS 1992: 200-208 - 1991
- [c1]José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-15 23:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
