José Félix Costa

According to our database, José Félix Costa authored at least 65 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Machines that perform measurements.

Eduardo Skapinakis, José Félix Costa

Theor. Comput. Sci., 2022

The Power of Machines That Control Experiments.

Vasco Boavida De Brito, José Félix Costa, Diogo Poças

Int. J. Found. Comput. Sci., 2022

2019

On Discovering Scientific Laws.

José Félix Costa

Int. J. Unconv. Comput., 2019

2018

Classifying the Computational Power of Stochastic Physical Oracles.

Edwin J. Beggs, Pedro Cortez, José Félix Costa, John V. Tucker

Int. J. Unconv. Comput., 2018

2017

Computations with oracles that measure vanishing quantities.

Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker

Math. Struct. Comput. Sci., 2017

Unity of Science as Seen Through the Universal Computer.

José Félix Costa

Int. J. Unconv. Comput., 2017

The Power of Analogue-Digital Machines - (Extended Abstract).

José Félix Costa

Proceedings of the Unconventional Computation and Natural Computation, 2017

2015

Uncertainty in Time.

José Félix Costa

Parallel Process. Lett., 2015

2014

Three Forms of Physical Measurement and their Computability.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Rev. Symb. Log., 2014

A Natural Computation Model of Positive Relativisation.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Int. J. Unconv. Comput., 2014

An analogue-Digital Church-Turing Thesis.

Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker

Int. J. Found. Comput. Sci., 2014

2013

The ARNN model relativises P=NP and P!=NP.

José Félix Costa, Raimundo Leong

Theor. Comput. Sci., 2013

Incomputability at the foundations of physics (A study in the philosophy of science).

José Félix Costa

J. Log. Comput., 2013

Oracles that measure thresholds: the Turing machine and the broken balance.

Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker

J. Log. Comput., 2013

Processes with infinite liveness requirements.

Hélia Guerra, José Félix Costa

J. Log. Algebraic Methods Program., 2013

On the Power of Threshold Measurements as Oracles.

Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker

Proceedings of the Unconventional Computation and Natural Computation, 2013

2012

Unifying Science Through Computation: Reflections on Computability and Physics.

Edwin J. Beggs, José Félix Costa

Proceedings of the Special Sciences and the Unity of Science, 2012

The impact of models of a physical oracle on computational power.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Math. Struct. Comput. Sci., 2012

Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories".

Cristian S. Calude, José Félix Costa, Hélia Guerra

Appl. Math. Comput., 2012

2011

Introduction.

José Félix Costa, Nachum Dershowitz

Nat. Comput., 2011

Editorial.

Cristian S. Calude, José Félix Costa

Int. J. Unconv. Comput., 2011

2010

Physical Oracles: The Turing Machine and the Wheatstone Bridge.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Stud Logica, 2010

Preface to the Special Issue Unconventional Computing 2008.

Cristian S. Calude, José Félix Costa

Nat. Comput., 2010

Limits to measurement in experiments governed by algorithms.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Math. Struct. Comput. Sci., 2010

Computable Scientists, Uncomputable World - (Abstract).

José Félix Costa

Proceedings of the Unconventional Computation - 9th International Conference, 2010

2009

Processes with local and global liveness requirements.

Hélia Guerra, José Félix Costa

J. Log. Algebraic Methods Program., 2009

Five Views of Hypercomputation.

Bruno Loff, José Félix Costa

Int. J. Unconv. Comput., 2009

Physical Experiments as Oracles.

Edwin J. Beggs, José Félix Costa, John V. Tucker

Bull. EATCS, 2009

A foundation for real recursive function theory.

José Félix Costa, Bruno Loff, Jerzy Mycka

Ann. Pure Appl. Log., 2009

Introduction.

Cristian S. Calude, José Félix Costa

Appl. Math. Comput., 2009

2008

The Euclid Abstract Machine.

Jerzy Mycka, José Félix Costa, Francisco Coelho

Int. J. Unconv. Comput., 2008

