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

2015

  1. A methodology for validating cloud models using metamorphic testing

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 127-135

  2. A multi-domain incremental analysis engine and its application to incremental resource analysis

    Theoretical Computer Science, Vol. 585, pp. 91-114

  3. A practical comparator of cost functions and its applications

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504

  4. A semantic approach for designing Assistive Software Recommender systems

    Journal of Systems and Software, Vol. 104, pp. 166-178

  5. A survey on formal active and passive testing with applications to the cloud

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 85-93

  6. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

  7. AVERIST: An Algorithmic Verifier for Stability

    Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139

  8. Analysis of asynchronous programs with event-based synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559

  9. Building Real-Time Collaborative Applications with a Federated Architecture

    IJIMAI, Vol. 3, Núm. 5, pp. 47-52

  10. BusinessApp: Una aplicación para el aprendizaje del inglés mediante dispositivos móviles en el campo de los negocios

    E-Aesla, Núm. 1

  11. Discrete wavelets transform for improving greenness image segmentation in agricultural images

    Computers and Electronics in Agriculture, Vol. 118, pp. 396-407

  12. Finding your way among ISO standards for terminology,language and linguistics

    Verbeia: Journal of English and Spanish Studies = revista de estudios filológicos, Núm. 0, pp. 158-182

  13. Lifting Term Rewriting Derivations in Constructor Systems by Using Generators

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 87-99

  14. May-happen-in-parallel analysis for actor-based concurrency

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

  15. Normal higher-order termination

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

  16. Normalización de las anotaciones morfosintácticas y sintácticas del español: el caso de FreeLing

    E-Aesla, Núm. 1

  17. Object-sensitive cost analysis for concurrent objects

    Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271

  18. Quantified abstract configurations of distributed systems

    Formal Aspects of Computing, Vol. 27, Núm. 4, pp. 665-699

  19. Self-adaptive communication for collaborative mobile entities in ERCMS

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 8, Núm. 1, pp. 1-22

  20. Shape analysis in a functional language by using regular languages

    Science of Computer Programming, Vol. 111, Núm. P1, pp. 51-78