- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Paulo Salem da Silva, Ana Cristina Vieira de Melo: Model Checking Merged Program Traces. Electr. Notes Theor. Comput. Sci. 240: 97-112 (2009) |
| 2008 | ||
| 3 | | Paulo Salem da Silva, Ana Cristina Vieira de Melo: Reusing models in multi-agent simulation with software components. AAMAS (2) 2008: 1137-1144 |
| 2007 | ||
| 2 | | Paulo Salem da Silva, Ana Cristina Vieira de Melo: A Simulation-Oriented Formalization for a Psychological Theory. FASE 2007: 42-56 |
| 2005 | ||
| 1 | | Paulo 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 |
| 1 | Ana Cristina Vieira de Melo | [1] [2] [3] [4] |