Publicaciones en las que colabora con FERNANDO RUBIO DÍEZ (30)

2020

  1. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

2009

  1. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

  2. Market-based adaptive discussion forums

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

2008

  1. Cognitive processes by using finite state machines

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

2007

  1. Cognitive Processes by Using Finite State Machines

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 3, pp. 52-65

  2. Introducing debugging capabilities to natural semantics

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

  3. Observing intermediate structures in a parallel lazy functional language

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

2006

  1. A Formal Framework to Reduce Communications in Communication Systems

    Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers (Verlag Berlin Heidelberg: SpringeR, 2006), pp. 69-80

  2. A formal framework to reduce communications in communication systems

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

  3. Editorial message: Special track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

2005

  1. Editorial track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

  2. Formal specification of multi-agent e-barter systems

    Science of Computer Programming, Vol. 57, Núm. 2, pp. 187-216

  3. Formalizing the debugging process in Haskell

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

  4. Specification and testing of autonomous agents in e-commerce systems

    Software Testing Verification and Reliability, Vol. 15, Núm. 4, pp. 211-233

2004

  1. A formal framework for analyzing reusability complexity in component-based systems

    Information and Software Technology, Vol. 46, Núm. 12, pp. 791-804

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

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

  3. Applying Occam's razor to FSMs

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

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

    Proceedings of the ACM Symposium on Applied Computing

  5. Predicting performance in the presence of stochastic information

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

  6. Preface

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