Departament
Sistemas Informáticos y Computación
Publicacions (24) Publicacions en què ha participat algun/a investigador/a
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
-
A model for creating interactive ebooks for elearning
Future Internet, Vol. 12, Núm. 12, pp. 1-11
-
A semantic framework to debug parallel lazy functional languages
Mathematics, Vol. 8, Núm. 6
-
Abstraction based verification of stability of polyhedral switched systems
Nonlinear Analysis: Hybrid Systems, Vol. 36
-
Application of artificial intelligence techniques to predict survival in kidney transplantation: A review
Journal of Clinical Medicine, Vol. 9, Núm. 2
-
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
-
Automatic subgenre classification in an electronic dance music taxonomy
Journal of New Music Research, Vol. 49, Núm. 3, pp. 269-284
-
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
-
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts
Theoretical Computer Science, Vol. 813, pp. 270-304
-
Compositional Specification in Rewriting Logic
Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98
-
Deriving overloaded success type schemes in Erlang
Journal of Computer Languages, Vol. 58
-
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
-
Extending liquid types to arrays
ACM Transactions on Computational Logic, Vol. 21, Núm. 2
-
Generation of infectious disease alerts through the use of geolocation
Bulletin of Electrical Engineering and Informatics, Vol. 9, Núm. 4, pp. 1533-1541
-
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
Information and Computation, Vol. 271
-
Implementation relations and testing for cyclic systems with refusals and discrete time
Journal of Systems and Software, Vol. 170
-
Introducing complexity to formal testing
Journal of Logical and Algebraic Methods in Programming, Vol. 111
-
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems
Journal of Systems and Software, Vol. 163
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110
-
Systematic Engineering of Mutation Operators
Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15