José Félix Costa

Cited by

	All	Since 2019
Citations	1955	319
h-index	25	8
i10-index	55	2

120

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 20 33 60 27 34 52 30 27 29 48 20 44 61 113 112 76 97 79 53 82 78 74 51 56 105 65 32 37 60 107 36 47

Public access

View all

8 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Edwin BeggsCollege of Science, Swansea UniversityVerified email at swansea.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Bruno LoffLASIGE, Faculdade de Ciências da Universidade de LisboaVerified email at fc.up.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Cristian S. CaludeProfessor of Computer Science, The University of AucklandVerified email at cs.auckland.ac.nz
Manuel Lameiras CampagnoloISA, ULisboaVerified email at campus.ul.pt
João Pedro NetoLASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at fc.ul.pt
Hava SiegelmannProfessor of Computer Science, and Brain Sciences, UMass AmherstVerified email at cs.umass.edu
Diogo PoçasLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
Cristopher MooreSanta Fe InstituteVerified email at santafe.edu
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
Daniel S. GraçaUniversidade do AlgarveVerified email at ualg.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Helia GuerraProfessor of Computer Science, University of the AzoresVerified email at uac.pt
Francisco CoelhoProfessor Auxiliar, Universidade de ÉvoraVerified email at uevora.pt
Elisabete FreireProfessora de Informática, Universidade dos AçoresVerified email at uac.pt
Luis Mendes GomesProfessor de Informática, Universidade dos AçoresVerified email at uac.pt
Paulo CarreiraINESC-ID & Instituto Superior Técnico, Universidade Técnica de LisboaVerified email at tecnico.ulisboa.pt
Helder CoelhoFaculty of Sciences, University of LisbonVerified email at di.fc.ul.pt
Danilo MontesiProfessor of Computer Science, University of BolognaVerified email at unibo.it

José Félix Costa

Professor Catedrático de Matemática, Instituto Superior Técnico

Verified email at math.tecnico.ulisboa.pt - Homepage

Computability Complexity Learning Theory Philosophy of Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Analog computers and recursive functions over the reals DS Graça, JF Costa Journal of Complexity 19 (5), 644-664, 2003	168	2003
Object specification logic A Sernadas, C Sernadas, JFE COSTA Journal of Logic and Computation 5 (5), 603-630, 1995	148	1995
An analog characterization of the Grzegorczyk hierarchy ML Campagnolo, C Moore, JF Costa Journal of Complexity 18 (4), 977-1000, 2002	82	2002
Real recursive functions and their hierarchy J Mycka, JF Costa Journal of Complexity 20 (6), 835-857, 2004	74	2004
Iteration, inequalities, and differentiability in analog computers ML Campagnolo, C Moore, JF Costa Journal of complexity 16 (4), 642-660, 2000	72	2000
Unconventional computation CS Calude, MJ Dinneen, G Paun, G Rozenberg, S Stepney Springer Berlin/Heidelberg., 2009	58*	2009
Computational complexity with experiments as oracles E Beggs, JF Costa, B Loff, JV Tucker Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2008	56	2008
Mirror, mirror in my hand: A duality between specifications and models of process behaviour JL Fiadeiro, JF Costa Mathematical Structures in Computer Science 6 (4), 353-373, 1996	48	1996
OBL-89 Users Manual (Version 2.3) JF Costa, A Sernadas, C Sernadas Instituto Superior T ecnico, Lisbon, 1989	43	1989
Limits to measurement in experiments governed by algorithms EJ Beggs, JF Costa, JV Tucker Mathematical Structures in Computer Science 20 (6), 1019-1050, 2010	38	2010
Computational complexity with experiments as oracles. II. Upper bounds E Beggs, JF Costa, B Loff, JV Tucker Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2009	36	2009
From processes to objects A Sernadas, HD Ehrich, JF Costa The INESC Journal of Research and Development 1 (1), 7-27, 1990	36	1990
The impact of models of a physical oracle on computational power EJ Beggs, JF Costa, JV Tucker Mathematical Structures in Computer Science 22 (5), 853-879, 2012	33	2012
Nonsequential automata semantics for a concurrent, object-based language PB Menezes, A Sernadas, JF Costa Electronic notes in theoretical computer science 14, 245-273, 1998	32	1998
Object inheritance beyond subtyping JF Costa, A Sernadas, C Sernadas Acta Informatica 31, 5-26, 1994	32	1994
The P≠ NP conjecture in the context of real and complex analysis J Mycka, JF Costa Journal of Complexity 22 (2), 287-303, 2006	31	2006
Process semantics of temporal logic specification JL Fiadeiro, JF Costa, A Sernadas, TSE Maibaum Workshop on the Specification of Abstract Data Types, 236-253, 1991	31	1991
Physical oracles: The Turing machine and the Wheatstone bridge EJ Beggs, JF Costa, JV Tucker Studia Logica 95, 279-300, 2010	30	2010
An institution of object behaviour A Sernadas, JF Costa, C Sernadas Workshop on the Specification of Abstract Data Types, 337-350, 1992	30	1992
The hepatoprotective principle of Hypoestes triflora leaves L Van Puyvelde, A Kayonga, P Brioen, J Costa, A Ndimubakunzi, ... Journal of ethnopharmacology 26 (2), 121-127, 1989	28	1989

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors