Sistemas Informáticos y Computación

2010

1. A cognitive approach to negotiation

   Studies in Computational Intelligence

2. A complete axiomatization of strict equality

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

3. A formal nethod (a networked formal method)

   Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268

4. A natural implementation of plural semantics in maude

   Electronic Notes in Theoretical Computer Science

5. 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)

6. A space consumption analysis by abstract interpretation

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

7. 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)

8. 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

9. Adding remote computational capabilities to Dynamic Geometry Systems

   Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184

10. Algebraic simulations

    Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143

11. An interactive tool for data structure visualization and algorithm animation: Experiences and results

    CSEDU 2010 - 2nd International Conference on Computer Supported Education, Proceedings

12. 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)

13. An operational semantics for distributed lazy evaluation

    Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80

14. Applying RFD to construct optimal quality-investment trees

    Journal of Universal Computer Science, Vol. 16, Núm. 14, pp. 1882-1901

15. Applying River Formation Dynamics to the Steiner Tree Problem

    Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010

16. 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)

17. Automatic image segmentation of greenness in crop fields

    Proceedings of the 2010 International Conference of Soft Computing and Pattern Recognition, SoCPaR 2010

18. 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)

19. Coevolutionary architectures with straight line programs for solving the symbolic regression problem

    ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation

20. Comparing cost functions in resource analysis

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