Publicaciones (31) Publicaciones en las que ha participado algún/a investigador/a

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. A Maude environment for CafeOBJ

    Formal Aspects of Computing, Vol. 29, Núm. 2, pp. 309-334

  3. A bigraphical multi-scale modeling methodology for system of systems

    Computers and Electrical Engineering, Vol. 58, pp. 113-125

  4. A context change detection approach for ubiquitous Environments

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 10, Núm. 3, pp. 320-340

  5. A novel analysis approach for the design and the development of context-aware applications

    Journal of Systems and Software, Vol. 133, pp. 113-125

  6. A parallel swarm library based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10305 LNCS, pp. 3-15

  7. A survey of algorithmic debugging

    ACM Computing Surveys, Vol. 50, Núm. 4

  8. A unified rule format for bounded nondeterminism in SOS with terms as labels

    Journal of Logical and Algebraic Methods in Programming, Vol. 92, pp. 64-86

  9. An extended framework for passive asynchronous testing

    Journal of Logical and Algebraic Methods in Programming, Vol. 86, Núm. 1, pp. 408-424

  10. Analysis of temporal complex events in sensor networks

    Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289

  11. Anticipating anonymity in screening program databases

    International Journal of Medical Informatics, Vol. 103, pp. 20-31

  12. Applications of river formation dynamics

    Journal of Computational Science, Vol. 22, pp. 26-35

  13. CEP4HFP: Complex Event Processing for Heart Failure Prediction

    IEEE Transactions on Nanobioscience, Vol. 16, Núm. 8, pp. 708-717

  14. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79

  15. Describing correct deployment architectures based on a bigraphical multi-scale modeling approach

    Computers and Electrical Engineering, Vol. 63, pp. 277-288

  16. Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search

    BioMed Research International, Vol. 2017

  17. Exploring the Frequency Domain of Continuous Glucose Monitoring Signals to Improve Characterization of Glucose Variability and of Diabetic Profiles

    Journal of Diabetes Science and Technology, Vol. 11, Núm. 4, pp. 773-779

  18. Games for bisimulations and abstraction

    Logical Methods in Computer Science, Vol. 13, Núm. 4

  19. How to make a best-seller: Optimal product design problems

    Applied Soft Computing Journal, Vol. 55, pp. 178-196

  20. Implementation relations and probabilistic schedulers in the distributed test architecture

    Journal of Systems and Software, Vol. 132, pp. 319-335