José Félix Costa

Cited by

	All	Since 2018
Citations	1887	317
h-index	24	9
i10-index	52	8

120

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 22 20 34 63 27 34 52 31 25 26 48 19 45 56 111 115 82 98 78 54 82 86 74 50 55 97 64 29 38 58 94 34

Public access

View all

7 articles

4 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
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
Hava SiegelmannProfessor of Computer Science, and Brain Sciences, UMass AmherstVerified email at cs.umass.edu
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.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
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
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

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	161	2003
Object specification logic A Sernadas, C Sernadas, JFE COSTA Journal of Logic and Computation 5 (5), 603-630, 1995	149	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	75	2004
Iteration, inequalities, and differentiability in analog computers ML Campagnolo, C Moore, JF Costa Journal of complexity 16 (4), 642-660, 2000	71	2000
Unconventional computation CS Calude, MJ Dinneen, MJ Perez-Jimenez, G Paun, G Rozenberg Springer Berlin/Heidelberg., 2009	59*	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	53	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	47	1996
OBL-89 Users Manual (Version 2.3) JF Costa, A Sernadas, C Sernadas Instituto Superior T ecnico, Lisbon, 1989	44	1989
From processes to objects A Sernadas, HD Ehrich, JF Costa The INESC Journal of Research and Development 1 (1), 7-27, 1990	37	1990
Limits to measurement in experiments governed by algorithms EJ Beggs, JF Costa, JV Tucker Mathematical Structures in Computer Science 20 (6), 1019-1050, 2010	34	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	32	2009
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
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	32	1991
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	31	2012
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
An institution of object behaviour A Sernadas, JF Costa, C Sernadas Workshop on the Specification of Abstract Data Types, 337-350, 1992	31	1992
Physical oracles: The Turing machine and the Wheatstone bridge EJ Beggs, JF Costa, JV Tucker Studia Logica 95, 279-300, 2010	28	2010
Compositional reification of concurrent systems PB Menezes, JF Costa Journal of the Brazilian Computer Society 2 (1), 50-67, 1995	28	1995

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