Artículos (17) Publicaciones en las que ha participado algún/a investigador/a

2011

  1. Automatic segmentation of relevant textures in agricultural images

    Computers and Electronics in Agriculture, Vol. 75, Núm. 1, pp. 75-83

  2. Closed-form upper bounds in static cost analysis

    Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 161-203

  3. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

    Information Processing Letters, Vol. 111, Núm. 9, pp. 408-413

  4. Decidability and complexity of Petri nets with unordered data

    Theoretical Computer Science, Vol. 412, Núm. 34, pp. 4439-4451

  5. Diseño y construcción de Sistemas de Aprendizaje Electrónico

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 210, pp. 8-9

  6. Efficient local unfolding with ancestor stacks

    Theory and Practice of Logic Programming, Vol. 11, Núm. 1, pp. 1-32

  7. Exact internet accessible computation of paths of points in planar linkages and diagrams

    Computer Applications in Engineering Education, Vol. 19, Núm. 4, pp. 835-841

  8. Handling Non-linear Operations in the Value Analysis of COSTA

    Electronic Notes in Theoretical Computer Science, Vol. 279, Núm. 1, pp. 3-17

  9. Implantación de un campus virtual de grandes dimensiones: El campus virtual de la UCM

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 6, Núm. 4, pp. 167-174

  10. Ingeniería de sistemas de Aprendizaje Electrónico y esfuerzos de estandarización: un caso de estudio relativo a los Almacenes de Objetos Didácticos

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 210, pp. 10-12

  11. Ingeniería del Software en eLearning

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 6, Núm. 4, pp. 164-166

  12. Planning of work schedules through the use of a hierarchical multi-agent system

    Automation in Construction, Vol. 20, Núm. 8, pp. 1227-1241

  13. Sage: una aplicación libre para matemáticas

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 67, pp. 41-46

  14. Software engineering infrastructure in a large virtual campus

    Interactive Technology and Smart Education, Vol. 8, Núm. 3, pp. 172-185

  15. Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem

    Evolutionary Intelligence, Vol. 4, Núm. 1, pp. 51-65

  16. Testing timed systems modeled by Stream X-machines

    Software and Systems Modeling, Vol. 10, Núm. 2, pp. 201-217

  17. Text Simplification in Simplext: Making Text More Accessible

    Procesamiento del lenguaje natural, Núm. 47, pp. 341-342