Publications (45) Publications in which a researcher has participated

2016

  1. A computational approach inspired by simulated annealing to study the stability of protein interaction networks in cancer and neurological disorders

    Data Mining and Knowledge Discovery, Vol. 30, Núm. 1, pp. 226-242

  2. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  3. A matlab-based testbed for integration, evaluation and comparison of heterogeneous stereo vision matching algorithms

    Robotics, Vol. 5, Núm. 4

  4. Agent-based simulation of crowds in indoor scenarios

    Studies in Computational Intelligence, Vol. 616, pp. 121-130

  5. An Automated Defect Prediction Framework using Genetic Algorithms: A Validation of Empirical Studies

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, Vol. 19, Núm. 57, pp. 114-137

  6. An agent based approach for the implementation of cooperative proactive S-Metaheuristics

    Expert Systems with Applications, Vol. 63, pp. 344-374

  7. An architecture of narrative memory

    Biologically Inspired Cognitive Architectures, Vol. 16, pp. 19-33

  8. An instance-based learning approach for thresholding in crop images under different outdoor conditions

    Computers and Electronics in Agriculture, Vol. 127, pp. 669-679

  9. An instrument to build a gamer clustering framework according to gaming preferences and habits

    Computers in Human Behavior, Vol. 62, pp. 353-363

  10. An integrative modelling language for agent-based simulation of traffic

    IEICE Transactions on Information and Systems, Vol. E99D, Núm. 2, pp. 406-414

  11. Analysis of Parallel Computing Strategies to Accelerate Ultrasound Imaging Processes

    IEEE Transactions on Parallel and Distributed Systems, Vol. 27, Núm. 12, pp. 3429-3440

  12. Análisis de la implementación software de un conformador de señales ultrasónicas para tiempo real

    Revista iberoamericana de automática e informática industrial ( RIAI ), Vol. 13, Núm. 4, pp. 462-471

  13. Autonomy for ground-level robotic space exploration: Framework, simulation, architecture, algorithms and experiments

    Robotica, Vol. 34, Núm. 2, pp. 274-305

  14. Blockchain technology as a regulatory technology: From code is law to law is code

    First Monday, Vol. 21, Núm. 12

  15. Code obfuscation using very long identifiers for FFT motion estimation models in embedded processors

    Journal of Real-Time Image Processing, Vol. 11, Núm. 4, pp. 817-827

  16. Computational Drafting of Plot Structures for Russian Folk Tales

    Cognitive Computation, Vol. 8, Núm. 2, pp. 187-203

  17. Constrained creation of poetic forms during theme-driven exploration of a domain defined by an N-gram model

    Connection Science, Vol. 28, Núm. 2, pp. 111-130

  18. Control of a Chain Pendulum: A fuzzy logic approach

    International Journal of Computational Intelligence Systems, Vol. 9, Núm. 2, pp. 281-295

  19. Cost-related interface for software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 227-244

  20. El impacto del diseño de actividades en el plagio de Internet en educación superior

    Comunicar: Revista Científica de Comunicación y Educación, Núm. 48, pp. 39-48