José Félix Costa

According to our database1, José Félix Costa
  • authored at least 61 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Unity of Science as Seen Through the Universal Computer.
IJUC, 2017

The Power of Analogue-Digital Machines - (Extended Abstract).
Proceedings of the Unconventional Computation and Natural Computation, 2017

2015
Uncertainty in Time.
Parallel Processing Letters, 2015

2014
Three Forms of Physical Measurement and their Computability.
Rew. Symb. Logic, 2014

A Natural Computation Model of Positive Relativisation.
IJUC, 2014

An analogue-Digital Church-Turing Thesis.
Int. J. Found. Comput. Sci., 2014

2013
The ARNN model relativises P=NP and P!=NP.
Theor. Comput. Sci., 2013

Incomputability at the foundations of physics (A study in the philosophy of science).
J. Log. Comput., 2013

Oracles that measure thresholds: the Turing machine and the broken balance.
J. Log. Comput., 2013

Processes with infinite liveness requirements.
J. Log. Algebr. Program., 2013

On the Power of Threshold Measurements as Oracles.
Proceedings of the Unconventional Computation and Natural Computation, 2013

2012
Unifying Science Through Computation: Reflections on Computability and Physics.
Proceedings of the Special Sciences and the Unity of Science, 2012

The impact of models of a physical oracle on computational power.
Mathematical Structures in Computer Science, 2012

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

2011
Introduction.
Natural Computing, 2011

Editorial.
IJUC, 2011

2010
Preface to the Special Issue Unconventional Computing 2008.
Natural Computing, 2010

Limits to measurement in experiments governed by algorithms.
Mathematical Structures in Computer Science, 2010

Computable Scientists, Uncomputable World - (Abstract).
Proceedings of the Unconventional Computation - 9th International Conference, 2010

2009
Introduction.
Natural Computing, 2009

Processes with local and global liveness requirements.
J. Log. Algebr. Program., 2009

Five Views of Hypercomputation.
IJUC, 2009

Physical Experiments as Oracles.
Bulletin of the EATCS, 2009

Limits to measurement in experiments governed by algorithms
CoRR, 2009

A foundation for real recursive function theory.
Ann. Pure Appl. Logic, 2009

Introduction.
Applied Mathematics and Computation, 2009

2008
The Euclid Abstract Machine.
IJUC, 2008

Oracles and Advice as Measurements.
Proceedings of the Unconventional Computing, 7th International Conference, 2008

On the Complexity of Measurement in Classical Physics.
Proceedings of the Theory and Applications of Models of Computation, 2008

2007
A new conceptual framework for analog computation.
Theor. Comput. Sci., 2007

Computability on reals, infinite limits and differential equations.
Applied Mathematics and Computation, 2007

The Abstract Immune System Algorithm.
Proceedings of the Unconventional Computation, 6th International Conference, 2007

The New Promise of Analog Computation.
Proceedings of the Computation and Logic in the Real World, 2007

2006
The P ne NP conjecture in the context of real and complex analysis.
J. Complexity, 2006

Undecidability over Continuous Time.
Logic Journal of the IGPL, 2006

Introduction to the special issue on hypercomputation.
Applied Mathematics and Computation, 2006

The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.
Proceedings of the Unconventional Computation, 5th International Conference, 2006

2005
What Lies Beyond the Mountains?
Bulletin of the EATCS, 2005

2004
Real recursive functions and their hierarchy.
J. Complexity, 2004

The Computational Power of Continuous Dynamic Systems.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

2003
Analog computers and recursive functions over the reals.
J. Complexity, 2003

Symbolic Processing in Neural Networks.
J. Braz. Comp. Soc., 2003

2002
An Analog Characterization of the Grzegorczyk Hierarchy.
J. Complexity, 2002

2001
Canonical Institutions of Behaviour.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Verifying Properties of Neural Networks.
Proceedings of the Connectionist Models of Neurons, 2001

2000
Iteration, Inequalities, and Differentiability in Analog Computers.
J. Complexity, 2000

1998
Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Electr. Notes Theor. Comput. Sci., 1998

1997
Lower Bounds of Computational Power of a Synaptic Calculus.
Proceedings of the Biological and Artificial Computation: From Neuroscience to Technology, 1997

Turing Universality of Neural Nets (Revisited).
Proceedings of the Computer Aided Systems Theory, 1997

1996
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.
Mathematical Structures in Computer Science, 1996

Synchronization in Petri Nets.
Fundam. Inform., 1996

1995
Object Specification Logic.
J. Log. Comput., 1995

Progress Assumption in Concurrent Systems.
Formal Asp. Comput., 1995

Refinement Mapping for General (Discrete Event) Systems Theory.
Proceedings of the Computer Aided Systems Theory, 1995

1994
Object Inheritance Beyond Subtyping.
Acta Inf., 1994

Process Semantics for Resolution.
Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994

Institutions for Behaviour Specification.
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.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Object Interaction.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

An Institution of Object Behaviour.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Process Semantics of Temporal Logic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991


  Loading...