Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
José Félix Costa
2010 – today
- 2013
[j31]Hélia Guerra, José Félix Costa: Processes with infinite liveness requirements. J. Log. Algebr. Program. 82(3-4): 137-161 (2013)- [c19]Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker: On the Power of Threshold Measurements as Oracles. UCNC 2013: 6-18
- 2012
- [j30]Cristian S. Calude, José Félix Costa, Hélia Guerra: Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories". Applied Mathematics and Computation 219(1): 1-2 (2012)
- [j29]Edwin J. Beggs, José Félix Costa, John V. Tucker: The impact of models of a physical oracle on computational power. Mathematical Structures in Computer Science 22(5): 853-879 (2012)
- [p1]Edwin J. Beggs, José Félix Costa: Unifying Science Through Computation: Reflections on Computability and Physics. Special Sciences and the Unity of Science 2012: 53-80
- 2011
- [j28]
- [j27]
- 2010
- [j26]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)
- [j25]Cristian S. Calude, José Félix Costa: Preface to the Special Issue Unconventional Computing 2008. Natural Computing 9(4): 793-794 (2010)
- [c18]
2000 – 2009
- 2009
- [j24]Cristian S. Calude, José Félix Costa: Introduction. Applied Mathematics and Computation 215(4): 1309-1310 (2009)
- [j23]José Félix Costa, Bruno Loff, Jerzy Mycka: A foundation for real recursive function theory. Ann. Pure Appl. Logic 160(3): 255-288 (2009)
- [j22]Edwin J. Beggs, José Félix Costa, John V. Tucker: Physical Experiments as Oracles. Bulletin of the EATCS 97: 137-151 (2009)
- [j21]
- [j20]Hélia Guerra, José Félix Costa: Processes with local and global liveness requirements. J. Log. Algebr. Program. 78(3): 117-137 (2009)
- [j19]
- [e2]Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (Eds.): Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings. Lecture Notes in Computer Science 5715, Springer 2009, ISBN 978-3-642-03744-3
- [i1]Edwin J. Beggs, José Félix Costa, John V. Tucker: Limits to measurement in experiments governed by algorithms. CoRR abs/0911.3836 (2009)
- 2008
- [j18]Jerzy Mycka, José Félix Costa, Francisco Coelho: The Euclid Abstract Machine. IJUC 4(3): 223-248 (2008)
- [c17]Edwin J. Beggs, José Félix Costa, Bruno Loff, John Tucker: On the Complexity of Measurement in Classical Physics. TAMC 2008: 20-30
- [c16]Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker: Oracles and Advice as Measurements. UC 2008: 33-50
- [e1]Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg (Eds.): Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings. Lecture Notes in Computer Science 5204, Springer 2008, ISBN 978-3-540-85193-6
- 2007
- [j17]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)
- [j16]Jerzy Mycka, José Félix Costa: A new conceptual framework for analog computation. Theor. Comput. Sci. 374(1-3): 277-290 (2007)
- [c15]
- [c14]
- 2006
- [j15]Francisco A. Doria, José Félix Costa: Introduction to the special issue on hypercomputation. Applied Mathematics and Computation 178(1): 1-3 (2006)
- [j14]Jerzy Mycka, José Félix Costa: Undecidability over Continuous Time. Logic Journal of the IGPL 14(5): 649-658 (2006)
- [j13]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)
- [c13]Jerzy Mycka, Francisco Coelho, José Félix Costa: The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC 2006: 195-206
- 2005
- [j12]José Félix Costa, Jerzy Mycka: What Lies Beyond the Mountains? Bulletin of the EATCS 85: 179-189 (2005)
- 2004
- [j11]Jerzy Mycka, José Félix Costa: Real recursive functions and their hierarchy. J. Complexity 20(6): 835-857 (2004)
- [c12]Jerzy Mycka, José Félix Costa: The Computational Power of Continuous Dynamic Systems. MCU 2004: 164-175
- 2003
- [j10]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)
- [j9]Daniel Silva Graça, José Félix Costa: Analog computers and recursive functions over the reals. J. Complexity 19(5): 644-664 (2003)
- 2002
- [j8]Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: An Analog Characterization of the Grzegorczyk Hierarchy. J. Complexity 18(4): 977-1000 (2002)
- 2001
- [c11]Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann: Verifying Properties of Neural Networks. IWANN (1) 2001: 158-165
- [c10]
- 2000
- [j7]Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa: Iteration, Inequalities, and Differentiability in Analog Computers. J. Complexity 16(4): 642-660 (2000)
1990 – 1999
- 1998
- [j6]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
- [c9]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
- [c8]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
- [j5]Paulo Blauth Menezes, José Félix Costa: Synchronization in Petri Nets. Fundam. Inform. 26(1): 11-22 (1996)
- [j4]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
- [j3]José Félix Costa, Amílcar Sernadas: Progress Assumption in Concurrent Systems. Formal Asp. Comput. 7(1): 18-36 (1995)
- [j2]Amílcar Sernadas, Cristina Sernadas, José Félix Costa: Object Specification Logic. J. Log. Comput. 5(5): 603-630 (1995)
- [c7]Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas: Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116
- 1994
- [j1]José Félix Costa, Amílcar Sernadas, Cristina Sernadas: Object Inheritance Beyond Subtyping. Acta Inf. 31(1): 5-26 (1994)
- [c6]José Luiz Fiadeiro, José Félix Costa: Institutions for Behaviour Specification. COMPASS/ADT 1994: 273-289
- [c5]A. Lopes, José Félix Costa, Danilo Montesi: Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 88-
- 1993
- [c4]José Félix Costa, Amílcar Sernadas, Cristina Sernadas: Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391
- 1992
- [c3]Amílcar Sernadas, José Félix Costa, Cristina Sernadas: An Institution of Object Behaviour. COMPASS/ADT 1992: 337-351
- [c2]José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object Interaction. MFCS 1992: 200-208
- 1991
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:29 CEST by the dblp team