Miranda González, Francisco Javier

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 
Issued date: 2007
Source: Ada User Journal [ISSN 1381-6551], v. 28 (3), p. 178-183, (Septiembre 2007)
Actas de congresos
Towards_Certification_Object.pdf.jpg
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
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
ifaces_ae06.pdf.jpg
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
Ada-2005_Interface_Types.pdf.jpg
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
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
The_Implementation_of_Ada_2005_Synchronized_Interf.pdf.jpg
Miranda, Javier ; Schonberg, Edmond
Issued date: 2004
Source: Proceedings of the ACM SIGAda Annual International Conference; SIGAda, p. 51-60
Actas de congresos
GNAT_on_the_road_to_Ada_2005.pdf.jpg
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
mar-jm-mgh-2004a.pdf.jpg
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
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 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
Proposal_Integrate_POSIX.pdf.jpg
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
04_Real_final.pdf.jpg
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
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, 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
Miranda González, Francisco Javier ; Guerra Santana, Francisco José ; Martin, José; González, Alexis
Issued date: 2002
Source: 10Th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, Proceedings, p. 196-200, (2002)
Actas de congresos
Guerra Santana, Francisco José ; Miranda González, Francisco Javier ; Santos, J. M.; Martel Jordán, Ernestina Ángeles ; Hernández Acosta, Luis Miguel , et al
Issued date: 2002
Source: 10Th Euromicro Workshop On Parallel, Distributed And Network-Based Processing, Proceedings, p. 188-195, (2002)
Actas de congresos
Miranda González, Francisco Javier ; Guerra Santana, Francisco José ; Álvarez, A.; Arévalo, S.
Issued date: 2001
Source: Proceedings - 9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001 (905045), p. 211-216, (2001)
Actas de congresos
Miranda, J. ; Guerra, F. ; Martín, J.; González, Alexis
Issued date: 1999
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1622, p. 226-237
JCR: 0,872
- Q1
Actas de congresos