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

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. Assessing the expressivity of formal specification languages

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

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

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

2005

  1. Specifying the memorization process with STOPA

    Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

  2. Testing of symbolic-probabilistic systems

    Lecture Notes in Computer Science

  3. 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

  4. 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

  5. Predicting performance in the presence of stochastic information

    Computer Systems Science and Engineering, Vol. 19, Núm. 6, pp. 347-353

  6. STOPA: A STOchastic process algebra for the formal representation of cognitive systems

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

2003

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

    Proceedings of the ACM Symposium on Applied Computing

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