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 natural implementation of plural semantics in maude

   Electronic Notes in Theoretical Computer Science

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

5. A space consumption analysis by abstract interpretation

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

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

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

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

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

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

10. Applying River Formation Dynamics to the Steiner Tree Problem

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

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

12. Automatic image segmentation of greenness in crop fields

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

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

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

    ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation

15. Comparing cost functions in resource analysis

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

16. DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS

    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10)

17. Decidability problems in Petri nets with names and replication

    Fundamenta Informaticae

18. Declarative debugging of missing answers for Maude specifications

    Leibniz International Proceedings in Informatics, LIPIcs

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

20. Enhancing the debugging of maude specifications

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