|
|
Miranda González, Francisco Javier ; Rubio Lacoba, Sergio; Chamorro Mera, Antonio; Loureiro, Sandra Maria Correia Issued date: 2013 Source: Cuadernos de Ciencias Económicas y Empresariales[ISSN 0211-4356] (64), p. 81-98 Artículo |
Miranda González, Francisco Javier Issued date: 2010 Source: Seguritecnia[ISSN 0210-8747] (365), p. 102-103 Artículo |
Issued date: 2007 Source: Ada User Journal [ISSN 1381-6551], v. 28 (3), p. 178-183, (Septiembre 2007) Actas de congresos |
Garcia-Rodriguez, Francisco; Miranda, Javier ; Fortes Gálvez, José Issued date: 2007 Source: Abdennadher N., Kordon F. (eds) Reliable Software Technologies – Ada Europe 2007. Lecture Notes in Computer Science, vol 4498, p. 235-245 . Springer, Berlin, Heidelberg Actas de congresos |
Miranda, Javier ; Schonberg, Edmond Issued date: 2006 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 4006 LNCS, p. 179-190 Actas de congresos |
Comar, Cyrille; Gingell, Matthew; Hainque, Olivier; Miranda González, Francisco Javier Issued date: 2006 Source: Proceedings of the GCC Developers' Summit 2006, p. 59-74 Actas de congresos |
Miranda, Javier ; Schonberg, Edmond; Dismukes, Gary Issued date: 2005 Source: Lecture Notes in Computer Science[ISSN 0302-9743],v. 3555, p. 208-219 JCR: 0,402 - Q4 Actas de congresos |
Miranda, Javier ; Schonberg, Edmond; Kirtchev, Hristian Issued date: 2005 Source: Proceedings of the ACM SIGAda Annual International Conference; SIGAda, p. 41-48 Actas de congresos |
Rivas, Mario Aldea; Miranda, Javier ; Harbour, Michael González Issued date: 2005 Source: Lecture Notes in Computer Science[ISSN 0302-9743],v. 3555, p. 220-235 JCR: 0,402 - Q4 Actas de congresos |
Martel, Ernestina ; Miranda, Javier ; Hernández, Luís ; Guerra, Francisco Issued date: 2004 Source: Proceedings - Euromicro Conference on Parellel, Distribeted and Network-based Proceeding, p. 159-166 Actas de congresos |
Miranda, Javier ; Schonberg, Edmond Issued date: 2004 Source: Proceedings of the ACM SIGAda Annual International Conference; SIGAda, p. 51-60 Actas de congresos |
Real, Jorge; Burns, Alan; Miranda, Javier ; Schonberg, Edmond; Crespo, Alfons Issued date: 2004 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 3063, p. 261-272 JCR: 0,513 - Q4 Actas de congresos |
Aldea, Mario; Miranda, Javier ; Harbour, Gonzalez Issued date: 2004 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 3063, p. 283-296 JCR: 0,513 - Q4 Actas de congresos |
Martel, Ernestina ; Guerra, Francisco ; Miranda González, Francisco Javier ; Hernández, Luis Issued date: 2003 Source: Reliable Software Technologies - Ada-Europe 2003[ISSN 0302-9743],v. 2655, p. 182-195, (2003) Artículo |
Miranda González, Javier ; González Harbour, M. Issued date: 2003 Source: Reliable Software Technologies - Ada-Europe 2003 [ISSN 0302-9743], v. 2655, p. 344-358, (2003) Actas de congresos |
Issued date: 2003 Source: Ada User Journal[ISSN 1381-6551],v. 24, p. 55-59 Reseña |
Miranda, Javier ; Schonberg, Edmond; Masmano, Miguel; Real, Jorge; Crespo, Alfons Issued date: 2003 Source: Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, p. 24-27 Actas de congresos |
Miranda, Javier ; Guerra, Francisco ; Martel, Ernestina ; Martìn, José; González, Alexis Issued date: 2002 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 2361, p. 179-192 JCR: 0,515 - Q3 Actas de congresos |
Martel, E. ; Guerra, F. ; Miranda, J. Issued date: 2002 Source: Proceedings - IEEE Symposium on Computers and Communications[ISSN 1530-1346] (1021686), p. 245-250 Actas de congresos |
Martel, Ernestina ; Guerra, Francisco ; Miranda, Javier Issued date: 2002 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 2361, p. 269-281 JCR: 0,515 - Q3 Actas de congresos |