Computer Science Department

Lehrstuhl für Dienstleistungsinformatik / e-Services Research Group

Navigation

Carla Delgado-Battenfeld - Publications

Papers in journals
  1. VELOSO, P., VELOSO, S., VIANA, P., FREITAS, R., BENEVIDES, M., DELGADO, C.: On vague notions and modalities: a modular approach. Logic Journal of IGPL, September 2009. (pdf available from publisher's website).
Papers in conference proceedings
  1. DELGADO, C. , BENEVIDES, M.: Verification of epistemic properties in probabilistic Multi-Agent Systems. Lecture Notes in Computer Science, Multiagent System Technologies (to appear). In: MATES 2009.
  2. BENEVIDES, M. , DELGADO, C. , CARLINI, M.: Proving Epistemic and Temporal Properties from Knowledge Based Programs. Lecture Notes in Computer Science, v. 5249: 134-144. In: Brazilian Symposium on Artificial Intelligence, 2008. (pdf available from publisher's website)
  3. DELGADO, C., GONZALEZ-VELEZ, H.: Establishing a Biomedical Virtual Organisation through a Portal: Lessons Learned from HEALTHAGENTS. Proceedings of IST-Africa 2008, pp 1-9, 2008.(pdf)
  4. DELGADO, C., BENEVIDES, M., RIBEIRO, R., LOPES, L., POMBO, C.: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electronic Notes in Theoretical Computer Science (ENTCS), v. 195: 133-149, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), 2006.(pdf available from publisher's website)
  5. DELGADO, C., GONZALEZ-VELEZ, H.: Content Management and Collaboration for Biomedical Sciences: The HealthAgents Case. In: IADIS Int Conf WWW/Internet 2006, pp 258-264, 2006.
  6. RAPKIEWICZ, C., PEREIRA JUNIOR, J., DELGADO, C., XEXÉO, J.: AVEP: Um Ambiente de Apoio ao Ensino de Algoritmos e Programação. In: XXVI Congresso da Sociedade Brasileira de Computação - XIV WEI (Workshop de Educação em Informática), 2006.
  7. PEREIRA JUNIOR, J., RAPKIEWICZ, C., DELGADO, C., XEXEO, J.: Ensino de algoritmos e programação: uma experiência no nível médio. In: XXV Congresso da SBC - X WEI (Workshop de Educação em Informática), 2005.
  8. DELGADO, C., XEXÉO, J., SOUZA, I., RAPKIEWICZ, C., PEREIRA JUNIOR, J.: Identificando competências associadas ao aprendizado de leitura e construção de algoritmos. In: XXV Congresso da SBC - X WEI (Workshop de Educação em Informática), 2005.
  9. BENEVIDES, M., DELGADO, C., FREITAS, R., VELOSO, P., VELOSO, S.: Modalities for Vague Notions. In: XVII Brazilian Symposium on Artificial Intelligence, 2004, São Luis. Lecture Notes in Artificial Intelligence, v. 3171:  1-10, 2004.(pdf available from publisher's website)
  10. DELGADO, C., XEXÉO, J., SOUZA, I., CAMPOS, M., RAPKIEWICZ, C.: Uma abordagem pedagógica para iniciação ao estudo de algoritmos" In: XXIV Congresso da SBC - IX WEI (Workshop de Educação em Informática), 2004.
  11. RAPKIEWICZ, C., XEXÉO, J., FREITAS, M., SOUZA, I., DELGADO, C., CAMPOS, M.: O Campo de ação para Licenciandos em Computação: um estudo de caso no Norte Fluminense. In: XXIV Congresso da Sociedade Brasileira de Computação - WEI (Workshop de Educação em Computação), 2004.
  12. DELGADO, C. ; BENEVIDES, M.: "Dynamic Logic of Knowledge". In: Encontro Nacional de Inteligência Artificial ENIA 2001, Fortaleza, August 2001.
Book chapters
  1. LLUCH-ARIET, M., ESTANYOL, F., MIER, M., DELGADO, C., GONZÁLEZ-VÉLEZ, H., DALMAS, T., ROBLES, M., SÁEZ, C., VICENTE, J., VAN HUFFEL, S., LUTS, J., ARÚS, C., SILVEIRA, A., JULIÀ-SAPÉ, M., PEET, A., GIBB, A., SUN, Y., CELDA, B., BISBAL, M., VALSECCHI, G., DUPPLAW, D., HU, B., LEWIS, P.: On the Implementation of HealthAgents: Agent-Based Brain Tumour Diagnosis. In: Agent Technology and e-Health, Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkhäuser Basel, 2008, p. 5-24. (pdf available from publisher's website)
Thesis
  1. Delgado, C.: D. Sc. Thesis.(pdf)

Carla Delgado's home