Publikationen (36) Publikationen von MIGUEL GARCIA RODRIGUEZ

2023

  1. A Monitoring Infrastructure to Improve Flipped Learning in Technological Courses

    International Journal of Information and Education Technology, Vol. 13, Núm. 10, pp. 1541-1548

  2. Analyzing syntactic constructs of Java programs with machine learning

    Expert Systems with Applications, Vol. 215

  3. Infraestructura de código abierto para el soporte de enseñanza síncrona en entornos distribuidos

    Modalidades de aprendizaje para la innovación educativa

2021

  1. An Infrastructure to Deliver Synchronous Remote Programming Labs

    IEEE Transactions on Learning Technologies, Vol. 14, Núm. 2, pp. 161-172

2019

  1. Rule-based program specialization to optimize gradually typed code

    Knowledge-Based Systems, Vol. 179, pp. 145-173

2014

  1. Attaining multiple dispatch in widespread object-oriented languages

    DYNA: revista de la Facultad de Minas. Universidad Nacional de Colombia. Sede Medellín, Vol. 81, Núm. 186, pp. 242-250

  2. Automatic Generation of Object-Oriented Type Checkers

    Lecture Notes on Software Engineering, Vol. 2, Núm. 4, pp. 288-293

  3. Efficient runtime adaptability to support context-awareness in a robotic framework

    Journal of Ambient Intelligence and Smart Environments, Vol. 6, Núm. 1, pp. 107-109

  4. On the suitability of dynamic languages for hot-reprogramming a robotics framework: A Python case study

    Software - Practice and Experience, Vol. 44, Núm. 1, pp. 77-104

  5. TyS - A framework to facilitate the implementation of object-oriented type checkers

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  6. Uso de JUnit para evaluación en laboratorio de Estructuras de Datos

    Actas de las XX Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2014 : Oviedo, del 9 al 11 de julio de 2014