Carla A. D. M. Delgado

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

4EEMario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini: Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA 2008: 134-144
3EEMario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008)
2EEMario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso: On Modalities for Vague Notions. SBIA 2004: 1-10
1 Carla A. D. M. Delgado, Mario R. F. Benevides: Reasoning about Events and Knowledge in Distributed Systems. IC-AI 2002: 1213-1219

Coauthor Index

1Mario R. F. Benevides [1] [2] [3] [4]
2Michel Carlini [4]
3Renata P. de Freitas [2]
4Luis Lopes [3]
5Carlos López Pombo [3]
6Ricardo Ribeiro [3]
7Paulo A. S. Veloso [2]
8Sheila R. M. Veloso [2]

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