Publicaciones en colaboración con investigadores/as de North Carolina State University (3)

2011

  1. Formal methods in agent-oriented software engineering

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Editorial track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

2004

  1. Editorial message: Special track on e-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing