2009 |
133 | EE | Giuseppe Ghiani,
Fabio Paternò,
Lucio Davide Spano:
Cicero Designer: An Environment for End-User Development of Multi-Device Museum Guides.
IS-EUD 2009: 265-274 |
2008 |
132 | | Peter Forbrig,
Fabio Paternò:
Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
Springer 2008 |
131 | EE | Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources.
AVI 2008: 260-267 |
130 | EE | Joerg Beringer,
Gerhard Fischer,
Piero Mussio,
Brad A. Myers,
Fabio Paternò,
Boris E. R. de Ruyter:
The next challenge: from easy-to-use to easy-to-develop. are you ready?
CHI Extended Abstracts 2008: 2257-2260 |
129 | EE | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò:
Supporting orientation for blind people using museum guides.
CHI Extended Abstracts 2008: 3417-3422 |
128 | EE | Giulio Mori,
Fabio Paternò,
Lucio Davide Spano:
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.
DSV-IS 2008: 181-193 |
127 | EE | Fabio Paternò,
Carmen Santoro,
Lucio Davide Spano:
Designing Usable Applications based on Web Services.
I-USED 2008 |
126 | EE | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò,
Carmen Santoro:
Exploiting RFIDs and Tilt-Based Interaction for Mobile Museum Guides Accessible to Vision-Impaired Users.
ICCHP 2008: 1070-1077 |
125 | EE | Elia Contini,
Barbara Leporini,
Fabio Paternò:
A Semi-automatic Support to Adapt E-Documents in an Accessible and Usable Format for Vision Impaired Users.
ICCHP 2008: 242-249 |
124 | EE | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò:
Vibrotactile feedback as an orientation aid for blind users of mobile guides.
Mobile HCI 2008: 431-434 |
123 | EE | Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
Preserving Rich User Interface State in Web Applications across Various Platforms.
TAMODIA/HCSE 2008: 255-262 |
122 | EE | Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
User Interface Migration between Mobile Devices and Digital TV.
TAMODIA/HCSE 2008: 287-292 |
121 | EE | Fabio Paternò,
Carmen Santoro,
Jani Mäntyjärvi,
Giulio Mori,
Sandro Sansone:
Authoring pervasive multimodal user interfaces.
Int. J. Web Eng. Technol. 4(2): 235-261 (2008) |
120 | EE | José A. Macías,
Fabio Paternò:
Customization of Web applications through an intelligent environment exploiting logical interface descriptions.
Interacting with Computers 20(1): 29-47 (2008) |
2007 |
119 | EE | Renata Bandelloni,
Giulio Mori,
Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
Web User Interface Migration through Different Modalities with Dynamic Device Discovery.
AEWSE 2007 |
118 | EE | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Authoring Multi-device Web Applications with Database Access.
ICWE 2007: 182-187 |
117 | EE | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
Easing Web Guidelines Specification.
ICWE 2007: 254-268 |
116 | EE | Giuseppe Ghiani,
Fabio Paternò:
Multimodal PDA Interfaces to Assist Drivers in Monitoring Their Vehicles.
INTERACT (1) 2007: 297-309 |
115 | EE | Fabio Paternò:
Designing Multi-device User Interfaces: How to Adapt to the Changing Device.
INTERACT (2) 2007: 702-703 |
114 | EE | Riccardo Dini,
Fabio Paternò,
Carmen Santoro:
An environment to support multi-user interaction and cooperation for improving museum visits through games.
Mobile HCI 2007: 515-521 |
113 | EE | Fabio Paternò,
Andrea Russino,
Carmen Santoro:
Remote Evaluation of Mobile Applications.
TAMODIA 2007: 155-169 |
2006 |
112 | EE | Fabio Paternò,
Federico Giammarino:
Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices.
AVI 2006: 329-335 |
111 | EE | Lucia Terrenghi,
Richard May,
Patrick Baudisch,
Wendy E. Mackay,
Fabio Paternò,
Jim Thomas,
Mark Billinghurst:
Information visualization and interaction techniques for collaboration across multiple displays.
CHI Extended Abstracts 2006: 1643-1646 |
110 | EE | Victor M. Ruiz Penichet,
Fabio Paternò,
José A. Gallud,
María Dolores Lozano:
Collaborative Social Structures and Task Modelling Integration.
DSV-IS 2006: 67-80 |
109 | | José A. Macías,
Fabio Paternò:
Intelligent Support for Nomadic Web Applications Personalization.
GI Jahrestagung (1) 2006: 584-587 |
108 | EE | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
An Environment for Defining and Handling Guidelines for the Web.
ICCHP 2006: 176-183 |
107 | EE | Jani Mäntyjärvi,
Fabio Paternò,
Zigor Salvador,
Carmen Santoro:
Scan and tilt: towards natural interaction for mobile museum guides.
Mobile HCI 2006: 191-194 |
106 | EE | Renata Bandelloni,
Fabio Paternò,
Zigor Salvador:
Dynamic Discovery and Monitoring in Migratory Interactive Services.
PerCom Workshops 2006: 604-607 |
105 | EE | Jani Mäntyjärvi,
Fabio Paternò,
Carmen Santoro:
Incorporating Tilt-Based Interaction in Multimodal User Interfaces for Mobile Devices.
TAMODIA 2006: 230-244 |
104 | EE | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
Flexible tool support for accessibility evaluation.
Interacting with Computers 18(5): 869-890 (2006) |
103 | EE | Francesco Correani,
Barbara Leporini,
Fabio Paternò:
Automatic inspection-based support for obtaining usable Web sites for vision-impaired users.
Universal Access in the Information Society 5(1): 82-95 (2006) |
2005 |
102 | | Maria Francesca Costabile,
Fabio Paternò:
Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
Springer 2005 |
101 | EE | Silvia Berti,
Fabio Paternò,
Carmen Santoro:
A Taxonomy for Migratory User Interfaces.
DSV-IS 2005: 149-160 |
100 | EE | Sandra Basnyat,
Joan De Boeck,
Erwin Cuppens,
Leonel Nóbrega,
Francisco Montero,
Fabio Paternò,
Kevin Schneider:
Future Challenges of Model-Based Design.
DSV-IS 2005: 261 |
99 | EE | Fabio Paternò,
Marco Volpe:
Natural Modelling of Interactive Applications.
DSV-IS 2005: 67-77 |
98 | EE | Silvia Berti,
Fabio Paternò:
Migratory MultiModal interfaces in MultiDevice environments.
ICMI 2005: 92-99 |
97 | EE | Silvia Berti,
Fabio Paternò:
Development of Multi-modal Interfaces in Multi-device Environments.
INTERACT 2005: 1067-1070 |
96 | EE | Renata Bandelloni,
Silvia Berti,
Fabio Paternò:
Analysing Trans-Modal Interface Migration.
INTERACT 2005: 1071-1074 |
95 | EE | Renata Bandelloni,
Giulio Mori,
Fabio Paternò:
Dynamic generation of web migratory interfaces.
Mobile HCI 2005: 83-90 |
94 | EE | A. Bruno,
Fabio Paternò,
Carmen Santoro:
Supporting interactive workflow systems through graphical web interfaces and interactive simulators.
TAMODIA 2005: 63-70 |
93 | EE | Fabio Paternò:
Model-based tools for pervasive usability.
Interacting with Computers 17(3): 291-315 (2005) |
2004 |
92 | EE | Silvia Berti,
Francesco Correani,
Giulio Mori,
Fabio Paternò,
Carmen Santoro:
TERESA: a transformation-based environment for designing and developing multi-device interfaces.
CHI Extended Abstracts 2004: 793-794 |
91 | EE | Francesco Correani,
Giulio Mori,
Fabio Paternò:
Supporting Flexible Development of Multi-device Interfaces.
EHCI/DS-VIS 2004: 346-362 |
90 | EE | Fabio Paternò:
Tools and Techniques for Pervasive Usability.
ENC 2004: 6 |
89 | | Ana-Maria Marhan,
Fabio Paternò,
Carmen Santoro:
Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices.
Human Error, Safety and Systems Development 2004: 301-318 |
88 | | Silvia Berti,
Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Designing Multi-Device Interactive Services through Multiple Abstraction Levels.
ICWE Workshops 2004: 339-352 |
87 | | Fabio Paternò:
Multimodality and multi-platform interactive systems.
IFIP Congress Topical Sessions 2004: 421-426 |
86 | EE | Yann Laurillau,
Fabio Paternò:
CoCicero: un système interactif pour la visite collaborative de musée sur support mobile.
IHM 2004: 101-108 |
85 | EE | Renata Bandelloni,
Fabio Paternò:
Flexible interface migration.
IUI 2004: 148-155 |
84 | EE | Silvia Berti,
Giulio Mori,
Fabio Paternò,
Carmen Santoro:
A transformation-based environment for designing multi-device interactive applications.
IUI 2004: 352-353 |
83 | EE | Renata Bandelloni,
Silvia Berti,
Fabio Paternò:
Mixed-Initiative, Trans-modal Interface Migration.
Mobile HCI 2004: 216-227 |
82 | EE | Yann Laurillau,
Fabio Paternò:
Supporting Museum Co-visits Using Mobile Devices.
Mobile HCI 2004: 451-455 |
81 | EE | Fabio Paternò,
Enrico Zini:
Applying information visualization techniques to visual representations of task models.
TAMODIA 2004: 105-111 |
80 | EE | Francesco Correani,
Barbara Leporini,
Fabio Paternò:
Supporting Web Usability for Vision Impaired Users.
User Interfaces for All 2004: 242-253 |
79 | EE | Silvia Berti,
Fabio Paternò,
Carmen Santoro:
Natural development of ubiquitous interfaces.
Commun. ACM 47(9): 63-64 (2004) |
78 | EE | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions.
IEEE Trans. Software Eng. 30(8): 507-520 (2004) |
77 | EE | Renata Bandelloni,
Fabio Paternò:
Migratory user interfaces able to adapt to various interaction platforms.
Int. J. Hum.-Comput. Stud. 60(5-6): 621-639 (2004) |
76 | EE | Carmine Ciavarella,
Fabio Paternò:
The design of a handheld, location-aware guide for indoor environments.
Personal and Ubiquitous Computing 8(2): 82-91 (2004) |
75 | EE | Cristina Chesta,
Fabio Paternò,
Carmen Santoro:
Methods and Tools for Designing and Developing Usable Multi-Platform Interactive Applications.
PsychNology Journal 2(1): 123-139 (2004) |
74 | EE | Liliana Ardissono,
Anna Goy,
Fabio Paternò:
Introduction to the special issue.
PsychNology Journal 2(1): 4-6 (2004) |
73 | EE | Barbara Leporini,
Fabio Paternò:
Increasing usability when interacting through screen readers.
Universal Access in the Information Society 3(1): 57-70 (2004) |
2003 |
72 | EE | Henry Lieberman,
Fabio Paternò,
Alexander Repenning,
Volker Wulf:
Perspectives on end user development.
CHI Extended Abstracts 2003: 1048-1049 |
71 | EE | Fabio Paternò,
Manfred Tscheligi:
Design of usable multi-platform interactive systems.
CHI Extended Abstracts 2003: 872-873 |
70 | EE | Silvia Berti,
Fabio Paternò:
Model-Based Design of Speech Interfaces.
DSV-IS 2003: 231-244 |
69 | EE | Fabio Paternò:
Models for universal usability.
IHM 2003: 9-16 |
68 | | Fabio Paternò,
Alexander Repenning,
Alistair G. Sutcliffe:
End-user Development.
INTERACT 2003 |
67 | | Fabio Paternò:
Methods and Tools for Design of Multi-Platform Applications and Remote Usability Evaluation.
INTERACT 2003 |
66 | EE | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Tool support for designing nomadic applications.
IUI 2003: 141-148 |
65 | EE | Carmine Ciavarella,
Fabio Paternò:
Design Criteria for Location-Aware, Indoor, PDA Applications.
Mobile HCI 2003: 131-144 |
64 | EE | Renata Bandelloni,
Fabio Paternò:
User Needs for Development of Context Dependent Devices in Mobile Home Care.
Mobile HCI 2003: 446-450 |
63 | EE | Fabio Paternò,
Carmen Santoro:
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations.
Comput. J. 46(4): 340-357 (2003) |
62 | EE | Fabio Paternò,
Carmen Santoro:
A unified method for designing interactive systems adaptable to mobile and stationary platforms.
Interacting with Computers 15(3): 349-366 (2003) |
61 | EE | Fabio Paternò:
Understanding interaction with mobile devices.
Interacting with Computers 15(4): 473-478 (2003) |
60 | EE | Laila Paganelli,
Fabio Paternò:
A Tool for Creating Design Models from Web Site Code.
International Journal of Software Engineering and Knowledge Engineering 13(2): 169-189 (2003) |
2002 |
59 | | Fabio Paternò:
Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings
Springer 2002 |
58 | EE | Francisco José García Peñalvo,
Fabio Paternò,
Ana Belén Gil:
An Adaptive e-Commerce System Definition.
AH 2002: 505-509 |
57 | | Fabio Paternò,
Carmen Santoro:
One Model, Many Interfaces.
CADUI 2002: 143-154 |
56 | EE | Laila Paganelli,
Fabio Paternò:
Intelligent analysis of user interactions with web applications.
IUI 2002: 111-118 |
55 | EE | Luisa Marucci,
Fabio Paternò:
Supporting Adaptivity to Heterogeneous Platforms through User Models.
Mobile HCI 2002: 409-413 |
54 | EE | Laila Paganelli,
Fabio Paternò:
Automatic reconstruction of the underlying interaction design of web applications.
SEKE 2002: 439-445 |
53 | | Fabio Paternò:
Tools for Task Modelling: Where we are, Where we are headed.
TAMODIA 2002: 10-17 |
52 | EE | Barbara Leporini,
Fabio Paternò:
Criteria for Usability of Accessible Web Sites.
User Interfaces for All 2002: 43-55 |
51 | EE | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.
IEEE Trans. Software Eng. 28(8): 797-813 (2002) |
50 | EE | Fabio Paternò,
Carmen Santoro:
Preventing user errors by systematic analysis of deviations from the system task model.
Int. J. Hum.-Comput. Stud. 56(2): 225-245 (2002) |
49 | EE | Luisa Marucci,
Fabio Paternò:
Design and evaluation of an adaptive virtual guide for Web applications.
Universal Access in the Information Society 1(3): 163-176 (2002) |
2001 |
48 | EE | David Navarre,
Philippe A. Palanque,
Fabio Paternò,
Carmen Santoro,
Rémi Bastide:
A Tool Suite for Integrating Task and System Models through Scenarios.
DSV-IS 2001: 88-113 |
47 | EE | Fabio Paternò:
Towards a UML for Interactive Systems.
EHCI 2001: 7-18 |
46 | | Filippo Costalli,
Luisa Marucci,
Giulio Mori,
Fabio Paternò:
Design Criteria for Usable Web-Accessible Virtual Environments.
ICHIM (1) 2001: 413-426 |
2000 |
45 | | Philippe A. Palanque,
Fabio Paternò:
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings
Springer 2000 |
44 | EE | Luisa Marucci,
Fabio Paternò:
Logical Dimensions for the Information Provided by a Virtual Guide.
AH 2000: 359-362 |
43 | | Fabio Paternò,
Carmen Santoro,
Vicenzo Sabbatino:
Using Information in Task Models to Support Design of Interactive Safety-Critical Applications.
Advanced Visual Interfaces 2000: 120-127 |
42 | EE | Fabio Paternò,
Carmen Santoro:
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.
DSV-IS 2000: 135-150 |
41 | EE | Philippe A. Palanque,
Fabio Paternò:
Design, specification, and verification of interactive systems (workshop session).
ICSE 2000: 803-804 |
40 | | Fabio Paternò,
Giulio Ballardin:
RemUSINE: a bridge between empirical and model-based evaluation when evaluators and users are distant.
Interacting with Computers 13(2): 229-251 (2000) |
39 | | Fabio Paternò,
Cristiano Mancini:
Effective levels of adaptation to different types of users in interactive museum systems.
JASIS 51(1): 5-13 (2000) |
1999 |
38 | | Giulio Ballardin,
Cristiano Mancini,
Fabio Paternò:
Computer-Aided Analysis of Cooperative Applications.
CADUI 1999: 257-270 |
37 | | Fabio Paternò,
Carmen Santoro,
Robert E. Fields:
Analysing User Deviations in Interactive Safety-Critical Applications.
DSV-IS 1999: 189-204 |
36 | | Fabio Paternò,
Giulio Ballardin,
Cristiano Mancini:
Modelling Multi-User Tasks.
HCI (1) 1999: 1088-1092 |
35 | EE | Fabio Paternò,
Cristiano Mancini:
Developing Adaptable Hypermedia.
IUI 1999: 163-170 |
34 | EE | Fabio Paternò,
Carmen Santoro,
Sophie Tahmassebi:
The Impact of Different Media on Safety and Usability of Interactive ATC Applications.
SAFECOMP 1999: 89-102 |
33 | EE | Wayne D. Gray,
Philippe A. Palanque,
Fabio Paternò:
Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.
ACM Trans. Comput.-Hum. Interact. 6(4): 309-310 (1999) |
32 | EE | Robert E. Fields,
Fabio Paternò,
Carmen Santoro,
Sophie Tahmassebi:
Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study.
ACM Trans. Comput.-Hum. Interact. 6(4): 370-398 (1999) |
31 | | Fabio Paternò,
Cristiano Mancini:
Engineering the Design of Usable Hypermedia.
Empirical Software Engineering 4(1): 11-42 (1999) |
30 | | Fabio Paternò:
Special Issue on Formal Methods for Visual Interaction (Editorial).
J. Vis. Lang. Comput. 10(4): 451-453 (1999) |
1998 |
29 | EE | Nicola Aloia,
Tullio Bendini,
Fabio Paternò,
Carmen Santoro:
Design of multimedia semantic presentation templates: options, problems and criteria of use.
AVI 1998: 205-215 |
28 | | Fabio Paternò,
Carmen Santoro,
Sophie Tahmassebi:
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control.
DSV-IS 1998: 71-86 |
27 | | Fabio Paternò,
Ilse M. Breedvelt-Schouten,
Nicole de Koning:
Deriving Presentations from Task Models.
EHCI 1998: 319-337 |
26 | EE | Andreas Lecerof,
Fabio Paternò:
Automatic Support for Usability Evaluation.
IEEE Trans. Software Eng. 24(10): 863-888 (1998) |
25 | EE | Nicola Aloia,
Maristella Matera,
Fabio Paternò:
Presentations for Databases in Multimedia Environments.
Multimedia Syst. 6(6): 408-420 (1998) |
1997 |
24 | | Ilse M. Breedvelt-Schouten,
Fabio Paternò,
C. Severijns:
Reusable structures in task models.
DSV-IS 1997: 225-239 |
23 | | Fabio Paternò,
Maria Francesca Bucca:
Task-Oriented Design for Interactive User Interfaces of Museum Systems.
ICHIM 1997: 23-31 |
22 | | Philippe A. Palanque,
Rémi Bastide,
Fabio Paternò:
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
INTERACT 1997: 323-330 |
21 | | Fabio Paternò,
Cristiano Mancini,
Silvia Meniconi:
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models.
INTERACT 1997: 362-369 |
20 | | Nicola Aloia,
Maristella Matera,
Fabio Paternò:
Using Tasks for Improving the Presentations for Database Query Results.
VL 1997: 121-124 |
19 | | Fabio Paternò:
Formal Reasoning about Dialogue Properties with Automatic Support.
Interacting with Computers 9(2): 173-196 (1997) |
1996 |
18 | EE | Nicola Aloia,
Maristella Matera,
Fabio Paternò:
A semantics-based approach to designing presentations for multimedia database query results.
AVI 1996: 91-100 |
17 | | Simon Buckingham Shum,
Ann Blandford,
David J. Duke,
Jason Good,
Jon May,
Fabio Paternò,
Richard M. Young:
Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study.
BCS HCI 1996: 201-219 |
16 | | Philippe A. Palanque,
Fabio Paternò,
Rémi Bastide,
M. Mezzanotte:
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
DSV-IS 1996: 162-187 |
1995 |
15 | EE | S. Pangoli,
Fabio Paternò:
Automatic Generation of Task-Oriented Help.
ACM Symposium on User Interface Software and Technology 1995: 181-187 |
14 | | Fabio Paternò,
M. S. Sciacchitano,
Jonas Löwgren:
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.
DSV-IS 1995: 35-53 |
13 | | Fabio Paternò,
M. Mezzanotte:
Formal verification of undesired behaviours in the CERD case study.
EHCI 1995: 213-226 |
12 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Fabio Paternò:
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
SEKE 1995: 234-243 |
1994 |
11 | | Fabio Paternò:
Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy
Springer 1994 |
10 | EE | David J. Duke,
Giorgio P. Faconti,
Michael D. Harrison,
Fabio Paternò:
Unifying Views of Interactors.
Advanced Visual Interfaces 1994: 143-152 |
9 | | Fabio Paternò,
Ales Leonardi,
S. Pangoli:
A Tool-supported Approach to the Refinement of Interactive Systems.
DSV-IS 1994: 149-159 |
8 | | Fabio Paternò,
Ales Leonardi:
A Semantics-Based Approach for the Design and Implementation of Interaction Objects.
Comput. Graph. Forum 13(3): 195-204 (1994) |
7 | | Fabio Paternò,
Irene Campari,
Roberto Scopigno:
The Design and Specification of a Visual Language: An Example for Customising Geographic Information Systems Functionalities.
Comput. Graph. Forum 13(4): 199-210 (1994) |
6 | | Fabio Paternò:
A Theory of User-interaction Objects.
J. Vis. Lang. Comput. 5(3): 227-249 (1994) |
1993 |
5 | | Fabio Paternò:
Definition of Properties of User Interfaces Using Action-Based Temporal Logic.
SEKE 1993: 314-318 |
4 | | David A. Duce,
Fabio Paternò:
A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model.
Comput. Graph. Forum 12(1): 3-20 (1993) |
1992 |
3 | EE | Giorgio P. Faconti,
Nicola Zani,
Fabio Paternò:
The Input Model of Standard Graphics Systems Revisited by Formal Specification.
Comput. Graph. Forum 11(3): 237-251 (1992) |
2 | | Giorgio P. Faconti,
Fabio Paternò:
A visual environment to define composition of interacting graphical objects.
The Visual Computer 9(2): 73-83 (1992) |
1990 |
1 | | Giorgio P. Faconti,
R. D. Bettarini,
Fabio Paternò:
A Model of Interaction for Graphical Systems.
DISCO 1990: 255-263 |