Publicaciones (19) 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. A strong logic programming view for static embedded implications

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

  3. Agentes inteligentes y su interacción con mundos virtuales: un enfoque difuso

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas

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

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

  5. Depuración de disparadores en bases de datos activas

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 151-162

  6. Designing spelling correctors for inflected languages using lexical transducers

    9th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1999

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

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

  8. Learning minimal covers of functional dependencies with queries

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

  9. MLDS: A translator-oriented MultiLingual dictionary system

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

  10. Mapping Multilingual Hierarchies Using Relaxation Labeling

    Proceedings of the 1999 Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora, EMNLP 1999

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

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

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

  13. Medición de especificaciones de software

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

  14. Oinarrizko programazioa: ariketa bilduma

    Bilbo : Udako Euskal Unibertsitatea, 1999

  15. Planificación de la instrucción en sistemas tutores inteligentes evolutivos desde un enfoque de razonamiento basado en casos

    Leioa (Bizkaia) : Servicio Editorial de la Universidad del País Vasco = Argitarapen Zerbitzua, Euskal Herriko Unibertsitatea, 1999

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

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

  17. Spanish phoneme classification by means of a hierarchy of kohonen self-organizing maps

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

  18. Un entorno para la edición y simulación de plantas de producción virtuales

    Actas del XI Congreso Internacional de Ingeniería Gráfica: Logroño-Pamplona. 2, 3 y 4 junio

  19. ¿Para qué la tesis doctoral?

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 1-6