Costa, José Félix

Available identifiers

zbMath Open costa.jose-felixWikidataQ57309802 ScholiaQ57309802MaRDI QIDQ162056

List of research outcomes

Publication	Date of Publication	Type
Labyrinth: From Literature to Algorithms	2023-09-01	Paper
The Power of Machines That Control Experiments	2023-08-15	Paper
Object interaction	2022-08-18	Paper
Machines that perform measurements	2022-06-13	Paper
A Hierarchy for $$ BPP //\log \!\star $$ B P P / / log ⋆ Based on Counting Calls to an Oracle	2018-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4600392	2018-01-09	Paper
Uncertainty in Time	2017-12-15	Paper
Computations with oracles that measure vanishing quantities	2017-11-22	Paper
The power of analogue-digital machines (extended abstract)	2017-08-31	Paper
Axiomatizing physical experiments as oracles to algorithms	2015-08-21	Paper
THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY	2015-03-02	Paper
AN ANALOGUE-DIGITAL CHURCH-TURING THESIS	2014-11-14	Paper
Oracles that measure thresholds: the Turing machine and the broken balance	2014-04-01	Paper
Incomputability at the foundations of physics (A study in the philosophy of science)	2014-04-01	Paper
The ARNN model relativises \(\mathrm{P}=\mathrm{NP}\) and \(\mathrm{P}\neq \mathrm{NP}\)	2014-01-10	Paper
Processes with infinite liveness requirements	2013-12-06	Paper
On the Power of Threshold Measurements as Oracles	2013-06-28	Paper
The impact of models of a physical oracle on computational power	2012-10-23	Paper
Limits to measurement in experiments governed by algorithms	2010-12-14	Paper
Physical oracles: the Turing machine and the Wheatstone bridge	2010-12-01	Paper
Computability on reals, infinite limits and differential equations	2010-09-01	Paper
Computational complexity with experiments as oracles. II. Upper bounds	2010-05-19	Paper
A foundation for real recursive function theory	2009-10-26	Paper
A new conceptual framework for analog computation	2009-06-22	Paper
Processes with local and global liveness requirements	2009-03-20	Paper
The Abstract Immune System Algorithm	2009-02-17	Paper
Computational complexity with experiments as oracles	2009-01-23	Paper
Oracles and Advice as Measurements	2008-12-02	Paper
On the Complexity of Measurement in Classical Physics	2008-05-27	Paper
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem	2007-11-29	Paper
The New Promise of Analog Computation	2007-11-13	Paper
Undecidability over Continuous Time	2007-02-15	Paper
The P\(\neq\) NP conjecture in the context of real and complex analysis	2006-05-16	Paper
Machines, Computations, and Universality	2005-12-08	Paper
Real recursive functions and their hierarchy	2005-02-09	Paper
Analog computers and recursive functions over the reals.	2004-03-14	Paper
An analog characterization of the Grzegorczyk hierarchy	2003-05-14	Paper
Iteration, inequalities, and differentiability in analog computers	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4942098	2000-03-30	Paper
Mirror, mirror in my hand: a duality between specifications and models of process behaviour	1996-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4874646	1996-04-28	Paper
Object Specification Logic	1995-10-04	Paper
Progress assumption in concurrent systems	1995-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4314310	1994-11-21	Paper
Object inheritance beyond subtyping	1994-07-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Costa, José Félix