José Félix Costa 个人学术档案

引用次数

	总计	2019 年至今
引用	1935	310
h 指数	25	8
i10 指数	54	2

120

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 20 33 60 27 34 52 30 26 26 47 19 44 61 112 112 76 95 79 53 83 78 74 51 55 104 64 32 37 59 107 36 39

开放获取的出版物数量

查看全部

7 篇文章

5 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Edwin BeggsCollege of Science, Swansea University在 swansea.ac.uk 的电子邮件经过验证
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Bruno LoffLASIGE, Faculdade de Ciências da Universidade de Lisboa在 fc.up.pt 的电子邮件经过验证
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal在 tecnico.ulisboa.pt 的电子邮件经过验证
Cristian S. CaludeProfessor of Computer Science, The University of Auckland在 cs.auckland.ac.nz 的电子邮件经过验证
Manuel Lameiras CampagnoloISA, ULisboa在 campus.ul.pt 的电子邮件经过验证
João Pedro NetoLASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal在 fc.ul.pt 的电子邮件经过验证
Diogo PoçasLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa在 fc.ul.pt 的电子邮件经过验证
Cristopher MooreSanta Fe Institute在 santafe.edu 的电子邮件经过验证
Hava SiegelmannProfessor of Computer Science, and Brain Sciences, UMass Amherst在 cs.umass.edu 的电子邮件经过验证
José Luiz FiadeiroProfessor of Computer Science, University of Dundee在 dundee.ac.uk 的电子邮件经过验证
Daniel S. GraçaUniversidade do Algarve在 ualg.pt 的电子邮件经过验证
Hans-Dieter EhrichProfesoor emeritus of information systems在 tu-bs.de 的电子邮件经过验证
Helia GuerraProfessor of Computer Science, University of the Azores在 uac.pt 的电子邮件经过验证
Francisco CoelhoProfessor Auxiliar, Universidade de Évora在 uevora.pt 的电子邮件经过验证
Elisabete FreireProfessora de Informática, Universidade dos Açores在 uac.pt 的电子邮件经过验证
Luis Mendes GomesProfessor de Informática, Universidade dos Açores在 uac.pt 的电子邮件经过验证
Paulo CarreiraINESC-ID & Instituto Superior Técnico, Universidade Técnica de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Helder CoelhoFaculty of Sciences, University of Lisbon在 di.fc.ul.pt 的电子邮件经过验证
Danilo MontesiProfessor of Computer Science, University of Bologna在 unibo.it 的电子邮件经过验证

关注

José Félix Costa

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

在 math.tecnico.ulisboa.pt 的电子邮件经过验证 - 首页

Computability Complexity Learning Theory Philosophy of Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Analog computers and recursive functions over the reals DS Graça, JF Costa Journal of Complexity 19 (5), 644-664, 2003	165	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
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
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	31	1998
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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用