Scientific production
Search by:
Lista de artículos
| Publication |
|
J. Ruiz De Miras
and
F.R. Feito-Higueruela,
"MATHEMATICAL FREE-FORM SOLID MODELLING BASED ON EXTENDED SIMPLICIAL CHAINS", "Journal Of Wscg (Plze¿)"
, vol.7, 241-248, 1999
|
|
M. Gea Megias, F.L. Gutierrez Vela, J.C. Torres Cantero
and
M.J. Cabrera Cuevas,
"MODELISATION OF CO-OPERATIVE WORK", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '99"
, 262-267, 1999
|
|
M. Gea-Megias, F.L. Gutierrez Vela, J.C. Torres Cantero
and
M.J. Cabrera Cuevas,
"MODELISATION OF CO-OPERATIVE WORK", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '99"
, 262-267, 1999
|
|
M.J. Cabrera Cuevas, J.C. Torres Cantero
and
M. Gea Megias,
"TOWARDS USER INTERFACES PROTOTYPING FROM ALGEBRAIC SPECIFICATION", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '99"
, 67-83, 1999
|
|
M.J. Cabrera Cuevas, J.C. Torres Cantero
and
M. Gea-Megias,
"TOWARDS USER INTERFACES PROTOTYPING FROM ALGEBRAIC SPECIFICATION", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '99"
, 67-83, 1999
|
|
F.L. Gutierrez Vela, M. Gea-Megias
and
J.C. Torres Cantero,
"VERIFICATION OF INTERACTIVE SYSTEM USING ALGEBRAIC SPECIFICATION", "Eurographics technical report series"
, 1-1, 1998
|
|
F.L. Gutierrez Vela, M. Gea Megias
and
J.C. Torres Cantero,
"VERIFICATION OF INTERACTIVE SYSTEM USING ALGEBRAIC SPECIFICATION", "EUROGRAPHICS TECHNICAL REPORT SERIES"
, 1-1, 1998
|
|
C. Ureña-Almagro
and
J.C. Torres Cantero,
"A FORMALIZATION AND CLASSIFICATION OF GLOBAL ILLUMINATION METHODS", "Computers & Graphics"
, vol.21, 225-236, 1997
|
|
|
SICA last updated: 30/04/2025