Oracles and Advice as Measurements.

Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker

Proceedings of the Unconventional Computing, 7th International Conference, 2008

On the Complexity of Measurement in Classical Physics.

Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker

Proceedings of the Theory and Applications of Models of Computation, 2008

2007

A new conceptual framework for analog computation.

Jerzy Mycka, José Félix Costa

Theor. Comput. Sci., 2007

Computability on reals, infinite limits and differential equations.

Bruno Loff, José Félix Costa, Jerzy Mycka

Appl. Math. Comput., 2007

The Abstract Immune System Algorithm.

José Pacheco, José Félix Costa

Proceedings of the Unconventional Computation, 6th International Conference, 2007

The New Promise of Analog Computation.

José Félix Costa, Bruno Loff, Jerzy Mycka

Proceedings of the Computation and Logic in the Real World, 2007

2006

The <i>P</i> ne <i>NP</i> conjecture in the context of real and complex analysis.

Jerzy Mycka, José Félix Costa

J. Complex., 2006

Undecidability over Continuous Time.

Jerzy Mycka, José Félix Costa

Log. J. IGPL, 2006

Introduction to the special issue on hypercomputation.

Francisco A. Doria, José Félix Costa

Appl. Math. Comput., 2006

The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.

Jerzy Mycka, Francisco Coelho, José Félix Costa

Proceedings of the Unconventional Computation, 5th International Conference, 2006

2005

What Lies Beyond the Mountains?

José Félix Costa, Jerzy Mycka

Bull. EATCS, 2005

2004

Real recursive functions and their hierarchy.

Jerzy Mycka, José Félix Costa

J. Complex., 2004

The Computational Power of Continuous Dynamic Systems.

Jerzy Mycka, José Félix Costa

Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

2003

Analog computers and recursive functions over the reals.

Daniel Silva Graça, José Félix Costa

J. Complex., 2003

Symbolic Processing in Neural Networks.

João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa

J. Braz. Comput. Soc., 2003

2002

An Analog Characterization of the Grzegorczyk Hierarchy.

Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa

J. Complex., 2002

2001

Canonical Institutions of Behaviour.

José Félix Costa, Hugo Lourenço

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Verifying Properties of Neural Networks.

Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann

Proceedings of the Connectionist Models of Neurons, 2001

2000

Iteration, Inequalities, and Differentiability in Analog Computers.

Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa

J. Complex., 2000

1997

Nonsequential Automata Semantics for a Concurrent, Object-Based Language.

Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Lower Bounds of Computational Power of a Synaptic Calculus.

João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho

Proceedings of the Biological and Artificial Computation: From Neuroscience to Technology, 1997

Turing Universality of Neural Nets (Revisited).

João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo

Proceedings of the Computer Aided Systems Theory, 1997

1996

Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.

José Luiz Fiadeiro, José Félix Costa

Math. Struct. Comput. Sci., 1996

Synchronization in Petri Nets.

Paulo Blauth Menezes, José Félix Costa

Fundam. Informaticae, 1996

1995

Object Specification Logic.

Amílcar Sernadas, Cristina Sernadas, José Félix Costa

J. Log. Comput., 1995

Progress Assumption in Concurrent Systems.

José Félix Costa, Amílcar Sernadas

Formal Aspects Comput., 1995

Refinement Mapping for General (Discrete Event) Systems Theory.

Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas

Proceedings of the Computer Aided Systems Theory, 1995

1994

Object Inheritance Beyond Subtyping.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Acta Informatica, 1994

Process Semantics for Resolution.

A. Lopes, José Félix Costa, Danilo Montesi

Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994

Institutions for Behaviour Specification.

José Luiz Fiadeiro, José Félix Costa

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Data Encapsulation and Modularity: Three Views of Inheritance.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Object Interaction.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

An Institution of Object Behaviour.

Amílcar Sernadas, José Félix Costa, Cristina Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Process Semantics of Temporal Logic Specifications.

José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum

Proceedings of the Recent Trends in Data Type Specification, 1991