Author: M. Mezzanotte

Publications

Co-authors

Philippe A. Palanque

1

Remi Bastide

1

Fabio Paterno

2

Productive Colleagues

Remi Bastide

28

Philippe A. Palanque

66

Fabio Paterno

126

Publications

Mezzanotte, M., Paterno\', F. (1996): Including Time in the Notion of Interactor. In ACM SIGCHI Bulletin, 28 (2) pp. 57-61. https://www.acm.org/sigchi/bulletin/1996.2/Fabio-Paterno.html

Paterno, Fabio, Mezzanotte, M. (1996): Formal verification of undesired behaviours in the CERD case study. In: Bass, Leonard J., Unger, Claus (eds.) Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction August, 1996, Yellowstone Park, USA. pp. 213-226.

Palanque, Philippe A., Paterno, Fabio, Bastide, Remi, Mezzanotte, M. (1996): Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 162-187.