Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (11)

2015

  1. A methodology for designing energy-aware systems for computational science

    Procedia Computer Science

2011

  1. Passive testing of web services

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

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

  2. Specification and testing of e-commerce agents described by using UIOLTSs

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

2009

  1. A novel formalism to represent collective intelligence in multi-agent systems

    Studies in Computational Intelligence

2008

  1. A comparative study of STOPA and RTPA

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

  2. A formal specification of the memorization process

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170

2007

  1. A Formal Specification of the Memorization Process

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60

2005

  1. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

  2. Editorial track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

2004

  1. Preface

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