Artigos (21) Publicacións nas que participase algún/ha 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. Derivative action in pid-fuzzy controllers

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

  6. Disjointly strictly singular operators and interpolation

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

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

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

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

  11. Numerical solutions of the Maxwell-Bloch laser equations

    Journal of Computational Physics, Vol. 129, Núm. 1, pp. 181-189

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

  13. Short note: Register estimation in unscheduled dataflow graphs

    ACM Transactions on Design Automation of Electronic Systems, Vol. 1, Núm. 3, pp. 396-403

  14. Small-amplitude solitons in a nonlocal sine-Gordon model

    Physics Letters, Section A: General, Atomic and Solid State Physics, Vol. 221, Núm. 5, pp. 317-322

  15. SmallHelp: un sistema de ayuda para el entorno Smalltalk

    Revista de enseñanza y tecnología, Núm. 6, pp. 5-13

  16. SmallHelp: un sistema de ayuda para el entorno Smalltalk

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

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

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

  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. Towards integration of service and network management in TINA

    Journal of Network and Systems Management, Vol. 4, Núm. 3, pp. 299-317