Artículos (21) Publicaciones en las que ha participado algún/a investigador/a

2013

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

  2. A formal framework for software product lines

    Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947

  3. An ACO-RFD hybrid method to solve NP-complete problems

    Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744

  4. Comparing problem solving strategies for NP-hard optimization problems

    Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25

  5. E-mc2: A formal framework for energy modelling in cloud computing

    Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75

  6. Heap space analysis for garbage collected languages

    Science of Computer Programming, Vol. 78, Núm. 9, pp. 1427-1448

  7. Model checking software for phylogenetic trees using distribution and database methods.

    Journal of integrative bioinformatics, Vol. 10, Núm. 3, pp. 229

  8. On the coverability and reachability languages of monotonic extensions of Petri nets

    Theoretical Computer Science, Vol. 467, pp. 12-29

  9. On the inference of resource usage upper and lower bounds

    ACM Transactions on Computational Logic, Vol. 14, Núm. 3

  10. Ordinal theory for expressiveness of well-structured transition systems

    Information and Computation, Vol. 224, pp. 1-22

  11. Paramodulation with non-monotonic orderings and simplification

    Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 51-98

  12. Petri nets with name creation for transient secure association

    Acta Informatica, Vol. 50, Núm. 7-8, pp. 403-436

  13. Reachability-based acyclicity analysis by Abstract Interpretation

    Theoretical Computer Science, Vol. 474, pp. 60-79

  14. Speeding Up Phylogenetic Model Checking

    Advances in Intelligent Systems and Computing, Vol. 222, pp. 119-126

  15. Temporal logics for phylogenetic analysis via model checking

    IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 10, Núm. 4, pp. 1058-1070

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

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

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

  19. Transitive Closure of Interval-valued Fuzzy Relations

    International Journal of Computational Intelligence Systems, Vol. 6, Núm. 4, pp. 648-657

  20. Unifying the linear time-branching time spectrum of strong process semantics

    Logical Methods in Computer Science, Vol. 9, Núm. 2