Departamento
Sistemas Informáticos y Computación
Publicaciones (31) Publicaciones en las que ha participado algún/a investigador/a
2017
-
A Calculus Supporting Contract Reasoning and Monitoring
IEEE Access, Vol. 5, pp. 6735-6745
-
A Maude environment for CafeOBJ
Formal Aspects of Computing, Vol. 29, Núm. 2, pp. 309-334
-
A bigraphical multi-scale modeling methodology for system of systems
Computers and Electrical Engineering, Vol. 58, pp. 113-125
-
A context change detection approach for ubiquitous Environments
International Journal of Autonomous and Adaptive Communications Systems, Vol. 10, Núm. 3, pp. 320-340
-
A novel analysis approach for the design and the development of context-aware applications
Journal of Systems and Software, Vol. 133, pp. 113-125
-
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
-
A survey of algorithmic debugging
ACM Computing Surveys, Vol. 50, Núm. 4
-
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
-
An extended framework for passive asynchronous testing
Journal of Logical and Algebraic Methods in Programming, Vol. 86, Núm. 1, pp. 408-424
-
Analysis of temporal complex events in sensor networks
Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289
-
Anticipating anonymity in screening program databases
International Journal of Medical Informatics, Vol. 103, pp. 20-31
-
Applications of river formation dynamics
Journal of Computational Science, Vol. 22, pp. 26-35
-
CEP4HFP: Complex Event Processing for Heart Failure Prediction
IEEE Transactions on Nanobioscience, Vol. 16, Núm. 8, pp. 708-717
-
Data-aware automatic derivation of choreography-conforming systems of services
Computer Standards and Interfaces, Vol. 53, pp. 59-79
-
Describing correct deployment architectures based on a bigraphical multi-scale modeling approach
Computers and Electrical Engineering, Vol. 63, pp. 277-288
-
Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search
BioMed Research International, Vol. 2017
-
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
-
Games for bisimulations and abstraction
Logical Methods in Computer Science, Vol. 13, Núm. 4
-
How to make a best-seller: Optimal product design problems
Applied Soft Computing Journal, Vol. 55, pp. 178-196
-
Implementation relations and probabilistic schedulers in the distributed test architecture
Journal of Systems and Software, Vol. 132, pp. 319-335