Departamento
Sistemas Informáticos y Computación
Artículos (21) Publicaciones en las que ha participado algún/a investigador/a
2013
-
A Meta-Relational Approach for the Definition and Management of Hybrid Learning Objects
Educational Technology and Society, Vol. 16, Núm. 4, pp. 258-274
-
A formal framework for software product lines
Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947
-
An ACO-RFD hybrid method to solve NP-complete problems
Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744
-
Comparing problem solving strategies for NP-hard optimization problems
Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25
-
E-mc2: A formal framework for energy modelling in cloud computing
Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75
-
Heap space analysis for garbage collected languages
Science of Computer Programming, Vol. 78, Núm. 9, pp. 1427-1448
-
Model checking software for phylogenetic trees using distribution and database methods.
Journal of integrative bioinformatics, Vol. 10, Núm. 3, pp. 229
-
On the coverability and reachability languages of monotonic extensions of Petri nets
Theoretical Computer Science, Vol. 467, pp. 12-29
-
On the inference of resource usage upper and lower bounds
ACM Transactions on Computational Logic, Vol. 14, Núm. 3
-
Ordinal theory for expressiveness of well-structured transition systems
Information and Computation, Vol. 224, pp. 1-22
-
Paramodulation with non-monotonic orderings and simplification
Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 51-98
-
Petri nets with name creation for transient secure association
Acta Informatica, Vol. 50, Núm. 7-8, pp. 403-436
-
Reachability-based acyclicity analysis by Abstract Interpretation
Theoretical Computer Science, Vol. 474, pp. 60-79
-
Speeding Up Phylogenetic Model Checking
Advances in Intelligent Systems and Computing, Vol. 222, pp. 119-126
-
Temporal logics for phylogenetic analysis via model checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 10, Núm. 4, pp. 1058-1070
-
Testing restorable systems: Formal definition and heuristic solution based on river formation dynamics
Formal Aspects of Computing, Vol. 25, Núm. 5, pp. 743-768
-
The grammatical approach: A syntax-directed declarative specification method for XML processing tasks
Computer Standards and Interfaces, Vol. 35, Núm. 1, pp. 114-131
-
The recursive path and polynomial ordering for first-order and higher-order terms
Journal of Logic and Computation, Vol. 23, Núm. 1, pp. 263-305
-
Transitive Closure of Interval-valued Fuzzy Relations
International Journal of Computational Intelligence Systems, Vol. 6, Núm. 4, pp. 648-657
-
Unifying the linear time-branching time spectrum of strong process semantics
Logical Methods in Computer Science, Vol. 9, Núm. 2