Articles (12) Publicacions en què ha participat algun/a investigador/a

2002

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

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439

  2. A fully syntactic AC-RPO

    Information and Computation, Vol. 178, Núm. 2, pp. 515-533

  3. A probabilistic neural network for attribute selection in stereovision matching

    Neural Computing and Applications, Vol. 11, Núm. 2, pp. 83-89

  4. A system to generate electronic books on programming exercises

    Electronic Library, Vol. 20, Núm. 4, pp. 314-321

  5. Age dedifferentiation hypothesis: Evidence from the WAIS III

    Intelligence, Vol. 30, Núm. 5, pp. 395-408

  6. Aplicación del diseño de control multiobjetivo y multivariable, con algoritmos genéticos, al proceso de la fermentación de la cerveza

    Alimentación, equipos y tecnología, Año 21, Núm. 168, pp. 49-57

  7. Clasificación de texturas naturales mediante agrupamiento borroso

    Ingeniería civil, Núm. 127, pp. 83-89

  8. Control of a cryogenic process using a fuzzy PID scheduler

    Control Engineering Practice, Vol. 10, Núm. 10, pp. 1147-1152

  9. Formación en nuevas tecnologías de la comunicación. Repercusiones en el empleo femenino

    Revista cooperación internacional = International cooperation, Año 5, Núm. 8, pp. 39-57

  10. Maude: Specification and programming in rewriting logic

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243

  11. Rewriting logic: Roadmap and bibliography

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 121-154

  12. The narrowing-driven approach to functional logic program specialization

    New Generation Computing, Vol. 20, Núm. 1, pp. 3-26