Sistemas Informáticos y Computación

2011

1. A case study on the use of genetic algorithms to generate test cases for temporal systems

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A complete declarative debugger for maude

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3. A deductive database with datalog and SQL query languages

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

4. A learning methodology based on semantic tableaux for software engineering education

   2011 24th IEEE-CS Conference on Software Engineering Education and Training, CSEE and T 2011 - Proceedings

5. A logic teaching tool based on tableaux for verification and debugging of algorithms

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. A modular semantics for higher-order declarative programming with constraints

   PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming

7. A parallel skeleton for genetic algorithms

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

8. A power-aware based storage architecture for high performance computing

   Proc.- 2011 IEEE International Conference on HPCC 2011 - 2011 IEEE International Workshop on FTDCS 2011 -Workshops of the 2011 Int. Conf. on UIC 2011- Workshops of the 2011 Int. Conf. ATC 2011

9. A preliminary general testing method based on genetic algorithms

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

10. A program transformation for returning states in functional-logic programs

    PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

11. A theoretical framework for the higher-order cooperation of numeric constraint domains

    Electronic Notes in Theoretical Computer Science

12. Accelerations for the coverability set of Petri nets with names

    Fundamenta Informaticae

13. Actas del 2º Taller sobre Ingeniería del Software en e-learning (ISELEAR'11): Madrid, 15-16 de Septiembre de 2011

    Universidad Complutense de Madrid

14. Adaptive middleware architecture for group communication activities

    2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011 - Proceedings

15. An educational tool based on semantic tableaux for verification and debugging of algorithms: Experiences and results

    CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education

16. An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs

    Procedia Computer Science

17. An innovative teaching tool based on semantic tableaux for verification and debugging of programs

    ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science

18. Automatic segmentation of relevant textures in agricultural images

    Computers and Electronics in Agriculture, Vol. 75, Núm. 1, pp. 75-83

19. Avances en Ingeniería del Software Aplicada al E-learning: actas revisadas y extendidas del 1er Taller sobre Ingeniería del Software en e-Learning-ISELEAR'10

    Universidad Complutense de Madrid

20. Axiomatizing weak ready simulation semantics over BCCSP

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)