The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ana Cristina Vieira de Melo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ana Cristina Vieira de Melo, Howard Barringer
    A foundation for formal reuse of hardware. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:124-145 [Conf]
  2. Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
    Intelligent mobile multi-robotic systems: some challenges and possible solutions. [Citation Graph (0, 0)][DBLP]
    ICINCO, 2005, pp:479-485 [Conf]
  3. David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo
    A Lightweight Capability Communication Mechanism. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2000, pp:660-670 [Conf]
  4. Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson
    Why Ontologies Are Not Enough for Knowledge Sharing. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1999, pp:520-529 [Conf]
  5. Paulo Salem da Silva, Ana Cristina Vieira de Melo
    An Ontology for Mobile Agents in the Context of Formal Verification. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1500-1516 [Conf]
  6. Ana Cristina Vieira de Melo, Bruno M. Moutinho
    On the Composition of Java Frameworks Control-flows. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1099-1103 [Conf]
  7. Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
    A Strategy for the Formal Composition of Frameworks. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:404-413 [Conf]
  8. Ana Cristina Vieira de Melo, Adilson de J. Sanchez
    Bayesian Networks in Software Maintenance Management. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2005, pp:394-398 [Conf]
  9. Ana Cristina Vieira de Melo
    A Study On The Potential Active Names of pi-Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:269-286 [Journal]
  10. Ana Cristina Vieira de Melo
    From Active Names to pi-calculus Rewriting Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:169-185 [Journal]
  11. Ana Cristina Vieira de Melo, Bruno M. Moutinho
    On the composition of Java frameworks control-flows. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:5, pp:301-307 [Journal]
  12. Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell
    On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2002, v:15, n:3, pp:147-167 [Journal]
  13. Paulo Salem da Silva, Ana Cristina Vieira de Melo
    A Simulation-Oriented Formalization for a Psychological Theory. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:42-56 [Conf]

  14. Reusing models in multi-agent simulation with software components. [Citation Graph (, )][DBLP]


  15. Exploring XML Perturbation Techniques for Web Services Testing. [Citation Graph (, )][DBLP]


  16. OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. [Citation Graph (, )][DBLP]


  17. Towards verification and testing of Java programs. [Citation Graph (, )][DBLP]


  18. A formal architectural model for exception handling coordination. [Citation Graph (, )][DBLP]


  19. Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. [Citation Graph (, )][DBLP]


  20. Model Checking Merged Program Traces. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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