Publicacións nas que colabora con Javier Vales Alonso (5)

2002

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

  2. Pushing web pages into personal digital assistants: Need, tools and solutions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2411, pp. 276-280

  3. Real-time interception systems for the GSM protocol

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

2001

  1. A new m-commerce concept: M-mall

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2232, pp. 14-25

  2. Internet access to real equipment at computer architecture laboratories using the Java/CORBA paradigm

    Computers and Education, Vol. 36, Núm. 2, pp. 151-170