Departamento
Sistemas Informáticos y Computación
Artículos (37) Publicaciones en las que ha participado algún/a investigador/a
2014
-
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions
IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894
-
A Transformation-based implementation for CLP with qualification and proximity
Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 1-63
-
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
-
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
Information and Computation, Vol. 235, pp. 3-35
-
An extended constraint deductive database: Theory and implementation
Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52
-
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
-
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
-
Assessing semantic annotation activities with formal concept analysis
Expert Systems with Applications, Vol. 41, Núm. 11, pp. 5495-5508
-
Automated generation of equations for linkage loci in a game physics system
Technology, Knowledge and Learning, Vol. 19, Núm. 3, pp. 317-326
-
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71
-
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
-
Conditional termination of loops over heap-allocated data
Science of Computer Programming, Vol. 92, Núm. PART A, pp. 2-24
-
Development of e-Learning solutions: Different approaches, a common mission
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 9, Núm. 2, pp. 72-80
-
Educational software: Case studies and development methods [Guest editorial]
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 9, Núm. 2, pp. 41-42
-
FLOP: A user-friendly system for automated program assessment
Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326
-
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
-
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
-
Inference of field-sensitive reachability and cyclicity
ACM Transactions on Computational Logic, Vol. 15, Núm. 4
-
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
-
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