Artículos (37) Publicaciones en las que ha participado algún/a investigador/a

2014

  1. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

    IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894

  2. A Transformation-based implementation for CLP with qualification and proximity

    Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 1-63

  3. A formal framework to analyze cost and performance in Map-Reduce based applications

    Journal of Computational Science, Vol. 5, Núm. 2, pp. 106-118

  4. A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation

    Information and Computation, Vol. 235, pp. 3-35

  5. An extended constraint deductive database: Theory and implementation

    Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52

  6. An integration of CafeOBJ into Full Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 230-246

  7. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study

    Journal of integrative bioinformatics, Vol. 11, Núm. 3, pp. 248

  8. Assessing semantic annotation activities with formal concept analysis

    Expert Systems with Applications, Vol. 41, Núm. 11, pp. 5495-5508

  9. Automated generation of equations for linkage loci in a game physics system

    Technology, Knowledge and Learning, Vol. 19, Núm. 3, pp. 317-326

  10. Axiomatizing weak simulation semantics over BCCSP

    Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71

  11. Conditional narrowing modulo in rewriting logic and maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 80-96

  12. Conditional termination of loops over heap-allocated data

    Science of Computer Programming, Vol. 92, Núm. PART A, pp. 2-24

  13. Development of e-Learning solutions: Different approaches, a common mission

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 9, Núm. 2, pp. 72-80

  14. Educational software: Case studies and development methods [Guest editorial]

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 9, Núm. 2, pp. 41-42

  15. FLOP: A user-friendly system for automated program assessment

    Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326

  16. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

    Service Oriented Computing and Applications, Vol. 8, Núm. 4, pp. 323-339

  17. Geometric Locus activities in a dynamic geometry system. Non-iconic visualization and instrumental genesis

    Revista Latinoamericana de Investigación Matemática Educativa, Vol. 17, Núm. 4-2, pp. 361-376

  18. Inference of field-sensitive reachability and cyclicity

    ACM Transactions on Computational Logic, Vol. 15, Núm. 4

  19. Innovating in the engineering processes: Engineering as a means of innovation

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 9, Núm. 4, pp. 131-132

  20. Model checking TLR Guarantee formulas on infinite systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8373, pp. 129-150