Instituto de Tecnología del Conocimiento (ITC)

1996

1. A Maude specification of an object-oriented database model for telecommunication networks

   Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 405-423

2. A method for area estimation of datapath in high level synthesis

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, Núm. 2, pp. 258265

3. A new look at pattern matching in abstract data types

   SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 31, Núm. 6, pp. 110-121

4. A recursive path ordering for higher-order terms in η-long β-normal form

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

5. Between fuzzy-PID and PID-conventional controllers: a good choice

   Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS

6. Derivative action in pid-fuzzy controllers

   Cybernetics and Systems, Vol. 27, Núm. 5, pp. 413-424

7. Fuzzy-PID controllers vs. fuzzy-PI controllers

   IEEE International Conference on Fuzzy Systems

8. Inclusions and subtypes I: First-order case

   Journal of Logic and Computation, Vol. 6, Núm. 3, pp. 409-438

9. Inclusions and subtypes II: Higher-order case

   Journal of Logic and Computation, Vol. 6, Núm. 4, pp. 541-572

10. Influence of the Information Processing in Fuzzy Logic Controllers

    Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España

11. Method for area estimation of data-path in high level synthesis

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, Núm. 2, pp. 258-265

12. New look at pattern matching in abstract data types

    Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

13. Nuevas herramientas educativas: sistema integral de prácticas de laboratorio asistidas por computador

    Memorias: III Congreso Iberoamericano de Informática Educativa : Barranquilla, 8 al 11 [de julio] de 1996

14. Rewriting Logic as a Logical and Semantic Framework This paper is a short version of [36], where the reader can find more examples and details not discussed here.

    Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 190-225

15. Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Universidad Complutense de Madrid

16. Some aspects about the scalability of scientific applications on parallel architectures

    Parallel Computing, Vol. 22, Núm. 9, pp. 1169-1195

17. Supporting object reuse through case-based reasoning

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

18. The TINA network resource model

    IEEE Communications Magazine, Vol. 34, Núm. 3, pp. 74-79

19. The design and implementation of K: A high-level knowledge-base programming language of OSAM*.KBMS

    VLDB Journal, Vol. 5, Núm. 3, pp. 181-195

20. Theorem proving modulo associativity

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