dblp.uni-trier.dewww.uni-trier.de

Ana Cristina Vieira de Melo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
18EEPaulo Salem da Silva, Ana Cristina Vieira de Melo: Reusing models in multi-agent simulation with software components. AAMAS (2) 2008: 1137-1144
17EEDavid P. Pereira, Ana Cristina Vieira de Melo: A formal architectural model for exception handling coordination. SAC 2008: 114-118
16EEAna Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier: Towards verification and testing of Java programs. SAC 2008: 730-734
15EEKleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo: Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM 2008: 181-190
14EEAna Cristina Vieira de Melo, Adilson de J. Sanchez: Software maintenance project delays prediction using Bayesian Networks. Expert Syst. Appl. 34(2): 908-919 (2008)
2007
13EEPaulo Salem da Silva, Ana Cristina Vieira de Melo: A Simulation-Oriented Formalization for a Psychological Theory. FASE 2007: 42-56
2005
12 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. ICINCO 2005: 479-485
11EEPaulo Salem da Silva, Ana Cristina Vieira de Melo: An Ontology for Mobile Agents in the Context of Formal Verification. OTM Conferences (2) 2005: 1500-1516
10EEWalter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo: A Strategy for the Formal Composition of Frameworks. SEFM 2005: 404-413
9EEAna Cristina Vieira de Melo, Adilson de J. Sanchez: Bayesian Networks in Software Maintenance Management. SOFSEM 2005: 394-398
8EEAna Cristina Vieira de Melo: From Active Names to pi-calculus Rewriting Rules. Electr. Notes Theor. Comput. Sci. 130: 169-185 (2005)
2004
7EEAna Cristina Vieira de Melo: A Study On The Potential Active Names of pi-Agents. Electr. Notes Theor. Comput. Sci. 95: 269-286 (2004)
6EEAna Cristina Vieira de Melo, Bruno M. Moutinho: On the composition of Java frameworks control-flows. Information & Software Technology 46(5): 301-307 (2004)
2003
5 Ana Cristina Vieira de Melo, Bruno M. Moutinho: On the Composition of Java Frameworks Control-flows. SAC 2003: 1099-1103
2002
4EEFlá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. Knowl.-Based Syst. 15(3): 147-167 (2002)
2000
3EEDavid Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo: A Lightweight Capability Communication Mechanism. IEA/AIE 2000: 660-670
1999
2 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. IEA/AIE 1999: 520-529
1995
1 Ana Cristina Vieira de Melo, Howard Barringer: A foundation for formal reuse of hardware. CHARME 1995: 124-145

Coauthor Index

1Jaume Agustí-Cullell [2] [4]
2Howard Barringer [1]
3Leliane Nunes de Barros [12]
4Virgínia V. B. Biris Brilhante [4]
5Marcelo Finger [4] [12]
6Simone Hanazumi [15]
7Walter Mesquita [10]
8Bruno M. Moutinho [5] [6]
9Paulo R. F. Nunes [16]
10David P. Pereira [17]
11David Stuart Robertson [2] [3] [4]
12Augusto Sampaio [10]
13Adilson de J. Sanchez [9] [14]
14Flávio S. Corrêa da Silva [2] [3] [4] [12]
15Paulo Salem da Silva [11] [13] [18]
16Wamberto Weber Vasconcelos [2] [3] [4]
17Renata Wassermann [12]
18Kleber S. Xavier [15] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)