Producción científica
Buscar por:
Lista
| Publicación |
|
J.L. Garrido Bullejos
and
M. Gea-Megias,
"A COLOURED PETRI NET FORMALISATION FOR A UML-BASED NOTATION APPLIED TO COOPERATIVE SYSTEM MODELLING", "INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION AND VERIFICATION", 16-28, 2001
|
|
A. Abelló-Gamazo, J. Samos Jimenez
and
F. Saltor-Soler,
"A FRAMEWORK FOR THE CLASSIFICATION AND DESCRIPTION OF MULTIDIMENSIONAL DATA MODELS", "DATABASE AND EXPERT SYSTEMS APPLICATIONS", 668-677, 2001
|
|
M.J. Hornos Barranco
and
M.I. Capel Tuñon,
"AUTOMATA GENERATION FOR ON-THE-FLY AUTOMATIC VERIFICATION USING FORMULAS OF AN INTERVAL LOGIC", "APPLICATION OF CONCURRENCY TO SYSTEM DESIGN", 221-230, 2001
|
|
A. Abelló-Gamazo, J. Samos Jimenez
and
F. Saltor-Soler,
"BENEFITS OF AN OBJECT-ORIENTED MULTIDIMENSIONAL DATA MODEL", "OBJECTS AND DATABASES", 141-152, 2001
|
|
J. Samos Jimenez
"CLOSED EXTERNAL SCHEMAS IN OBJECT-ORIENTED DATABASES", "DATABASE AND EXPERT SYSTEMS APPLICATIONS", 826-835, 2001
|
|
M.V. Hurtado Torres
and
J. Parets-Llorca,
"EVOLUTIONARY INFORMATION AND DECISION SUPPORT SYSTEMS: AN INTEGRATION BASED ON ONTOLOGIES", "LECTURE NOTES IN COMPUTER SCIENCE 2178", 146-159, 2001
|
|
M. Torres-Gil
and
J. Samos Jimenez,
"GENERATION OF EXTERNAL SCHEMAS IN ODMG DATABASES", "INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS'2001)", 89-98, 2001
|
|
J.L. Garrido Bullejos
and
M. Gea-Megias,
"MODELLING DYNAMIC GROUP BEHAVIOURS", "INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION AND VERIFICATION", 128-143, 2001
|
|
|
Última actualización del SICA: 25/03/2026
agosto 2026
ANTERIOR