dblp.uni-trier.dewww.uni-trier.de

José Félix Costa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
34EEEdwin J. Beggs, José Félix Costa, Bruno Loff, John Tucker: On the Complexity of Measurement in Classical Physics. TAMC 2008: 20-30
33EEEdwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker: Oracles and Advice as Measurements. UC 2008: 33-50
2007
32EEJosé Félix Costa, Bruno Loff, Jerzy Mycka: The New Promise of Analog Computation. CiE 2007: 189-195
31EEJosé Pacheco, José Félix Costa: The Abstract Immune System Algorithm. UC 2007: 137-149
30EEBruno Loff, José Félix Costa, Jerzy Mycka: Computability on reals, infinite limits and differential equations. Applied Mathematics and Computation 191(2): 353-371 (2007)
29EEJerzy Mycka, José Félix Costa: A new conceptual framework for analog computation. Theor. Comput. Sci. 374(1-3): 277-290 (2007)
2006
28EEJerzy Mycka, Francisco Coelho, José Félix Costa: The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC 2006: 195-206
27EEFrancisco A. Doria, José Félix Costa: Introduction to the special issue on hypercomputation. Applied Mathematics and Computation 178(1): 1-3 (2006)
26EEJerzy 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)
25EEJerzy 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
23EEJerzy Mycka, José Félix Costa: The Computational Power of Continuous Dynamic Systems. MCU 2004: 164-175
22EEJerzy 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)
20EEDaniel Silva Graça, José Félix Costa: Analog computers and recursive functions over the reals. J. Complexity 19(5): 644-664 (2003)
2002
19EEManuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: An Analog Characterization of the Grzegorczyk Hierarchy. J. Complexity 18(4): 977-1000 (2002)
2001
18EEPedro Rodrigues, José Félix Costa, Hava T. Siegelmann: Verifying Properties of Neural Networks. IWANN (1) 2001: 158-165
17EEJosé Félix Costa, Hugo Lourenço: Canonical Institutions of Behaviour. WADT 2001: 71-84
2000
16EEManuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: Iteration, Inequalities, and Differentiability in Analog Computers. J. Complexity 16(4): 642-660 (2000)
1998
15EEPaulo 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)