Publicacións (75) Publicacións nas que participase algún/ha investigador/a

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. A framework for protein structure prediction on the grid

    New Generation Computing, Vol. 23, Núm. 4, pp. 277-290

  3. A loosely coupled vision for computational Grids

    IEEE Distributed Systems Online, Vol. 6, Núm. 5

  4. A passive testing approach based on invariants: Application to the WAP

    Computer Networks, Vol. 48, Núm. 2, pp. 247-266

  5. A reconfiguration manager for dynamically reconfigurable hardware

    IEEE Design and Test of Computers, Vol. 22, Núm. 5, pp. 452-460

  6. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

  7. Agent-oriented software engineering

    Knowledge Engineering Review, Vol. 20, Núm. 2, pp. 99-116

  8. Agentes de información

    Investigación bibliotecológica, Vol. 19, Núm. 39, pp. 28-46

  9. An overview of current trends in European AOSE research

    Informatica (Ljubljana), Vol. 29, Núm. 4, pp. 379-390

  10. Analisis y síntesis de expresión emocional en cuentos leídos en voz alta

    Procesamiento del lenguaje natural, Núm. 35, pp. 293-300

  11. Authoring of adaptive computer assisted assessment of free-text answers

    Educational Technology and Society, Vol. 8, Núm. 3, pp. 53-65

  12. Bayesian model selection: A predictive approach with losses based on distances L1 and L2

    Statistics and Probability Letters, Vol. 71, Núm. 3, pp. 257-265

  13. Beneficios del uso de la tecnología grid computing en bioinformática usando la infraestructura de IRISGrid

    RedIRIS: boletín de la Red Nacional de I+D RedIRIS, Núm. 72, pp. 28-35

  14. Bias and overtaking equilibria for zero-sum continuous-time Markov games

    Mathematical Methods of Operations Research, Vol. 61, Núm. 3, pp. 437-454

  15. Case-based reasoning-inspired approaches to education

    Knowledge Engineering Review, Vol. 20, Núm. 3, pp. 299-303

  16. Central limit theorem for the estimator of the value of an optimal stopping problem

    Test, Vol. 14, Núm. 1, pp. 215-237

  17. Classification of n-dimensional subvarieties of G(1, 2n) that can be projected to G(1, n + 1)

    Bulletin of the London Mathematical Society, Vol. 37, Núm. 5, pp. 673-682

  18. Coloring fuzzy graphs

    Omega, Vol. 33, Núm. 3, pp. 211-221

  19. Development and execution of an impact cratering application on a computational Grid

    Scientific Programming, Vol. 13, Núm. 1, pp. 19-30

  20. Diccionarios basados en taxonomías con estructura de grafo orientado acíclico

    Procesamiento del lenguaje natural, Núm. 35, pp. 259-266