Publications

From Compor

Contents

Journal Articles

  • Rodrigo Paes and Hyggo Almeida. Agentes e Métricas no Processo de Qualidade de Software em Equipes Distribuídas, Infocomp Revista de Ciência da Computação, 2005, p.53-62

Conference/Workshop Papers

  • Rodrigo Paes, Gustavo Carvalho, Carlos Lucena, Paulo Alencar, Hyggo Almeida, and Viviane Silva. Specifying Laws in Open Multi-Agent Systems. Utrecht, The Netherlands, 2005 (to appear)
  • Leandro Silva, Hyggo Almeida, Angelo Perkusich, and Evandro Costa. A Formal Approach for the Verification of Multiagent Plans based on Model Checking and Petri Nets. Proceedings of 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, Edinburgh, Scotland, 2004, p.145-151
  • Rodrigo Paes, Gustavo Carvalho, Hyggo Almeida, Carlos Lucena, and Paulo Alencar. A Software Engineering Approach for Law-governed Open Multi-agent Systems. Proceedings of 5th Argentine Symposium on Software Engineering, Cordoba, ,Argentina, 2004
  • Hyggo Almeida, Evandro Costa, and Angelo Perkusich. Developing Flexible Agent Based Learning Environments using Reusable Components. Proceedings of Workshop on Architectures and Methodologies for Building Agent-Based Learning Environments, São Luiz, Maranhão, 2004, p.67-78
  • Leandro Silva, Hyggo Almeida, Angelo Perkusich, and Evandro Costa. Modelling and Analysis of a Multi-Agent Intellgent Tutoring System Based on Coloured Petri Nets. Proceedings of 1st ACIS International Conference on Software Engineering Research & Applications, San Francisco, 2003, p.276-281
  • Ricardo Nunes, Evandro Costa, and Hyggo Almeida. An Architecture and A Decision-Making Model to Web-Based Electronic Commerce. Proceedings of 3rd IFIP conference on E-commerce, E-business and e-Government, São Paulo, 2003, p.117-128

Book Chapters

  • Hyggo Almeida, Leandro Silva, Angelo Perkusich, and Evandro Costa. A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, Lecture Notes in Computer Science, Springer-Verlag, 2005, p.162-179

Technical Reports

  • Rodrigo Paes, Hyggo Almeida, Carlos Lucena, and Paulo Alencar. Enforcing Interaction Protocols in Multi-Agent Systems. Monografias em Ciência da Computação nº 09/04, Pontifícia Universidade Católica do Rio de Janeiro - PUC/RJ, Rio de Janeiro, 2004