Search the dblp DataBase

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]