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

2010

  1. A formal nethod (a networked formal method)

    Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268

  2. Adding remote computational capabilities to Dynamic Geometry Systems

    Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184

  3. Algebraic simulations

    Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143

  4. Applying RFD to construct optimal quality-investment trees

    Journal of Universal Computer Science, Vol. 16, Núm. 14, pp. 1882-1901

  5. Estrellas dobles: dobles nuevas sin telescopio

    Astronomía, Núm. 130, pp. 64-65

  6. Remote Symbolic Computation of Loci.

    International Journal for Technology in Mathematics Education, Vol. 17, Núm. 3, pp. 135-140