Departament
Sistemas Informáticos y Computación
Aportacions a congrés (62) Publicacions en què ha participat algun/a investigador/a
2010
-
A cognitive approach to negotiation
Studies in Computational Intelligence
-
A complete axiomatization of strict equality
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A natural implementation of plural semantics in maude
Electronic Notes in Theoretical Computer Science
-
A simple region inference algorithm for a first-order functional language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A space consumption analysis by abstract interpretation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes
SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education
-
An interactive tool for data structure visualization and algorithm animation: Experiences and results
CSEDU 2010 - 2nd International Conference on Computer Supported Education, Proceedings
-
An introduction to Maude and some of its applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Applying River Formation Dynamics to the Steiner Tree Problem
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010
-
Applying constraint logic programming to SQL test case generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Automatic image segmentation of greenness in crop fields
Proceedings of the 2010 International Conference of Soft Computing and Pattern Recognition, SoCPaR 2010
-
Certified absence of dangling pointers in a language with explicit deallocation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Coevolutionary architectures with straight line programs for solving the symbolic regression problem
ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation
-
Comparing cost functions in resource analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10)
-
Decidability problems in Petri nets with names and replication
Fundamenta Informaticae
-
Declarative debugging of missing answers for Maude specifications
Leibniz International Proceedings in Informatics, LIPIcs
-
Depth boundedness in multiset rewriting systems with name binding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Enhancing the debugging of maude specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)