 | 2009 |
|---|
| 140 |       | Markel Vigo,
Barbara Leporini,
Fabio Paternò:
Enriching web information scent for blind users.
ASSETS 2009: 123-130 |
| 139 | | Fabio Paternò,
Carmen Santoro,
Lucio Davide Spano:
Model-Based Design of Multi-device Interactive Applications Based on Web Services.
INTERACT (1) 2009: 892-905 |
| 138 | | 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 |
| 137 | | Giuseppe Ghiani,
Fabio Paternò,
Carmen Santoro,
Lucio Davide Spano:
UbiCicero: A location-aware, multi-device museum guide.
Interacting with Computers 21(4): 288-303 (2009) |
| 136 | | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò:
Vibrotactile feedback to aid blind users of mobile guides.
J. Vis. Lang. Comput. 20(5): 305-317 (2009) |
| 2008 |
|---|
| 135 |  | 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 |
| 134 | | 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 |
| 133 | | 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 |
| 132 | | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò:
Supporting orientation for blind people using museum guides.
CHI Extended Abstracts 2008: 3417-3422 |
| 131 | | 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 |
| 130 | | Fabio Paternò,
Carmen Santoro,
Lucio Davide Spano:
Designing Usable Applications based on Web Services.
I-USED 2008 |
| 129 | | 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 |
| 128 | | 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 |
| 127 | | Giuseppe Ghiani,
Barbara Leporini,
Fabio Paternò:
Vibrotactile feedback as an orientation aid for blind users of mobile guides.
Mobile HCI 2008: 431-434 |
| 126 | | Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
Preserving Rich User Interface State in Web Applications across Various Platforms.
TAMODIA/HCSE 2008: 255-262 |
| 125 | | Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
User Interface Migration between Mobile Devices and Digital TV.
TAMODIA/HCSE 2008: 287-292 |
| 124 | | 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) |
| 123 | | 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 |
|---|
| 122 | | Renata Bandelloni,
Giulio Mori,
Fabio Paternò,
Carmen Santoro,
Antonio Scorcia:
Web User Interface Migration through Different Modalities with Dynamic Device Discovery.
AEWSE 2007 |
| 121 | | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Authoring Multi-device Web Applications with Database Access.
ICWE 2007: 182-187 |
| 120 | | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
Easing Web Guidelines Specification.
ICWE 2007: 254-268 |
| 119 | | Giuseppe Ghiani,
Fabio Paternò:
Multimodal PDA Interfaces to Assist Drivers in Monitoring Their Vehicles.
INTERACT (1) 2007: 297-309 |
| 118 | | Fabio Paternò:
Designing Multi-device User Interfaces: How to Adapt to the Changing Device.
INTERACT (2) 2007: 702-703 |
| 117 | | 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 |
| 116 | | Fabio Paternò,
Andrea Russino,
Carmen Santoro:
Remote Evaluation of Mobile Applications.
TAMODIA 2007: 155-169 |
| 2006 |
|---|
| 115 | | Fabio Paternò,
Federico Giammarino:
Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices.
AVI 2006: 329-335 |
| 114 | | Fabio Paternò,
Ines Santos:
Designing And Developing Multi-User, Multi-Device Web Interfaces.
CADUI 2006: 111-122 |
| 113 | | Fabio Paternò,
Angela Piruzza,
Carmen Santoro:
Remote Web Usability Evaluation Exploiting Multimodal Information On User Behavior.
CADUI 2006: 287-298 |
| 112 | | 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 |
| 111 | | 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 |
| 110 | | José A. Macías,
Fabio Paternò:
Intelligent Support for Nomadic Web Applications Personalization.
GI Jahrestagung (1) 2006: 584-587 |
| 109 | | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
An Environment for Defining and Handling Guidelines for the Web.
ICCHP 2006: 176-183 |
| 108 | | 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 |
| 107 | | Renata Bandelloni,
Fabio Paternò,
Zigor Salvador:
Dynamic Discovery and Monitoring in Migratory Interactive Services.
PerCom Workshops 2006: 604-607 |
| 106 | | Jani Mäntyjärvi,
Fabio Paternò,
Carmen Santoro:
Incorporating Tilt-Based Interaction in Multimodal User Interfaces for Mobile Devices.
TAMODIA 2006: 230-244 |
| 105 | | Barbara Leporini,
Fabio Paternò,
Antonio Scorcia:
Flexible tool support for accessibility evaluation.
Interacting with Computers 18(5): 869-890 (2006) |
| 104 | | 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 |
|---|
| 103 | | Maria Francesca Costabile,
Fabio Paternò:
Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
Springer 2005 |
| 102 | | Silvia Berti,
Fabio Paternò,
Carmen Santoro:
A Taxonomy for Migratory User Interfaces.
DSV-IS 2005: 149-160 |
| 101 | | 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 |
| 100 | | Fabio Paternò,
Marco Volpe:
Natural Modelling of Interactive Applications.
DSV-IS 2005: 67-77 |
| 99 | | Silvia Berti,
Fabio Paternò:
Migratory MultiModal interfaces in MultiDevice environments.
ICMI 2005: 92-99 |
| 98 | | Silvia Berti,
Fabio Paternò:
Development of Multi-modal Interfaces in Multi-device Environments.
INTERACT 2005: 1067-1070 |
| 97 | | Renata Bandelloni,
Silvia Berti,
Fabio Paternò:
Analysing Trans-Modal Interface Migration.
INTERACT 2005: 1071-1074 |
| 96 | | Renata Bandelloni,
Giulio Mori,
Fabio Paternò:
Dynamic generation of web migratory interfaces.
Mobile HCI 2005: 83-90 |
| 95 | | A. Bruno,
Fabio Paternò,
Carmen Santoro:
Supporting interactive workflow systems through graphical web interfaces and interactive simulators.
TAMODIA 2005: 63-70 |
| 94 | | Fabio Paternò:
Model-based tools for pervasive usability.
Interacting with Computers 17(3): 291-315 (2005) |
| 2004 |
|---|
| 93 | | 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 |
| 92 | | Francesco Correani,
Giulio Mori,
Fabio Paternò:
Supporting Flexible Development of Multi-device Interfaces.
EHCI/DS-VIS 2004: 346-362 |
| 91 | | Fabio Paternò:
Tools and Techniques for Pervasive Usability.
ENC 2004: 6 |
| 90 | | 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 |
| 89 | | Silvia Berti,
Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Designing Multi-Device Interactive Services through Multiple Abstraction Levels.
ICWE Workshops 2004: 339-352 |
| 88 | | Fabio Paternò:
Multimodality and multi-platform interactive systems.
IFIP Congress Topical Sessions 2004: 421-426 |
| 87 | | Yann Laurillau,
Fabio Paternò:
CoCicero: un système interactif pour la visite collaborative de musée sur support mobile.
IHM 2004: 101-108 |
| 86 | | Renata Bandelloni,
Fabio Paternò:
Flexible interface migration.
IUI 2004: 148-155 |
| 85 | | Silvia Berti,
Giulio Mori,
Fabio Paternò,
Carmen Santoro:
A transformation-based environment for designing multi-device interactive applications.
IUI 2004: 352-353 |
| 84 | | Renata Bandelloni,
Silvia Berti,
Fabio Paternò:
Mixed-Initiative, Trans-modal Interface Migration.
Mobile HCI 2004: 216-227 |
| 83 | | Yann Laurillau,
Fabio Paternò:
Supporting Museum Co-visits Using Mobile Devices.
Mobile HCI 2004: 451-455 |
| 82 | | Fabio Paternò,
Enrico Zini:
Applying information visualization techniques to visual representations of task models.
TAMODIA 2004: 105-111 |
| 81 | | Francesco Correani,
Barbara Leporini,
Fabio Paternò:
Supporting Web Usability for Vision Impaired Users.
User Interfaces for All 2004: 242-253 |
| 80 | | Silvia Berti,
Fabio Paternò,
Carmen Santoro:
Natural development of ubiquitous interfaces.
Commun. ACM 47(9): 63-64 (2004) |
| 79 | | 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) |
| 78 | | 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) |
| 77 | | Carmine Ciavarella,
Fabio Paternò:
The design of a handheld, location-aware guide for indoor environments.
Personal and Ubiquitous Computing 8(2): 82-91 (2004) |
| 76 | | 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) |
| 75 | | Liliana Ardissono,
Anna Goy,
Fabio Paternò:
Introduction to the special issue.
PsychNology Journal 2(1): 4-6 (2004) |
| 74 | | Barbara Leporini,
Fabio Paternò:
Increasing usability when interacting through screen readers.
Universal Access in the Information Society 3(1): 57-70 (2004) |
| 2003 |
|---|
| 73 | | Henry Lieberman,
Fabio Paternò,
Alexander Repenning,
Volker Wulf:
Perspectives on end user development.
CHI Extended Abstracts 2003: 1048-1049 |
| 72 | | Fabio Paternò,
Manfred Tscheligi:
Design of usable multi-platform interactive systems.
CHI Extended Abstracts 2003: 872-873 |
| 71 | | Silvia Berti,
Fabio Paternò:
Model-Based Design of Speech Interfaces.
DSV-IS 2003: 231-244 |
| 70 | | Fabio Paternò:
Models for universal usability.
IHM 2003: 9-16 |
| 69 | | Fabio Paternò,
Alexander Repenning,
Alistair G. Sutcliffe:
End-user Development.
INTERACT 2003 |
| 68 | | Fabio Paternò:
Methods and Tools for Design of Multi-Platform Applications and Remote Usability Evaluation.
INTERACT 2003 |
| 67 | | Giulio Mori,
Fabio Paternò,
Carmen Santoro:
Tool support for designing nomadic applications.
IUI 2003: 141-148 |
| 66 | | Carmine Ciavarella,
Fabio Paternò:
Design Criteria for Location-Aware, Indoor, PDA Applications.
Mobile HCI 2003: 131-144 |
| 65 | | Renata Bandelloni,
Fabio Paternò:
User Needs for Development of Context Dependent Devices in Mobile Home Care.
Mobile HCI 2003: 446-450 |
| 64 | | Fabio Paternò,
Carmen Santoro:
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations.
Comput. J. 46(4): 340-357 (2003) |
| 63 | | 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) |
| 62 | | Fabio Paternò:
Understanding interaction with mobile devices.
Interacting with Computers 15(4): 473-478 (2003) |
| 61 | | 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 |
|---|
| 60 | | Fabio Paternò:
Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings
Springer 2002 |
| 59 | | Francisco José García Peñalvo,
Fabio Paternò,
Ana Belén Gil:
An Adaptive e-Commerce System Definition.
AH 2002: 505-509 |
| 58 | | Fabio Paternò,
Carmen Santoro:
One Model, Many Interfaces.
CADUI 2002: 143-154 |
| 57 | | Laila Paganelli,
Fabio Paternò:
Intelligent analysis of user interactions with web applications.
IUI 2002: 111-118 |
| 56 | | Luisa Marucci,
Fabio Paternò:
Supporting Adaptivity to Heterogeneous Platforms through User Models.
Mobile HCI 2002: 409-413 |
| 55 | | Laila Paganelli,
Fabio Paternò:
Automatic reconstruction of the underlying interaction design of web applications.
SEKE 2002: 439-445 |
| 54 | | Fabio Paternò:
Tools for Task Modelling: Where we are, Where we are headed.
TAMODIA 2002: 10-17 |
| 53 | | Barbara Leporini,
Fabio Paternò:
Criteria for Usability of Accessible Web Sites.
User Interfaces for All 2002: 43-55 |
| 52 | | 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) |
| 51 | | 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) |
| 50 | | 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 |
|---|
| 49 | | 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 |
| 48 | | Fabio Paternò:
Towards a UML for Interactive Systems.
EHCI 2001: 7-18 |
| 47 | | Filippo Costalli,
Luisa Marucci,
Giulio Mori,
Fabio Paternò:
Design Criteria for Usable Web-Accessible Virtual Environments.
ICHIM (1) 2001: 413-426 |
| 2000 |
|---|
| 46 | | 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 |
| 45 | | Luisa Marucci,
Fabio Paternò:
Logical Dimensions for the Information Provided by a Virtual Guide.
AH 2000: 359-362 |
| 44 | | 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 |
| 43 | | Fabio Paternò,
Carmen Santoro:
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.
DSV-IS 2000: 135-150 |
| 42 | | Philippe A. Palanque,
Fabio Paternò:
Design, specification, and verification of interactive systems (workshop session).
ICSE 2000: 803-804 |
| 41 | | Luisa Marucci,
Fabio Paternò:
Designing an Agent to Support Interactive Access to Museum Information.
WOA 2000: 86-91 |
| 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 | | Fabio Paternò,
Cristiano Mancini:
Developing Adaptable Hypermedia.
IUI 1999: 163-170 |
| 34 | | Fabio Paternò,
Carmen Santoro,
Sophie Tahmassebi:
The Impact of Different Media on Safety and Usability of Interactive ATC Applications.
SAFECOMP 1999: 89-102 |
| 33 | | 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 | | 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 | | 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 | | Andreas Lecerof,
Fabio Paternò:
Automatic Support for Usability Evaluation.
IEEE Trans. Software Eng. 24(10): 863-888 (1998) |
| 25 | | 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 | | 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 | | 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 | | 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 | | 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 |
