Sistemas Informáticos y Computación

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 methodology for aiding users to design and model cloud computing architectures

   Proceedings - 10th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2014

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

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

6. A threshold based context change detection in pervasive environments: Application to a smart campus

   Procedia Computer Science

7. A transformational approach to resource analysis with typed-norms

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

8. Actor- and task-selection strategies for pruning redundant state-exploration in testing

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

9. An algorithmic approach to stability verification of polyhedral switched systems

   Proceedings of the American Control Conference

10. An app for managing unregulated teaching activities

    2014 International Symposium on Computers in Education, SIIE 2014

11. An extended constraint deductive database: Theory and implementation

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

12. 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

13. 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

14. Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires

    Conference Francophone sur l'Architecture Logicielle, CAL 2014

15. Assessing semantic annotation activities with formal concept analysis

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

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

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

17. Axiomatizing weak simulation semantics over BCCSP

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

18. Can continuous glucose monitoring identify risk factors in type 1 and type 2 diabetes? A literature review

    2014 IEEE-EMBS International Conference on Biomedical and Health Informatics, BHI 2014

19. Coinductive definition of distances between processes: Beyond bisimulation distances

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

20. 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