Publicaciones en las que colabora con NATALIA LÓPEZ BARQUILLA (19)

2024

  1. A full process algebraic representation of Ant Colony Optimization

    Information Sciences, Vol. 658

2019

  1. The Problems of Selecting Problems

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

2015

  1. A formal method for parallel genetic algorithms

    Procedia Computer Science

2009

  1. Market-based adaptive discussion forums

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

2007

  1. SPAMR: Extending PAMR with stochastic time

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

2006

  1. Analyzing the Privacy of a Vickrey Auction Mechanism

    International Journal of E-Business Research (IJEBR), Vol. 2, Núm. 3, pp. 17-27

  2. Assessing the expressivity of formal specification languages

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

  3. Defining and testing metaadaptable agents

    IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, Vol. 36, Núm. 2, pp. 182-195

  4. Specification, testing and implementation relations for symbolic-probabilistic systems

    Theoretical Computer Science, Vol. 353, Núm. 1-3, pp. 228-248

2005

  1. Implementing private Vickrey auctions

    Proceedings of the ACM Symposium on Applied Computing

  2. Testing of symbolic-probabilistic systems

    Lecture Notes in Computer Science

2004

  1. Encouraging knowledge exchange in discussion forums by market-oriented mechanisms

    Proceedings of the ACM Symposium on Applied Computing

  2. Formal specification of symbolic-probabilistic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 114-127

2003

  1. A multi-agent system for e-barter including transaction and shipping costs

    Proceedings of the ACM Symposium on Applied Computing

  2. Defining meta-adaptable living agents

    Proceedings - 2nd IEEE International Conference on Cognitive Informatics, ICCI 2003

2002

  1. A formal framework for E-Barter based on microeconomic theory and process algebras

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

  2. Including malicious agents into a collaborative learning environment

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

  3. Introducing the golden section to computer science

    Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002

  4. WHAT: Web-based Haskell adaptive tutor

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