Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (32)
2023
-
Heuristics for Quantum Computing Dealing with 3-SAT
Mathematics, Vol. 11, Núm. 8
2021
-
Evaluating genetic algorithms through the approximability hierarchy
Journal of Computational Science, Vol. 53
2020
-
Runtime Verification of Contracts with Themulus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Themulus: A Timed Contract-calculus
International Conference on Model-Driven Engineering and Software Development
-
Themulus: A timed contract-calculus
MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development
2019
-
Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review
Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763
2017
-
A Calculus Supporting Contract Reasoning and Monitoring
IEEE Access, Vol. 5, pp. 6735-6745
-
Data-aware automatic derivation of choreography-conforming systems of services
Computer Standards and Interfaces, Vol. 53, pp. 59-79
-
Timed contract compliance under event timing uncertainty
Frontiers in Artificial Intelligence and Applications
2016
-
The simulation relation for formal E-Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
-
IDK and ICARO to develop multi-agent systems in support of Ambient Intelligence
Journal of Intelligent and Fuzzy Systems, Vol. 28, Núm. 1, pp. 3-15
2013
-
Contract compliance monitoring of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reagent: Reverse engineering of multi-agent systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Journal of Logic and Algebraic Programming
-
Improving the automatic derivation of choreography-conforming web services systems
Procedia Computer Science
2011
-
DIEGO: A tool for deriving chorEoGraphy-cOnforming web service systems
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
-
Passive testing of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Summary creation for information discovery in distributed systems
Proceedings - 19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011
2010
-
Formal passive testing of service-oriented systems
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010