UGR
  |
> >
None
(Ref. TIC-230)

-> Inicio > Producción científica

07
septiembre
2026
septiembre 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

Publicación
A.B. Pelegrina Ortiz-, C. Rodríguez Domínguez, J.L. Garrido Bullejos, M.L. Rodriguez Almendros and M. Bermudez Edo,  "UN MARCO DE TRABAJO DE SOPORTE A LA INTEGRACIÓN DE APLICACIONES GROUPWARE", "INTERACCIÓN 2009. X CONGRESO INTERNACIONAL DE INTERACCIÓN PERSONA-ORDENADOR (10) (10.2009.BARCELONA(ESPAÑA))", 1-10, 2009
P.J. Sola Campoy, A.B. Pelegrina Ortiz, J.L. Garrido Bullejos, S. Real Martinez and M. Bermudez Edo,  "A DEVELOPMENT FRAMEWORK FOR THE INTEGRATION OF DISTRIBUTED GROUPWARE APPLICATIONS",  AVANCES EN SISTEMAS E INFORMÁTICA , 13-23, 2009
C. Rodríguez Domínguez, A.B. Pelegrina-Ortiz, J.L. Garrido Bullejos, M.L. Rodriguez Almendros and M. Bermudez Edo,  "A DEVELOPMENT FRAMEWORK FOR THE INTEGRATION OF DISTRIBUTED GROUPWARE APPLICATIONS",  AVANCES EN SISTEMAS E INFORMÁTICA , 13-23, 2009
K. Benghazi Akhlaki, M.V. Hurtado Torres, S. Real Martinez and M. Noguera García,  "APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS",  LECTURE NOTES IN COMPUTER SCIENCE, vol.5842 , 381-390, 2009
K. Benghazi-Akhlaki, M.V. Hurtado Torres, M.L. Rodriguez Almendros and M. Noguera García,  "APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS",  Lecture Notes in Computer Science, vol.5842 , 381-390, 2009
M.I. Capel Tuñon, L.E. Mendoza Morales and K. Benghazi Akhlaki,  "AUTOMATIC VERIFICATION OF BUSINESS PROCESS INTEGRITY",  INTERNATIONAL JOURNAL OF SIMULATION AND PROCESS MODELLING, vol.4 , 167-182, 2009
L.E. Mendoza Morales, M.I. Capel Tuñon, M.A. Pérez and K. Benghazi Akhlaki,  "COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS",  LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, vol.19 , 213-225, 2009
R. Duque , M. Noguera García, C. Bravo , J.L. Garrido Bullejos and S. Real Martinez,  "CONSTRUCTION OF INTERACTION OBSERVATION SYSTEMS FOR COLLABORATION ANALYSIS IN GROUPWARE APPLICATIONS",  ADVANCES IN ENGINEERING SOFTWARE , vol.40 , 1242-1250, 2009
<- ANTERIOR 59 60 61 62 63 64 65 66 67 68 69 SIGUIENTE ->

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

Desarrollado por: