Sistemas Informáticos y Computación

2020

1. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

   Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234

2. A model for creating interactive ebooks for elearning

   Future Internet, Vol. 12, Núm. 12, pp. 1-11

3. A semantic framework to debug parallel lazy functional languages

   Mathematics, Vol. 8, Núm. 6

4. Abstraction based verification of stability of polyhedral switched systems

   Nonlinear Analysis: Hybrid Systems, Vol. 36

5. Application of artificial intelligence techniques to predict survival in kidney transplantation: A review

   Journal of Clinical Medicine, Vol. 9, Núm. 2

6. Application of machine learning techniques to analyze patient returns to the emergency department

   Journal of Personalized Medicine, Vol. 10, Núm. 3, pp. 1-22

7. Automatic subgenre classification in an electronic dance music taxonomy

   Journal of New Music Research, Vol. 49, Núm. 3, pp. 269-284

8. Back-track to the future, una experiencia de gamificación en la universidad

   Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 5, pp. 101-108

9. Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

   Theoretical Computer Science, Vol. 813, pp. 270-304

10. Compositional Specification in Rewriting Logic

    Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98

11. Deriving overloaded success type schemes in Erlang

    Journal of Computer Languages, Vol. 58

12. Educación del pensamiento computacional para alumnos de un posgrado semipresencial en Humanidades: experiencias con clase invertida

    Propósitos y representaciones, Vol. 8, Núm. 1

13. Extending liquid types to arrays

    ACM Transactions on Computational Logic, Vol. 21, Núm. 2

14. Generation of infectious disease alerts through the use of geolocation

    Bulletin of Electrical Engineering and Informatics, Vol. 9, Núm. 4, pp. 1533-1541

15. HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

    Information and Computation, Vol. 271

16. Implementation relations and testing for cyclic systems with refusals and discrete time

    Journal of Systems and Software, Vol. 170

17. Introducing complexity to formal testing

    Journal of Logical and Algebraic Methods in Programming, Vol. 111

18. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

    Journal of Systems and Software, Vol. 163

19. Programming and symbolic computation in Maude

    Journal of Logical and Algebraic Methods in Programming, Vol. 110

20. Systematic Engineering of Mutation Operators

    Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15