Publications by the researcher in collaboration with NATALIA LÓPEZ BARQUILLA (31)

2024

  1. A full process algebraic representation of Ant Colony Optimization

    Information Sciences, Vol. 658

2019

  1. Exporting rain-fall optimization concepts to artificial bee colony

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

  2. 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)

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

  2. 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. Specifying the memorization process with STOPA

    Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

  3. Testing of symbolic-probabilistic systems

    Lecture Notes in Computer Science

  4. Weak stochastic bisimulation for non-Markovian processes

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

2004

  1. An integrated framework for the performance analysis of asynchronous communicating stochastic processes

    Formal Aspects of Computing, Vol. 16, Núm. 3, pp. 238-262

  2. An overview of probabilistic process algebras and their equivalences

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2925, pp. 89-123

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

    Proceedings of the ACM Symposium on Applied Computing