Producción científica
Buscar por:
Lista de capítulos de libros
| Publicación |
|
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
|
|
C. Delgado Negrete, J. Samos Jimenez
and
M. Torres-Gil,
"PRIMITIVE OPERATIONS FOR SCHEMA EVOLUTION IN ODMG DATABASES", "OBJECT-ORIENTED INFORMATION SYSTEMS", 226-237, 2003
|
|
M. Gea-Megias, F.L. Gutierrez Vela, J.L. Garrido Bullejos
and
J.J. Cañas Delgado,
"MODELLING COLLABORATIVE ENVIRONMENT", "HUMAN-COMPUTER INTERACTION: THEORY AND PRACTICE", 904-908, 2003
|
|
F.L. Gutierrez Vela, M. Gea-Megias
and
J.L. Garrido Bullejos,
"REPRESENTACIÓN DEL CONOCIMIENTO DE GRUPO A TRAVÉS DE HIPERMEDIA COLABORATIVA", "INTERACCIÓN PERSONA ORDENADOR", 51-62, 2003
|
|
M.L. Rodriguez Almendros
and
M. Gea-Megias,
"A FRAMEWORK FOR MODELLING THE USER INTERACTION WITH A COMPLEX SYSTEM", "LECTURE NOTES IN COMPUTER SCIENCE, VOL. 2809", 50-61, 2003
|
|
M.J. Hornos Barranco
and
M.I. Capel Tuñon,
"FBT (FIL TO BÜCHI AUTOMATON TRANSLATOR): HERRAMIENTA PARA ESPECIFICAR Y VERIFICAR SISTEMAS CONCURRENTES MEDIANTE FÓRMULAS DE INTERVALOS", "CONCURRENCIA Y SISTEMAS DISTRIBUIDOS", 221-236, 2003
|
|
A. Abelló-Gamazo, J. Samos Jimenez
and
F. Saltor-Soler,
"IMPLEMENTING OPERATIONS TO NAVIGATE SEMANTIC STAR SCHEMAS", "DOLAP 2003 - PROCEEDINGS OF THE SIXTH ACM INTERNATIONAL WORKSHOP ON DATA WAREHOUSING AND OLAP", 56-62, 2003
|
|
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", "ICEIS 2003, PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS", 39-46, 2003
|
|
|
Última actualización del SICA: 25/03/2026
agosto 2026
ANTERIOR