Publicacions (77) Publicacions en què ha participat algun/a investigador/a

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. A bigraphical multi-scale modeling methodology for system of systems

    Computers and Electrical Engineering, Vol. 58, pp. 113-125

  3. A computational model of the cognitive impact of decorative elements on the perception of suspense

    Connection Science, Vol. 29, Núm. 4, pp. 295-331

  4. A context change detection approach for ubiquitous Environments

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 10, Núm. 3, pp. 320-340

  5. A genetic algorithm approach to customizing a glucose model based on usual therapeutic parameters

    Progress in Artificial Intelligence, Vol. 6, Núm. 3, pp. 255-261

  6. A high-availability cloud for research computing

    Computer, Vol. 50, Núm. 6, pp. 92-95

  7. A hybrid automated trading system based on multi-objective grammatical evolution

    Journal of Intelligent and Fuzzy Systems, Vol. 32, Núm. 3, pp. 2461-2475

  8. A meta-grammatical evolutionary process for portfolio selection and trading

    Genetic Programming and Evolvable Machines, Vol. 18, Núm. 4, pp. 411-431

  9. A new UAV ship-tracking algorithm

    IFAC-PapersOnLine, Vol. 50, Núm. 1, pp. 13090-13095

  10. A new area-efficient BCD-digit multiplier

    Digital Signal Processing: A Review Journal, Vol. 62, pp. 1-10

  11. A novel analysis approach for the design and the development of context-aware applications

    Journal of Systems and Software, Vol. 133, pp. 113-125

  12. A parallel swarm library based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10305 LNCS, pp. 3-15

  13. Agent architecture for crowd simulation in indoor environments

    Journal of Ambient Intelligence and Humanized Computing, Vol. 8, Núm. 2, pp. 205-212

  14. An approach to treat numerical information in the text simplification process

    Universal Access in the Information Society, Vol. 16, Núm. 1, pp. 85-102

  15. An extended framework for passive asynchronous testing

    Journal of Logical and Algebraic Methods in Programming, Vol. 86, Núm. 1, pp. 408-424

  16. Analysis of temporal complex events in sensor networks

    Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289

  17. Análisis de la variable sexo en la escala de Búsqueda de Sensaciones (SSS-V) empleando técnicas de Funcionamiento Diferencial de los Ítems

    Avances en psicología latinoamericana, Vol. 35, Núm. 2, pp. 387-405

  18. Applications of river formation dynamics

    Journal of Computational Science, Vol. 22, pp. 26-35

  19. Automatic detection of curved and straight crop rows from images in maize fields

    Biosystems Engineering, Vol. 156, pp. 61-79

  20. Bomberman modo multijugador

    Enseñanza y aprendizaje de ingeniería de computadores: Revista de Experiencias Docentes en Ingeniería de Computadores, Núm. 7, pp. 53-68