Author: Buenaventura Clares Rodríguez
Publications
Co-authors
Productive Colleagues
Publications
Torres, Juan Carlos, Rodríguez, Buenaventura Clares (1994): A Formal Approach to the Specification of Graphic Objects Functions. In Comput. Graph. Forum, 13 (3) pp. 371-380.
Torres, Juan Carlos, Rodríguez, Buenaventura Clares (1993): Graphic Objects: A Mathematical Abstract Model for Computer Graphics. In Comput. Graph. Forum, 12 (5) pp. 311-327.
Torres, Juan Carlos, Rodríguez, Buenaventura Clares (1994): Understanding Direct Manipulation Interaction Algebraically. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 429-444.