José Félix Costa
José Félix Costa
Professor Associado de Matemática, Instituto Superior Técnico
Verified email at math.tecnico.ulisboa.pt - Homepage
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
1512003
Object specification logic
A Sernadas, C Sernadas, JFE COSTA
Journal of Logic and Computation 5 (5), 603-630, 1995
1471995
An analog characterization of the Grzegorczyk hierarchy
ML Campagnolo, C Moore, JF Costa
Journal of Complexity 18 (4), 977-1000, 2002
782002
Real recursive functions and their hierarchy
J Mycka, JF Costa
Journal of Complexity 20 (6), 835-857, 2004
732004
Iteration, inequalities, and differentiability in analog computers
ML Campagnolo, C Moore, JF Costa
Journal of complexity 16 (4), 642-660, 2000
662000
Unconventional computation
CS Calude, MJ Dinneen, MJP Jimene, G Paun, G Rozenberg
Springer Berlin/Heidelberg., 2009
562009
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
522008
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
461996
OBL-89 User's Manual, version 2.3
JF Costa, A Sernadas, C Sernadas
Instituto Superior T ecnico, Lisbon, 1989
431989
From processes to objects
A Sernadas, HD Ehrich, JF Costa
The INESC Journal of Research and Development 1 (1), 7-27, 1990
341990
An institution of object behaviour
A Sernadas, JF Costa, C Sernadas
Recent trends in data type specification, 337-350, 1992
331992
Process semantics of temporal logic specification
JL Fiadeiro, JF Costa, A Sernadas, TSE Maibaum
Recent Trends in Data Type Specification, 236-253, 1991
331991
Object inheritance beyond subtyping
JF Costa, A Sernadas, C Sernadas
Acta Informatica 31 (1), 5-26, 1994
321994
Limits to measurement in experiments governed by algorithms
EJ Beggs, JF Costa, JV Tucker
Mathematical Structures in Computer Science 20 (6), 1019-1050, 2010
312010
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
301998
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
292009
The P≠ NP conjecture in the context of real and complex analysis
J Mycka, JF Costa
Journal of Complexity 22 (2), 287-303, 2006
282006
Compositional reification of concurrent systems
PB Menezes, JF Costa
Journal of the Brazilian Computer Society 2 (1), 50-67, 1995
281995
Object interaction
JF Costa, A Sernadas, C Sernadas, HD Ehrich
International Symposium on Mathematical Foundations of Computer Science, 200-208, 1992
271992
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, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–20