Publicacións nas que colabora con MANUEL JOSE FERNANDEZ IGLESIAS (24)

2020

  1. Design thinking, guía de iniciación

    Servizo de Publicacións

2018

  1. Evaluation of commercial-off-the-shelf wrist wearables to estimate stress on students

    Journal of Visualized Experiments, Vol. 2018, Núm. 136

  2. La metodología "Design Thinking" aplicada en aprendizaje basado en proyectos

    Nuevos desafíos en la enseñanza superior (Educación), pp. 319-323

2009

  1. Automating content update for MHP applications: A practical experience

    2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009

2005

  1. Wireless protocol testing and validation supported by formal methods. A hands-on report

    Journal of Systems and Software, Vol. 75, Núm. 1-2, pp. 139-154

2004

  1. Applying ICT for educational purposes in the environmental sciences domain

    Proceedings - 2004 International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2004

2002

  1. Cellular network for real-time mobile auction

    Wireless Personal Communications, Vol. 22, Núm. 1, pp. 23-40

  2. Heuristic-driven techniques for test case selection

    Electronic Notes in Theoretical Computer Science

  3. Heuristic-driven test case selection from formal specifications. A case study

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

  4. On the application of formal description techniques to the design of interception systems for GSM mobile terminals

    Journal of Systems and Software, Vol. 60, Núm. 1, pp. 51-58

  5. Real-time interception systems for the GSM protocol

    IEEE Transactions on Vehicular Technology, Vol. 51, Núm. 5, pp. 904-914

2000

  1. An authoring environment for the SimulNet educational platform

    Computers and education in the 21st century (Kluwer Academic Publishers), pp. 65-78

  2. An undergraduate low-level computer communications laboratory oriented towards industry

    International Journal of Electrical Engineering Education, Vol. 37, Núm. 2, pp. 155-156

  3. Prueba de sistemas distribuidos mediante estrategias de caja gris

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

1999

  1. Improving computer support for cooperative applications over internet

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

  2. Un sistema telemático para la distribución supervisada de software a través de Internet

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

1998

  1. Jamming system for mobile communications

    Electronics Letters, Vol. 34, Núm. 22, pp. 2166-2167

  2. Un modelo transformacional para el razonamiento sobre tipos abstractos de datos

    VI Jornadas de Concurrencia