Publicaciones (16) Publicaciones en las que ha participado algún/a investigador/a

2016

  1. A System to Manage Non-Formal Higher Education Activities

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 205-212

  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 system to manage grammatical level tests in the context of language schools

    Journal of Cases on Information Technology, Vol. 18, Núm. 4, pp. 53-69

  4. Aprendiendo a hacer presentaciones efectivas en inglés con BusinessApp

    RIED: revista iberoamericana de educación a distancia, Vol. 19, Núm. 1, pp. 41-61

  5. Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas

    Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94

  6. Cost-related interface for software product lines

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

  7. Debate sobre un proyecto para España

    Temas para el debate, Núm. 256, pp. 38-52

  8. El aprendizaje de lenguas extranjeras mediante tecnología móvil en el contexto de la educación a distancia y combinada

    RIED: revista iberoamericana de educación a distancia, Vol. 19, Núm. 1, pp. 25-40

  9. Encoding Bigraphical Reactive Systems into Graph Transformation Systems

    Electronic Notes in Discrete Mathematics, Vol. 55, pp. 207-210

  10. Evaluation of properties over phylogenetic trees using stochastic logics

    BMC Bioinformatics, Vol. 17, Núm. 1

  11. La corrupción, cáncer de la democracia

    Temas para el debate, Núm. 264, pp. 24-25

  12. Recursively spreadable and reductible measures of specificity

    Information Sciences, Vol. 326, pp. 270-277

  13. Resource-usage-aware configuration in software product lines

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

  14. To innovate or not to innovate in the didactic second language scenario (and how): that is the question?

    Porta Linguarum: revista internacional de didáctica de las lenguas extranjeras, Núm. 1, pp. 7-15

  15. Trends in Computers in Education

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 177-178

  16. Trends in software engineering for engineering education

    International Journal of Engineering Education, Vol. 32, Núm. 2, pp. 869-872