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

1999

  1. A proposal for a computer security course

    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 31, Núm. 2, pp. 42-47

  2. Algebraic framework for the definition of compositional semantics of normal logic programs

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123

  3. Instructional planning in intelligent evolutive tutoring systems from a case-based reasoning approach

    AI Communications, Vol. 12, Núm. 4, pp. 259-260

  4. MLDS: A translator-oriented MultiLingual dictionary system

    Natural Language Engineering, Vol. 5, Núm. 4, pp. 325-353

  5. Mapping among knowledge bases and data repositories: Precise definition of its syntax and semantics

    Information Systems, Vol. 24, Núm. 4, pp. 275-301

  6. Measurement and prediction of the verification cost of the design in a formalized methodology

    Information and Software Technology, Vol. 41, Núm. 7, pp. 421-434

  7. Medición de especificaciones de software

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 137, pp. 17

  8. Semiotics of the artificial: The ′self′ of self-reproducing systems in cellular automata

    Semiotica, Vol. 127, Núm. 1-4, pp. 295-320