José Félix Costa
According to our database1, José Félix Costa
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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