The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Félix Costa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. On the Complexity of Measurement in Classical Physics. [Citation Graph (, )][DBLP]


  33. Oracles and Advice as Measurements. [Citation Graph (, )][DBLP]


  34. A foundation for real recursive function theory. [Citation Graph (, )][DBLP]


  35. Limits to measurement in experiments governed by algorithms [Citation Graph (, )][DBLP]


Search in 0.049secs, Finished in 0.051secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002