UGR
  |
> >
None
(Ref. TIC-230)
07
noviembre
2026
noviembre 2026
<- ->
L M X J V S D
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30

Producción científica

Buscar por:



Lista de capítulos de libros

Publicación
J.L. Garrido Bullejos, P. Paderewski Rodriguez, M.L. Rodriguez Almendros, M.J. Hornos Barranco and M. Noguera García,  "A SOFTWARE ARCHITECTURE INTENDED TO DESIGN HIGH QUALITY GROUPWARE APPLICATIONS", "PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE", 59-65, 2005
M. Gea-Megias, M.J. Rodriguez Fortiz, M.L. Rodriguez Almendros, P. Paderewski Rodriguez and R. López-Cózar-Delgado,  "SC@UT: PLATAFORMA PARA LA COMUNICACIÓN EN ENTORNOS UBICUOS ADAPTATIVOS APLICADOS A NIÑOS AUTISTAS", "INTERACCION 2004: V CONGRESO INTERACCIÓN PERSONA ORDENADOR", 40-47, 2004
M.M. Gallardo-Melgarejo, M.J. Hornos Barranco, J. Martinez-Cruz and P. Merino-Gomez,  "INTEGRATION OF INTERVAL LOGIC SPECIFICATIONS INTO THE MODEL CHECKER SPIN", "ACTAS DE LAS XII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS", 317-322, 2004
J.L. Garrido Bullejos, M. Gea-Megias, M. Noguera García, M. Gonzalez-Laredo and J.A. Ibañez-Santorum,  "UNA PROPUESTA ARQUITECTÓNICA PARA EL DESARROLLO DE APLICACIONES COLABORATIOVAS", "INTERACCION 2004: V CONGRESO INTERACCIÓN PERSONA ORDENADOR", 164-171, 2004
M.J. Hornos Barranco "TOWARDS A MORE INTUITIVE SPECIFICATION AND AUTOMATIC VERIFICATION OF SYSTEM PROPERTIES WITH FBT: A TOOL FOR TRANSLATING INTERVAL FORMULAS INTO BÜCHI AUTOMATA", "VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS", 26-33, 2004
M.V. Hurtado Torres, M.D.M. Abad Grau, M.J. Hornos Barranco and R.A. Montes Soldado,  "BASES DE DATOS Y DATA WAREHOUSE: HERRAMIENTAS ESTRATÉGICAS PARA LA EFICACIA COMERCIAL", "FINANZAS, TECNOLOGIAS Y SISTEMAS DE INFORMACIÓN: LOS DESAFÍOS DEL SIGLO XXI", 601-614, 2004
M.J. Hornos Barranco, R.A. Montes Soldado, M.V. Hurtado Torres and M.D.M. Abad Grau,  "E-LEARNING: NUEVAS TECNOLOGÍAS APLICADAS A LA FORMACIÓN EN LA EMPRESA", "FINANZAS, TECNOLOGIAS Y SISTEMAS DE INFORMACIÓN: LOS DESAFÍOS DEL SIGLO XXI", 615-633, 2004
A. Abelló-Gamazo, E. Rodríguez-Uoc, F. Saltor-Soler, M. Oliva-, C. Delgado Negrete, E. Garvi-Garcia and J. Samos Jimenez,  "ON OPERATIONS TO CONFORM OBJECT-ORIENTED SCHEMAS", "ENTERPRISE INFORMATION SYSTEMS V", 49-56, 2004

Última actualización del SICA: 25/03/2026

Desarrollado por: