E.T.S.I. DE INFORMÁTICA

2002

1. A tag-frame system of resource management for proof search in linear-logic programming

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

2. Analysis of symbolic sequences using the Jensen-Shannon divergence

   Physical review. E, Statistical, nonlinear, and soft matter physics, Vol. 65, Núm. 4, pp. 41905

3. Compatibility of linda-based component interfaces

   Electronic Notes in Theoretical Computer Science

4. Debugging UML designs with model checking

   Journal of Object Technology, Vol. 1, Núm. 2, pp. 101-117

5. FD3: A functional dependencies data dictionary

   ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems

6. Improving flexibility and efficiency by adding parallelism to genetic algorithms

   Statistics and Computing, Vol. 12, Núm. 2, pp. 91-114

7. Inferring phylogenetic trees using evolutionary algorithms

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

8. Isolating resource consumption in linear logic proof search: Extended abstract

   Electronic Notes in Theoretical Computer Science

9. Non-commutativity and expressive deductive logic databases

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

10. Non-commutativity and expressive deductive logic databases

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

11. Refinement of LTL formulas for abstract model checking

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

12. Using XML to implement abstraction for model checking

    Proceedings of the ACM Symposium on Applied Computing