Publicaciones en colaboración con investigadores/as de Universidad de Valladolid (52)

2020

  1. Author response to letter to the editor

    Tremor and Other Hyperkinetic Movements

  2. Author response to letter to the editor

    Tremor and Other Hyperkinetic Movements

2018

  1. The pedagogical model of SIAL: An adaptive and open-ended intelligent tutoring system for first order logic

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

2015

  1. Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view

    Computer Applications in Engineering Education, Vol. 23, Núm. 6, pp. 837-845

  2. Learner-adaptive pedagogical model in SIAL, an open-ended intelligent tutoring system for first order logic

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

  3. Stacking for multivariate time series classification

    Pattern Analysis and Applications, Vol. 18, Núm. 2, pp. 297-312

2013

  1. A MAS for teaching computational logic

    Advances in Intelligent Systems and Computing, Vol. 217, pp. 209-217

  2. SLI: A tool for easing the understanding of automated proof construction

    ACM Inroads, Vol. 4, Núm. 2, pp. 53-56

2011

  1. Assisting refactoring tool development through refactoring characterization

    ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies

  2. Development of pulsed UV lasers and their application in laser spectroscopy

    Journal of Physics: Conference Series