| 1994 |
|---|
| 6 | | Juan Carlos Torres,
Buenaventura Clares Rodríguez:
Understanding Direct Manipulation Interaction Algebraically.
DSV-IS 1994: 429-444 |
| 5 | | Juan Carlos Torres,
Buenaventura Clares Rodríguez:
A Formal Approach to the Specification of Graphic Objects Functions.
Comput. Graph. Forum 13(3): 371-380 (1994) |
| 1993 |
|---|
| 4 | | Salvador Villena,
Emilia Ruiz,
Cecilia Delgado,
Buenaventura Clares Rodríguez:
Deduccion del Conjunto de Condiciones Independiente de la Transaccion que Violan las Restricciones de Integridad de una Base de datos Deductiva.
GULP 1993: 485-500 |
| 3 | | Juan Carlos Torres,
Buenaventura Clares Rodríguez:
Graphic Objects: A Mathematical Abstract Model for Computer Graphics.
Comput. Graph. Forum 12(5): 311-327 (1993) |
| 1992 |
|---|
| 2 | | Salvador Villena,
Buenaventura Clares Rodríguez:
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models.
DAISD 1992: 49-79 |
| 1 | | Vilena Morales,
Ruiz Martín,
Cecilia Delgado Negrete,
Buenaventura Clares Rodríguez:
Efficient Implementation of Deductive Database Based on the Method of Potential Effects.
DEXA 1992: 545-546 |
