Publications (29) Publications auxquelles un chercheur a participé

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. An overview of current trends in European AOSE research

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

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

  10. Case-based reasoning-inspired approaches to education

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

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

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

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

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

  13. Fuzzy control of the vertical acceleration of fast ferries

    Control Engineering Practice, Vol. 13, Núm. 3, pp. 305-313

  14. Inferring termination conditions for logic programs using backwards analysis

    Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91

  15. Infraestructuras Grid y su aplicación a la Astrobiología Computacional

    Revista española de física, Vol. 19, Núm. 3, pp. 12-16

  16. Métricas, metodologías y herramientas de simulación para evaluar mejoras en arquitecturas de bajo consumo

    Enlaces: revista del CES Felipe II, Núm. 3

  17. Neural virtual sensors for terrain adaptation of walking machines

    Journal of Robotic Systems, Vol. 22, Núm. 6, pp. 299-311

  18. Operational semantics for declarative multi-paradigm languages

    Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829

  19. Personalisation in news delivery systems: Item summarization and multi-tier item selection using relevance feedback

    Web Intelligence and Agent Systems, Vol. 3, Núm. 3, pp. 135-154

  20. Porting of scientific applications to Grid computing on GridWay

    Scientific Programming, Vol. 13, Núm. 4 SPEC. ISS., pp. 317-331