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

José Félix Costa Vis

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

*2009
36EECristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings Springer 2009
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
14EEJoã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
13EEJoã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
10EEPaulo 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
4EEJosé 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
2EEJosé 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] [36]
4Manuel Lameiras Campagnolo [16] [19]
5Francisco Coelho [28]
6Helder Coelho [13]
7Nachum Dershowitz [36]
8Francisco A. Doria [27]
9Hans-Dieter Ehrich [2]
10José Luiz Fiadeiro [1] [7] [11]
11Elisabete Freire [36]
12Rudolf Freund [35]
13Daniel Silva Graça [20]
14Bruno Loff [30] [32] [33] [34]
15A. Lopes [6]
16Hugo Lourenço [17]
17T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [1]
18Paulo Blauth Menezes [10] [12] [15]
19Danilo Montesi [6]
20Cristopher Moore [16] [19]
21Jerzy Mycka [22] [23] [24] [25] [26] [28] [29] [30] [32]
22João Pedro Guerreiro Neto [13] [14] [21]
23Marion Oswald [35]
24José Pacheco [31]
25Pedro Rodrigues [18]
26Grzegorz Rozenberg [35] [36]
27Amílcar Sernadas [1] [2] [3] [4] [5] [8] [9] [10] [15]
28Cristina Sernadas [2] [3] [4] [5] [8]
29Hava T. Siegelmann [14] [18] [21]
30J. V. Tucker (John V. Tucker) [33]
31John Tucker [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)