Publicaciones (45) Publicaciones en las que ha participado algún/a investigador/a

1996

  1. A G/M/1-Queue with Exponential Retrial

    Top, Vol. 4, Núm. 1, pp. 99-120

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

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

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

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

  6. A rewriting logic for declarative programming

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

  7. Algebraic support for transfomational hardware allocation

    Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

  8. Algebraic support for transformational hardware allocation

    Proceedings of European Design and Test Conference

  9. Arquitectura de ordenadores: teoría y ejercicios resueltos

    RA-MA

  10. Aspectos algorítmicos de algunos problemas de Geometría semialgebraica

    Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996

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

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

  12. Derivative action in pid-fuzzy controllers

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

  13. Disjointly strictly singular operators and interpolation

    Royal Society of Edinburgh - Proceedings A, Vol. 126, Núm. 5, pp. 1011-1026

  14. Dynamic load balancing in a heterogeneous environment under PVM

    Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996

  15. EPIDO: A surveillance information system to automatically detect notifiable diseases

    Studies in Health Technology and Informatics

  16. El lenguaje y la informática: Dependencias mutuas

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 5

  17. Formalismos lógicos para el procesamiento del lenguaje natural

    Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996)

  18. Free variable tableaux for a many sorted logic with preorders

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

  19. Functional skeletons generate process topologies in Eden

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

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

    IEEE International Conference on Fuzzy Systems