José Félix Costa

2008
35		Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings Springer 2008
34	EE	Edwin J. Beggs, José Félix Costa, Bruno Loff, John Tucker: On the Complexity of Measurement in Classical Physics. TAMC 2008: 20-30
33	EE	Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker: Oracles and Advice as Measurements. UC 2008: 33-50
2007
32	EE	José Félix Costa, Bruno Loff, Jerzy Mycka: The New Promise of Analog Computation. CiE 2007: 189-195
31	EE	José Pacheco, José Félix Costa: The Abstract Immune System Algorithm. UC 2007: 137-149
30	EE	Bruno Loff, José Félix Costa, Jerzy Mycka: Computability on reals, infinite limits and differential equations. Applied Mathematics and Computation 191(2): 353-371 (2007)
29	EE	Jerzy Mycka, José Félix Costa: A new conceptual framework for analog computation. Theor. Comput. Sci. 374(1-3): 277-290 (2007)
2006
28	EE	Jerzy Mycka, Francisco Coelho, José Félix Costa: The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC 2006: 195-206
27	EE	Francisco A. Doria, José Félix Costa: Introduction to the special issue on hypercomputation. Applied Mathematics and Computation 178(1): 1-3 (2006)
26	EE	Jerzy Mycka, José Félix Costa: The P ne NP conjecture in the context of real and complex analysis. J. Complexity 22(2): 287-303 (2006)
25	EE	Jerzy Mycka, José Félix Costa: Undecidability over Continuous Time. Logic Journal of the IGPL 14(5): 649-658 (2006)
2005
24		José Félix Costa, Jerzy Mycka: What Lies Beyond the Mountains? Bulletin of the EATCS 85: 179-189 (2005)
2004
23	EE	Jerzy Mycka, José Félix Costa: The Computational Power of Continuous Dynamic Systems. MCU 2004: 164-175
22	EE	Jerzy Mycka, José Félix Costa: Real recursive functions and their hierarchy. J. Complexity 20(6): 835-857 (2004)
2003
21		João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa: Symbolic Processing in Neural Networks. J. Braz. Comp. Soc. 8(3): 58- (2003)
20	EE	Daniel Silva Graça, José Félix Costa: Analog computers and recursive functions over the reals. J. Complexity 19(5): 644-664 (2003)
2002
19	EE	Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: An Analog Characterization of the Grzegorczyk Hierarchy. J. Complexity 18(4): 977-1000 (2002)
2001
18	EE	Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann: Verifying Properties of Neural Networks. IWANN (1) 2001: 158-165
17	EE	José Félix Costa, Hugo Lourenço: Canonical Institutions of Behaviour. WADT 2001: 71-84
2000
16	EE	Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: Iteration, Inequalities, and Differentiability in Analog Computers. J. Complexity 16(4): 642-660 (2000)
1998
15	EE	Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa: Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electr. Notes Theor. Comput. Sci. 14: (1998)
1997
14		João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo: Turing Universality of Neural Nets (Revisited). EUROCAST 1997: 361-366
13		João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho: Lower Bounds of Computational Power of a Synaptic Calculus. IWANN 1997: 340-348
1996
12		Paulo Blauth Menezes, José Félix Costa: Synchronization in Petri Nets. Fundam. Inform. 26(1): 11-22 (1996)
11		José Luiz Fiadeiro, José Félix Costa: Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Mathematical Structures in Computer Science 6(4): 353-373 (1996)
1995
10		Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas: Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116
9		José Félix Costa, Amílcar Sernadas: Progress Assumption in Concurrent Systems. Formal Asp. Comput. 7(1): 18-36 (1995)
8		Amílcar Sernadas, Cristina Sernadas, José Félix Costa: Object Specification Logic. J. Log. Comput. 5(5): 603-630 (1995)
1994
7		José Luiz Fiadeiro, José Félix Costa: Institutions for Behaviour Specification. COMPASS/ADT 1994: 273-289
6		A. Lopes, José Félix Costa, Danilo Montesi: Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 88-
5		José Félix Costa, Amílcar Sernadas, Cristina Sernadas: Object Inheritance Beyond Subtyping. Acta Inf. 31(1): 5-26 (1994)
1993
4		José Félix Costa, Amílcar Sernadas, Cristina Sernadas: Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391
1992
3		Amílcar Sernadas, José Félix Costa, Cristina Sernadas: An Institution of Object Behaviour. COMPASS/ADT 1992: 337-351
2		José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object Interaction. MFCS 1992: 200-208
1991
1		José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253

Coauthor Index

1	Carmen Paz Suárez Araujo	[14]
2	Edwin J. Beggs	[33] [34]
3	Cristian S. Calude (Cristian Calude)	[35]
4	Manuel Lameiras Campagnolo	[16] [19]
5	Francisco Coelho	[28]
6	Helder Coelho	[13]
7	Francisco A. Doria	[27]
8	Hans-Dieter Ehrich	[2]
9	José Luiz Fiadeiro	[1] [7] [11]
10	Rudolf Freund	[35]
11	Daniel Silva Graça	[20]
12	Bruno Loff	[30] [32] [33] [34]
13	A. Lopes	[6]
14	Hugo Lourenço	[17]
15	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1]
16	Paulo Blauth Menezes	[10] [12] [15]
17	Danilo Montesi	[6]
18	Cristopher Moore	[16] [19]
19	Jerzy Mycka	[22] [23] [24] [25] [26] [28] [29] [30] [32]
20	João Pedro Guerreiro Neto	[13] [14] [21]
21	Marion Oswald	[35]
22	José Pacheco	[31]
23	Pedro Rodrigues	[18]
24	Grzegorz Rozenberg	[35]
25	Amílcar Sernadas	[1] [2] [3] [4] [5] [8] [9] [10] [15]
26	Cristina Sernadas	[2] [3] [4] [5] [8]
27	Hava T. Siegelmann	[14] [18] [21]
28	J. V. Tucker (John V. Tucker)	[33]
29	John Tucker	[34]

Colors in the list of coauthors