关注
José Félix Costa
José Félix Costa
Professor Catedrático de Matemática, Instituto Superior Técnico
在 math.tecnico.ulisboa.pt 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Analog computers and recursive functions over the reals
DS Graça, JF Costa
Journal of Complexity 19 (5), 644-664, 2003
1652003
Object specification logic
A Sernadas, C Sernadas, JFE COSTA
Journal of Logic and Computation 5 (5), 603-630, 1995
1481995
An analog characterization of the Grzegorczyk hierarchy
ML Campagnolo, C Moore, JF Costa
Journal of Complexity 18 (4), 977-1000, 2002
822002
Real recursive functions and their hierarchy
J Mycka, JF Costa
Journal of Complexity 20 (6), 835-857, 2004
742004
Iteration, inequalities, and differentiability in analog computers
ML Campagnolo, C Moore, JF Costa
Journal of complexity 16 (4), 642-660, 2000
722000
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
562008
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
481996
OBL-89 Users Manual (Version 2.3)
JF Costa, A Sernadas, C Sernadas
Instituto Superior T ecnico, Lisbon, 1989
431989
Limits to measurement in experiments governed by algorithms
EJ Beggs, JF Costa, JV Tucker
Mathematical Structures in Computer Science 20 (6), 1019-1050, 2010
382010
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
362009
From processes to objects
A Sernadas, HD Ehrich, JF Costa
The INESC Journal of Research and Development 1 (1), 7-27, 1990
361990
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
332012
Object inheritance beyond subtyping
JF Costa, A Sernadas, C Sernadas
Acta Informatica 31, 5-26, 1994
321994
The P≠ NP conjecture in the context of real and complex analysis
J Mycka, JF Costa
Journal of Complexity 22 (2), 287-303, 2006
312006
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
311998
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
311991
Physical oracles: The Turing machine and the Wheatstone bridge
EJ Beggs, JF Costa, JV Tucker
Studia Logica 95, 279-300, 2010
302010
An institution of object behaviour
A Sernadas, JF Costa, C Sernadas
Workshop on the Specification of Abstract Data Types, 337-350, 1992
301992
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
281989
系统目前无法执行此操作,请稍后再试。
文章 1–20