José Félix Costa

	2011
49		Cristian S. Calude, José Félix Costa: Editorial. IJUC 7(5): 313 (2011)
48		José Félix Costa, Nachum Dershowitz: Introduction. Natural Computing 10(4): 1215-1217 (2011)
	2010
47		José Félix Costa: Computable Scientists, Uncomputable World - (Abstract). UC 2010: 6-10
46		Edwin J. Beggs, José Félix Costa, John V. Tucker: Limits to measurement in experiments governed by algorithms. Mathematical Structures in Computer Science 20(6): 1019-1050 (2010)
45		Cristian S. Calude, José Félix Costa: Preface to the Special Issue Unconventional Computing 2008. Natural Computing 9(4): 793-794 (2010)
	2009
44		Cristian 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
43		José Félix Costa, Bruno Loff, Jerzy Mycka: A foundation for real recursive function theory. Ann. Pure Appl. Logic 160(3): 255-288 (2009)
42		Cristian S. Calude, José Félix Costa: Introduction. Applied Mathematics and Computation 215(4): 1309-1310 (2009)
41		Edwin J. Beggs, José Félix Costa, John V. Tucker: Physical Experiments as Oracles. Bulletin of the EATCS 97: 137-151 (2009)
40		Edwin J. Beggs, José Félix Costa, John V. Tucker: Limits to measurement in experiments governed by algorithms CoRR abs/0911.3836: (2009)
39		Bruno Loff, José Félix Costa: Five Views of Hypercomputation. IJUC 5(3-4): 193-207 (2009)
38		Hélia Guerra, José Félix Costa: Processes with local and global liveness requirements. J. Log. Algebr. Program. 78(3): 117-137 (2009)
37		Cristian S. Calude, José Félix Costa: Introduction. Natural Computing 8(3): 429-430 (2009)
	2008
36		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
35		Edwin J. Beggs, José Félix Costa, Bruno Loff, John Tucker: On the Complexity of Measurement in Classical Physics. TAMC 2008: 20-30
34		Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker: Oracles and Advice as Measurements. UC 2008: 33-50
33		Jerzy Mycka, José Félix Costa, Francisco Coelho: The Euclid Abstract Machine. IJUC 4(3): 223-248 (2008)
	2007
32		José Félix Costa, Bruno Loff, Jerzy Mycka: The New Promise of Analog Computation. CiE 2007: 189-195
31		José Pacheco, José Félix Costa: The Abstract Immune System Algorithm. UC 2007: 137-149
30		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		Jerzy Mycka, José Félix Costa: A new conceptual framework for analog computation. Theor. Comput. Sci. 374(1-3): 277-290 (2007)
	2006
28		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		Francisco A. Doria, José Félix Costa: Introduction to the special issue on hypercomputation. Applied Mathematics and Computation 178(1): 1-3 (2006)
26		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		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		Jerzy Mycka, José Félix Costa: The Computational Power of Continuous Dynamic Systems. MCU 2004: 164-175
22		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		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		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		Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann: Verifying Properties of Neural Networks. IWANN (1) 2001: 158-165
17		José Félix Costa, Hugo Lourenço: Canonical Institutions of Behaviour. WADT 2001: 71-84
	2000
16		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		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: 245-273 (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	[34] [35] [40] [41] [46]
3	Cristian S. Calude (Cristian Calude)	[36] [37] [42] [44] [45] [49]
4	Manuel Lameiras Campagnolo	[16] [19]
5	Francisco Coelho	[28] [33]
6	Helder Coelho	[13]
7	Nachum Dershowitz	[44] [48]
8	Francisco A. Doria	[27]
9	Hans-Dieter Ehrich	[2]
10	José Luiz Fiadeiro	[1] [7] [11]
11	Elisabete Freire	[44]
12	Rudolf Freund	[36]
13	Daniel Silva Graça	[20]
14	Hélia Guerra	[38]
15	Bruno Loff	[30] [32] [34] [35] [39] [43]
16	A. Lopes	[6]
17	Hugo Lourenço	[17]
18	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1]
19	Paulo Blauth Menezes	[10] [12] [15]
20	Danilo Montesi	[6]
21	Cristopher Moore	[16] [19]
22	Jerzy Mycka	[22] [23] [24] [25] [26] [28] [29] [30] [32] [33] [43]
23	João Pedro Guerreiro Neto	[13] [14] [21]
24	Marion Oswald	[36]
25	José Pacheco	[31]
26	Pedro Rodrigues	[18]
27	Grzegorz Rozenberg	[36] [44]
28	Amílcar Sernadas	[1] [2] [3] [4] [5] [8] [9] [10] [15]
29	Cristina Sernadas	[2] [3] [4] [5] [8]
30	Hava T. Siegelmann	[14] [18] [21]
31	J. V. Tucker (John V. Tucker)	[34] [40] [41] [46]
32	John Tucker	[35]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page