Concepedia

José Félix Costa

JF

20

Publications

609

Citations

14

H-Index

1994

Active since

Affiliations

University of Lisbon(Current)

Swansea University

Instituto Politécnico de Lisboa

Fundação para a Ciência e Tecnologia

Institute of Mathematics

José Félix Costa is an author at University of Lisbon specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityComputer EngineeringComplexityMeasurementVerification

Publications per year

1994–2014

20

Publications

20

Analog computers and recursive functions over the reals

Daniel S. Graça, José Félix Costa · Journal of Complexity · 2003 · 111 citations

Engineering, Recursive Functions, Computational Model Theory +4

Object Specification Logic

Amı́lcar Sernadas, Cristina Sernadas, José Félix Costa · Journal of Logic and Computation · 1995 · 59 citations

Engineering, Specialization Inheritance, Higher-order Logic +16

An Analog Characterization of the Grzegorczyk Hierarchy

Manuel L. Campagnolo, Cristopher Moore, José Félix Costa · Journal of Complexity · 2002 · 52 citations

Higher Category Theory, Analog Characterization, Chomsky Hierarchy +1

Iteration, Inequalities, and Differentiability in Analog Computers

Manuel L. Campagnolo, Cristopher Moore, José Félix Costa · Journal of Complexity · 2000 · 51 citations

Analog Design, Analog Computers, Computer Engineering +2

Computational complexity with experiments as oracles

Edwin Beggs, José Félix Costa, Bruno Loff et al. · Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences · 2008 · 44 citations

Theory Of Computing, Turing Machine, Abstract Machine +14

Rows per page

1–5 of 20