Department
Sistemas Informáticos y Computación
Publications (72) Publications in which a researcher has participated
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 formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
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
-
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184
-
Algebraic simulations
Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143
-
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)
-
An operational semantics for distributed lazy evaluation
Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80
-
Applying RFD to construct optimal quality-investment trees
Journal of Universal Computer Science, Vol. 16, Núm. 14, pp. 1882-1901
-
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)