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

2009

  1. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  2. A Logical Framework for Debugging in Declarative Constraint Programming

    Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 119-135

  3. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

    Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182

  4. A Rewriting Semantics for Maude Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

  5. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

  6. An algorithm to compute thetransitive closure, a transitive approximation and a transitive opening of a fuzzy proximity.

    Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, Vol. 16, Núm. 2, pp. 175-191

  7. Applying river formation dynamics to solve NP-complete problems

    Studies in Computational Intelligence, Vol. 193, pp. 333-368

  8. Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

    Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 31-46

  9. Decompilation of Java bytecode to Prolog by partial evaluation

    Information and Software Technology, Vol. 51, Núm. 10, pp. 1409-1427

  10. Formalizing interchange competences

    International Journal of Cognitive Informatics and Natural Intelligence, Vol. 3, Núm. 4, pp. 54-72

  11. Formally transforming user-model testing problems into implementer-model testing problems and viceversa

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453

  12. From natural semantics to C: A formal derivation of two STG machines

    Journal of Functional Programming, Vol. 19, Núm. 1, pp. 47-94

  13. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 249-266

  14. Internet: libertad, identidad y seguridad

    Crítica, Año 59, Núm. 959, pp. 52-58

  15. Mutation testing from probabilistic and stochastic finite state machines

    Journal of Systems and Software, Vol. 82, Núm. 11, pp. 1804-1818

  16. Network optimization by generalized methodology

    WSEAS Transactions on Circuits and Systems, Vol. 8, Núm. 8, pp. 676-685

  17. On the Unification of Process Semantics: Equational Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267

  18. Paramodulation with well-founded orderings

    Journal of Logic and Computation, Vol. 19, Núm. 2, pp. 263-302

  19. Patrones de diseño: ejemplo de aplicación a los objetos de aprendizaje generativos

    RED: revista de educación a distancia, Núm. 10

  20. Procesamiento de Documentos XML Dirigido por Lenguajes en Entornos de E-Learning

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 4, Núm. 3, pp. 175-183