José Félix Costa

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 8

Top Topics

Scientific Discovery

Extended Abstract

Digital Pictures

Measurement Errors

Top Venues

Int. J. Unconv. Comput.

Int. J. Found. Comput. Sci.

Math. Struct. Comput. Sci.

Int. J. Parallel Emergent Distributed Syst.

Publications

Bruno Patrício, José Félix Costa, Paula Gouveia
-identification and scientific discovery. Int. J. Parallel Emergent Distributed Syst. 39 (4) (2024)
Eduardo Skapinakis, José Félix Costa
Machines that perform measurements. Theor. Comput. Sci. 924 (2022)
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) (2022)
José Félix Costa
On Discovering Scientific Laws. Int. J. Unconv. Comput. 14 (3-4) (2019)
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) (2018)
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) (2017)
José Félix Costa
The Power of Analogue-Digital Machines - (Extended Abstract). UCNC (2017)
José Félix Costa
Unity of Science as Seen Through the Universal Computer. Int. J. Unconv. Comput. 13 (1) (2017)
José Félix Costa
Uncertainty in Time. Parallel Process. Lett. 25 (1) (2015)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Three Forms of Physical Measurement and their Computability. Rev. Symb. Log. 7 (4) (2014)
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) (2014)
Edwin J. Beggs, José Félix Costa, John V. Tucker
A Natural Computation Model of Positive Relativisation. Int. J. Unconv. Comput. 10 (1-2) (2014)
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) (2013)
José Félix Costa, Raimundo Leong
The ARNN model relativises P=NP and P!=NP. Theor. Comput. Sci. 499 (2013)
Hélia Guerra, José Félix Costa
Processes with infinite liveness requirements. J. Log. Algebraic Methods Program. 82 (3-4) (2013)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
On the Power of Threshold Measurements as Oracles. UCNC (2013)
José Félix Costa
Incomputability at the foundations of physics (A study in the philosophy of science). J. Log. Comput. 23 (6) (2013)
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) (2012)
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) (2012)
Cristian S. Calude, José Félix Costa
Editorial. Int. J. Unconv. Comput. 7 (5) (2011)
José Félix Costa, Nachum Dershowitz
Introduction. Nat. Comput. 10 (4) (2011)
Cristian S. Calude, José Félix Costa
Preface to the Special Issue Unconventional Computing 2008. Nat. Comput. 9 (4) (2010)
José Félix Costa
Computable Scientists, Uncomputable World - (Abstract). UC (2010)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Physical Oracles: The Turing Machine and the Wheatstone Bridge. Stud Logica 95 (1-2) (2010)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. 20 (6) (2010)
Cristian S. Calude, José Félix Costa
Introduction. Nat. Comput. 8 (3) (2009)
Hélia Guerra, José Félix Costa
Processes with local and global liveness requirements. J. Log. Algebraic Methods Program. 78 (3) (2009)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Physical Experiments as Oracles. Bull. EATCS 97 (2009)
José Félix Costa, Bruno Loff, Jerzy Mycka
A foundation for real recursive function theory. Ann. Pure Appl. Log. 160 (3) (2009)
Cristian S. Calude, José Félix Costa
Introduction. Appl. Math. Comput. 215 (4) (2009)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Limits to measurement in experiments governed by algorithms CoRR (2009)
Bruno Loff, José Félix Costa
Five Views of Hypercomputation. Int. J. Unconv. Comput. 5 (3-4) (2009)
Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
On the Complexity of Measurement in Classical Physics. TAMC (2008)
Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
Oracles and Advice as Measurements. UC (2008)
Jerzy Mycka, José Félix Costa, Francisco Coelho
The Euclid Abstract Machine. Int. J. Unconv. Comput. 4 (3) (2008)
José Félix Costa, Bruno Loff, Jerzy Mycka
The New Promise of Analog Computation. CiE (2007)
Jerzy Mycka, José Félix Costa
A new conceptual framework for analog computation. Theor. Comput. Sci. 374 (1-3) (2007)
Bruno Loff, José Félix Costa, Jerzy Mycka
Computability on reals, infinite limits and differential equations. Appl. Math. Comput. 191 (2) (2007)
José Pacheco, José Félix Costa
The Abstract Immune System Algorithm. UC (2007)
Francisco A. Doria, José Félix Costa
Introduction to the special issue on hypercomputation. Appl. Math. Comput. 178 (1) (2006)
Jerzy Mycka, José Félix Costa
Undecidability over Continuous Time. Log. J. IGPL 14 (5) (2006)
Jerzy Mycka, Francisco Coelho, José Félix Costa
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC (2006)
Jerzy Mycka, José Félix Costa
conjecture in the context of real and complex analysis. J. Complex. 22 (2) (2006)
José Félix Costa, Jerzy Mycka
What Lies Beyond the Mountains? Bull. EATCS 85 (2005)
Jerzy Mycka, José Félix Costa
The Computational Power of Continuous Dynamic Systems. MCU (2004)
Jerzy Mycka, José Félix Costa
Real recursive functions and their hierarchy. J. Complex. 20 (6) (2004)
Daniel Silva Graça, José Félix Costa
Analog computers and recursive functions over the reals. J. Complex. 19 (5) (2003)
João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa
Symbolic Processing in Neural Networks. J. Braz. Comput. Soc. 8 (3) (2003)
Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa
An Analog Characterization of the Grzegorczyk Hierarchy. J. Complex. 18 (4) (2002)
José Félix Costa, Hugo Lourenço
Canonical Institutions of Behaviour. WADT (2001)
Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann
Verifying Properties of Neural Networks. IWANN (1) (2001)
Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa
Iteration, Inequalities, and Differentiability in Analog Computers. J. Complex. 16 (4) (2000)
Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electron. Notes Theor. Comput. Sci. 14 (1998)
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)
João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho
Lower Bounds of Computational Power of a Synaptic Calculus. IWANN (1997)
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) (1996)
Paulo Blauth Menezes, José Félix Costa
Synchronization in Petri Nets. Fundam. Informaticae 26 (1) (1996)
Amílcar Sernadas, Cristina Sernadas, José Félix Costa
Object Specification Logic. J. Log. Comput. 5 (5) (1995)
José Félix Costa, Amílcar Sernadas
Progress Assumption in Concurrent Systems. Formal Aspects Comput. 7 (1) (1995)
Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST (1995)
José Luiz Fiadeiro, José Félix Costa
Institutions for Behaviour Specification. COMPASS/ADT (1994)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Object Inheritance Beyond Subtyping. Acta Informatica 31 (1) (1994)
A. Lopes, José Félix Costa, Danilo Montesi
Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Data Encapsulation and Modularity: Three Views of Inheritance. MFCS (1993)
Amílcar Sernadas, José Félix Costa, Cristina Sernadas
An Institution of Object Behaviour. COMPASS/ADT (1992)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object Interaction. MFCS (1992)
José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
Process Semantics of Temporal Logic Specifications. COMPASS/ADT (1991)