José Félix Costa

Cited by

	All	Since 2018
Citations	1852	289
h-index	24	9
i10-index	52	6

120

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 17 17 27 59 32 32 51 29 23 29 44 19 42 71 112 118 83 98 85 53 81 79 74 51 54 97 65 30 36 57 97 4

Public access

View all

6 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 LoffUniversity of Porto and INESC-TecVerified 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
João Pedro NetoLASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at fc.ul.pt
Cristopher MooreSanta Fe InstituteVerified email at santafe.edu
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Hava SiegelmannProfessor of Computer Science, and Brain Sciences, UMass AmherstVerified email at cs.umass.edu
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
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
Danilo MontesiProfessor of Computer Science, University of BolognaVerified email at unibo.it

José Félix Costa

Professor Associado 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	148	1995
An analog characterization of the Grzegorczyk hierarchy ML Campagnolo, C Moore, JF Costa Journal of Complexity 18 (4), 977-1000, 2002	79	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	68	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	52	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	33	2010
An institution of object behaviour A Sernadas, JF Costa, C Sernadas Lecture Notes in Computer Science, 337-337, 1994	33	1994
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 Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 1993	32	1993
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	31	2009
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	30	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	30	2006
Symbolic processing in neural networks JP Neto, HT Siegelmann, JF Costa Journal of the Brazilian Computer Society 8, 58-70, 2003	28	2003
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