Departamento
Sistemas Informáticos y Computación
Publicacións (88) Publicacións nas que participase algún/ha investigador/a
2011
-
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)
-
A complete declarative debugger for maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
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
-
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)
-
A modular semantics for higher-order declarative programming with constraints
PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming
-
A parallel skeleton for genetic algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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)
-
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
-
A theoretical framework for the higher-order cooperation of numeric constraint domains
Electronic Notes in Theoretical Computer Science
-
Accelerations for the coverability set of Petri nets with names
Fundamenta Informaticae
-
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
-
Adaptive middleware architecture for group communication activities
2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011 - Proceedings
-
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
-
An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs
Procedia Computer Science
-
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
-
Automatic segmentation of relevant textures in agricultural images
Computers and Electronics in Agriculture, Vol. 75, Núm. 1, pp. 75-83
-
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
-
Axiomatizing weak ready simulation semantics over BCCSP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)