Producción científica
Buscar por:
Lista de capítulos de libros
| Publicación |
|
M.J. Cabrera Cuevas, J.C. Torres Cantero
and
M. Gea-Megias,
"TOWARDS USER INTERFACES PROTOTYPING FROM ALGEBRAIC SPECIFICATION", "DESIGN, SPECIFICACTION AND VERIFICATION OF INTERACTIVE SYSTEMS'99", 67-83, 1999
|
|
F.L. Gutierrez Vela, J.C. Torres Cantero, N. Padilla Soriano
and
M.J. Cabrera Cuevas,
"MODELISATION OF CO-OPERATIVE WORK", "DESIGN, SPECIFICACTION AND VERIFICATION OF INTERACTIVE SYSTEMS'99", 262-267, 1999
|
|
P. Cano-Olivares, F. Velasco-Anguita
and
A.J. Leon Salas,
"DISEÑO ORIENTADO A OBJETOS DE UNA ARQUITECTURA PARA MODELADO Y VISUALIZACIÓN DE VOLÚMENES", "CEIG 1999", 63-76, 1999
|
|
F.L. Gutierrez Vela, M. Gea-Megias
and
J.C. Torres Cantero,
"VERIFICATION OF INTERACTIVE SYSTEMS USING ALGEBRAIC SPECIFICATION", "SUPPLEMENTARY PROCEEDINGS OF THE 5TH WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS", 1998
|
|
J.C. Torres Cantero
"SISTEMAS GRAFICOS INTERACTIVOS", "INFORMATICA GRAFICA -", 91-112, 1998
|
|
F.R. Feito-Higueruela, R.J. Segura-Sánchez
and
J.C. Torres Cantero,
"REPRESENTING POLYHEDRAL SOLIDS BY SIMPLICIAL COVERINGS", "PROCEEDINGS OF THE CSG 98 CONFERENCE : SET-THEORETIC SOLID MODELLING TECHNIQUES AND APPLICATIONS", 203-219, 1998
|
|
J.C. Torres Cantero
"ALGEBRAIC SPECIFICATION OF A WORLD WIDE WEB APPLICATION USING GRALPLA", "FORMAL METHODS IN HUMAN-COMPUTER INTERACTION", 225-240, 1997
|
|
C. Ureña-Almagro
and
J.C. Torres Cantero,
"IMPROVED IRRADIANCE COMPUTATION BY IMPORTANCE SAMPLING", "RENDERING TECHNIQUES?97", 275-284, 1997
|
|
|
Última actualización del SICA: 10/01/2024
mayo 2024
ANTERIOR