| 2026 | AVI | Leveraging Large Language Models for Alt-Text Evaluation in E-Commerce: A Data-Driven Study. | Nicola Leonardi, Marco Manca, Fabio Patern |
| 2026 | EICS | Fourth Workshop on Engineering Interactive Systems Embedding AI Technologies. | Jos Creissac Campos, Camille Fayollas, Kris Luyten, Philippe A. Palanque, Emanuele Panizzi, Max Pascher, Fabio Patern, Lucio Davide Spano |
| 2026 | HCI | First Experiences with a Personalised LLM-based Serious Game Deployed Through a Humanoid Robot. | Giulio Canapa, Fabio Patern, Eleonora Zedda |
| 2026 | HCI | How Citizen Developers Consider Security and Privacy Issues in Smart Homes. | Arianna Di Serio, Fabio Patern |
| 2026 | IUI | Exploring the Entertainment Potential of Personalised LLM-Based Serious Games with Humanoid Robots. | Giulio Canapa, Benedetta Catrical, Marco Manca, Fabio Patern, Carmen Santoro, Eleonora Zedda |
| 2025 | HCI | How Well can a Wristband Provide Information About a Person's Emotional State? | Arianna Di Serio, Giulio Mori, Fabio Patern |
| 2025 | IUI | Pepper-based serious games for older adults: initial experiences in real-world settings (short paper). | Giulio Canapa, Benedetta Catrical, Marco Manca, Fabio Patern, Carmen Santoro, Eleonora Zedda |
| 2025 | IUI | Context-dependent Explainable Daily Automations. | Simone Gallo, Sara Maenza, Andrea Mattioli, Fabio Patern |
| 2025 | IUI | Adaptive XAI: Advancing Intelligent Interfaces for Tailored AI Explanations (2nd Edition). | Tommaso Turchi, Alessio Malizia, Fabio Patern, Simone Borsci, Alan Chamberlain, Andrew Fish |
| 2025 | MUM | Human Control of Privacy and Security Aspects in IoT Settings. | Arianna Di Serio, Fabio Patern |
| 2025 | RO-MAN | Humanoid Robot Personalised Serious Games in an Older Adults' Care Center | Giulio Canapa, Benedetta Catrical, Marco Manca, Fabio Patern, Carmen Santoro, Eleonora Zedda |
| 2024 | AVI | What People Think About Green Smart Homes. | Barbara Rita Barricelli, Daniela Fogli, Simone Gallo, Davide Guizzardi, Sara Maenza, Andrea Mattioli, Fabio Patern |
| 2024 | AVI | An Architecture for Green Smart Homes Controlled by End Users. | Simone Gallo, Andrea Mattioli, Fabio Patern, Barbara Rita Barricelli, Daniela Fogli, Davide Guizzardi |
| 2024 | EICS | 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. | Jos Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Patern, Lucio Davide Spano, Jean Vanderdonckt |
| 2024 | EICS | Empowering End-User in Creating eXtended Reality Content with a Conversational Chatbot. | Jacopo Mereu, Valentino Artizzu, Alessandro Carcangiu, Lucio Davide Spano, Ludovica Simeoli, Andrea Mattioli, Marco Manca, Carmen Santoro, Fabio Patern |
| 2024 | IUI | A Design Space for Adaptive Explainable Daily Automations (short paper). | Fabio Patern, Andrea Mattioli, Sara Maenza |
| 2024 | IUI | Adaptive XAI: Towards Intelligent Interfaces for Tailored AI Explanations. | Tommaso Turchi, Alessio Malizia, Fabio Patern, Simone Borsci, Alan Chamberlain |
| 2023 | CHI | Intervening, Teaming, Delegating: Creating Engaging Automation Experiences. | Peter Frhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Fabio Patern, Wendy Ju, Manfred Tscheligi |
| 2023 | CHI | How People Think about Automations in Smart Homes. | Andrea Mattioli, Fabio Patern |
| 2023 | CHI | Socially Assistive Robots as Decision Makers: Transparency, Motivations, and Intentions. | Emilyann Nault, Carl J. Bettosi, Lynne Baillie, Ronnie Smith, Maja J. Mataric, Vivek Nallur, Manfred Tscheligi, Andreas Sackl, Fabio Patern, Scott MacLeod, Sara Cooper |
| 2023 | Interact | A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations. | Philippe A. Palanque, Fabio Patern, Virpi Roto, Albrecht Schmidt, Simone Stumpf, Jrgen Ziegler |
| 2023 | MUM | Conversational Interfaces in IoT Ecosystems: Where We Are, What Is Still Missing. | Simone Gallo, Fabio Patern, Alessio Malizia |
| 2022 | AVI | An Approach to Exploiting Personal Memories in Humanoid Robots Serious Games for Cognitive Stimulation of Older Adults. | Benedetta Catrical, Davide Coffaro, Marco Manca, Andrea Mattioli, Fabio Patern, Carmen Santoro |
| 2022 | AVI | A Conversational Agent for Creating Flexible Daily Automation. | Simone Gallo, Fabio Patern |
| 2022 | CHI | An Approach to Making Smart Home Automations Perceivable. | Andrea Mattioli, Fabio Patern |
| 2022 | CHI | End-User Creation and Control of Daily Automations in Intelligent Environments. | Fabio Patern |
| 2022 | HCI | EducationalGames: Web Application for Serious Games for Children with Dyslexia and ADHD. | Letizia Angileri, Fabio Patern |
| 2022 | IUI | Towards Understanding the Transparency of Automations in Daily Environments 187-191. | Fabio Patern, Simone Gallo, Marco Manca, Andrea Mattioli, Carmen Santoro |
| 2021 | CHI | When Artificial Intelligence Alone is not Enough: End-User Creation and Control of Daily Automations. | Fabio Patern |
| 2021 | CHIRA | A Cooking Game for Cognitive Training of Older Adults Interacting with a Humanoid Robot. | Eleonora Zedda, Marco Manca, Fabio Patern |
| 2021 | Interact | 2 | Giuseppe Desolda, Vincenzo Deufemia, Maristella Matera, Fabio Patern, Fabiana Vernero, Massimo Zancanaro |
| 2021 | Interact | The Role of Augmented Reality in Smart Home Settings. | Andrea Mattioli, Marco Manca, Fabio Patern, Carmen Santoro |
| 2021 | Interact | Teaching End-User Development in the Time of IoT and AI. | Fabio Patern |
| 2021 | Interact | Artificial Intelligence versus End-User Development: A Panel on What Are the Tradeoffs in Daily Automations? | Fabio Patern, Margaret Burnett, Gerhard Fischer, Maristella Matera, Brad A. Myers, Albrecht Schmidt |
| 2020 | AVI | EMPATHY: Empowering People in Dealing with Internet of Things Ecosystems (Workshop). | Giuseppe Desolda, Vincenzo Deufemia, Cristina Gena, Maristella Matera, Fabio Patern, Barbara Treccani |
| 2020 | AVI | A Visual Environment for End-User Creation of IoT Customization Rules with Recommendation Support. | Andrea Mattioli, Fabio Patern |
| 2020 | AVI | Recommendations for Personalization Rules in Block Composer. | Andrea Mattioli, Fabio Patern |
| 2020 | CHI | Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity. | Peter Frhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe M. Becerra, Fabio Patern |
| 2020 | ICCHP | Requirements for Large Scale Web Accessibility Evaluation. | Fabio Patern, Francesca Pulina, Carmen Santoro, Henrike Gappa, Yehya Mohamad |
| 2019 | CHI | Everyday Automation Experience: Non-Expert Users Encountering Ubiquitous Automated Systems. | Peter Frhlich, Matthias Baldauf, Thomas Meneweger, Ingrid Erickson, Manfred Tscheligi, Thomas M. Gable, Boris E. R. de Ruyter, Fabio Patern |
| 2019 | CHI | Trigger-Action Programming for Personalising Humanoid Robot Behaviour. | Nicola Leonardi, Marco Manca, Fabio Patern, Carmen Santoro |
| 2019 | EICS | End User Personalization of Social Humanoid Robots. | Fabio Patern, Marco Manca, Carmen Santoro |
| 2019 | IUI | Towards Intelligent Personalization of IoT Platforms. | Fabio Patern, Sadi Alawadi |
| 2019 | MUM | Understanding indoor orientation through wearable vibrotactile feedback. | Giulio Mori, Carmen Santoro, Fabio Patern |
| 2019 | MUM | Supporting cross-device interactions with gestures between personal and public devices. | Francesca Pulina, Fabio Patern |
| 2018 | AVI | Trigger-action programming for context-aware elderly support in practice. | Cristina Chesta, Luca Corcella, Marco Manca, Fabio Patern, Carmen Santoro |
| 2018 | AVI | Towards understanding the usability of vibrotactile support for indoor orientation. | Giulio Mori, Fabio Patern, Carmen Santoro |
| 2018 | ICCHP | A Holistic Decision Support Environment for Web Accessibility. | Yehya Mohamad, Carlos A. Velasco, Nikolaos Kaklanis, Dimitrios Tzovaras, Fabio Patern |
| 2017 | EICS | Detecting anomalous elderly behaviour in ambient assisted living. | Marco Manca, Parvaneh Parvin, Fabio Patern, Carmen Santoro |
| 2017 | MUM | A web framework for cross-device gestures between personal devices and public displays. | Marco Barsotti, Fabio Patern, Francesca Pulina |
| 2017 | Persuasive | Towards a Platform for Persuading Older Adults to Adopt Healthy Behaviors. | Carlos Azevedo, Cristina Chesta, Jos Coelho, Davide Dimola, Carlos Duarte, Marco Manca, Jan Egil Nordvik, Fabio Patern, Anne-Marthe Sanders, Carmen Santoro |
| 2016 | AVI | Timelines for Mobile Web Usability Evaluation. | Fabio Patern, Antonio Giovanni Schiavone, P. Pitardi |
| 2016 | EICS | Customizable dynamic user interface distribution. | Marco Manca, Fabio Patern |
| 2016 | EICS | End-user development of cross-device user interfaces. | Michael Nebeling, Thomas Kubitza, Fabio Patern, Tao Dong, Yang Li, Jeffrey Nichols |
| 2015 | CHI | Design and Adaptation for Cross-Device, Context-dependent User Interfaces. | Fabio Patern |
| 2015 | CHI | End-User Development in the Internet of Things Era. | Daniel Tetteroo, Panos Markopoulos, Stefano Valtolina, Fabio Patern, Volkmar Pipek, Margaret M. Burnett |
| 2015 | EICS | Responsive task modelling. | Davide Anzalone, Marco Manca, Fabio Patern, Carmen Santoro |
| 2015 | EICS | Dynamic user interface adaptation driven by physiological parameters to support learning. | Giuseppe Ghiani, Marco Manca, Fabio Patern |
| 2015 | EICS | Systems and tools for cross-device user interfaces. | Michael Nebeling, Fabio Patern, Frank Maurer, Jeffrey Nichols |
| 2015 | Interact | Design Criteria for Stimulating Emotions in Web Applications. | Giulio Mori, Fabio Patern, Ferdinando Furci |
| 2015 | MUM | Authoring context-dependent cross-device user interfaces based on trigger/action rules. | Giuseppe Ghiani, Marco Manca, Fabio Patern |
| 2014 | EICS | User interface distribution in multi-device and multi-user environments with dynamically migrating engines. | Luca Frosini, Fabio Patern |
| 2014 | EICS | Considering task pre-conditions in model-based user interface design and generation. | Marco Manca, Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2014 | EICS | A gestural concrete user interface in MARIA. | Lucio Davide Spano, Fabio Patern, Gianni Fenu |
| 2014 | HCI | Design Criteria for Public Display User Interfaces. | Alessandro Bendinelli, Fabio Patern |
| 2014 | ICWE | Design Criteria for Web Applications Adapted to Emotions. | Giulio Mori, Fabio Patern, Ferdinando Furci |
| 2014 | SMC | Duality of task- and discourse-based interaction design for GUI generation. | Roman Popp, Hermann Kaindl, Simon Badalians, David Raneburger, Fabio Patern |
| 2013 | CHI | The role of engineering work in CHI. | Philippe A. Palanque, Fabio Patern, Jeffrey Nichols, Nuno Jardim Nunes, Brad A. Myers |
| 2013 | EICS | A framework for the development of distributed interactive applications. | Luca Frosini, Marco Manca, Fabio Patern |
| 2013 | EICS | Context-aware service front-ends. | Francisco Javier Caminero Gil, Fabio Patern, Vivian Genaro Motti |
| 2013 | EICS | An environment for designing and sharing adaptation rules for accessible applications. | Ral Min, Fabio Patern, Myriam Arrue |
| 2013 | EICS | GestIT: a declarative and compositional framework for multiplatform gesture definition. | Lucio Davide Spano, Antonio Cisternino, Fabio Patern, Gianni Fenu |
| 2013 | HCI | Remote Usability Evaluation of Mobile Web Applications. | Paolo Burzacca, Fabio Patern |
| 2013 | Interact | Analysis and Visualization of Interactions with Mobile Web Applications. | Paolo Burzacca, Fabio Patern |
| 2012 | AVI | Push and pull of web user interfaces in multi-device environments. | Giuseppe Ghiani, Fabio Patern, Carmen Santoro |
| 2012 | CHI | Invited engineering community SIG: the role of engineering work in CHI. | Ruven Brooks, T. C. Nicholas Graham, Jeffrey Nichols, Philippe A. Palanque, Fabio Patern |
| 2012 | EICS | A logical framework for multi-device user interfaces. | Fabio Patern, Carmen Santoro |
| 2012 | IUI | Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms. | Federico Bellucci, Giuseppe Ghiani, Fabio Patern, Claudio Porta |
| 2012 | LREC | The SERENOA Project: Multidimensional Context-Aware Adaptation of Service Front-Ends. | Javier Caminero, Mara del Carmen Rodrguez Gancedo, Jean Vanderdonckt, Fabio Patern, Jrg Rett, Dave Raggett, Jean-Loup Comeliau, Ignacio Marn |
| 2012 | MUM | Security in migratory interactive web applications. | Giuseppe Ghiani, Fabio Patern, Lorenzo Isoni |
| 2011 | EICS | Engineering JavaScript state persistence of web applications migrating across multiple devices. | Federico Bellucci, Giuseppe Ghiani, Fabio Patern, Carmen Santoro |
| 2011 | Interact | Web Usability Probe: A Tool for Supporting Remote Usability Evaluation of Web Sites. | Tonio Carta, Fabio Patern, Vagner Figuerdo de Santana |
| 2011 | Interact | Supporting Transformations across User Interface Descriptions at Various Abstraction Levels. | Mauro Lisai, Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2011 | Interact | Adapting Desktop Web Pages for Vocal Browsing. | Fabio Patern, Christian Sisti |
| 2010 | AVI | Partial web interface migration. | Giuseppe Ghiani, Fabio Patern, Carmen Santoro |
| 2010 | AVI | Task-driven service discovery and selection. | Kyriakos Kritikos, Fabio Patern |
| 2010 | AVI | User task-based development of multi-device service-oriented applications. | Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2010 | EICS | Service discovery supported by task models. | Kyriakos Kritikos, Fabio Patern |
| 2010 | EICS | Exploiting web service annotations in model-based user interface development. | Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2010 | IIWAS | OPEN: open pervasive environments for migratory interactive services. | Anders Nickelsen, Fabio Patern, Agnese Grasselli, Kay-Uwe Schmidt, Miquel Martin, Bjrn Schindler, Francesca Mureddu |
| 2010 | ICWE | Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments. | Fabio Patern, Christian Sisti |
| 2010 | WEBIST | Modelling user Interactions in Web Service-based Business Processes. | Antonio Pintus, Fabio Patern, Carmen Santoro |
| 2009 | ASSETS | Enriching web information scent for blind users. | Markel Vigo, Barbara Leporini, Fabio Patern |
| 2009 | EICS | Support for authoring service front-ends. | Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2009 | Interact | Model-Based Design of Multi-device Interactive Applications Based on Web Services. | Fabio Patern, Carmen Santoro, Lucio Davide Spano |
| 2008 | AVI | Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources. | Fabio Patern, Carmen Santoro, Antonio Scorcia |
| 2008 | CHI | The next challenge: from easy-to-use to easy-to-develop. are you ready? | Joerg Beringer, Gerhard Fischer, Piero Mussio, Brad A. Myers, Fabio Patern, Boris E. R. de Ruyter |
| 2008 | CHI | Supporting orientation for blind people using museum guides. | Giuseppe Ghiani, Barbara Leporini, Fabio Patern |
| 2008 | ICCHP | A Semi-automatic Support to Adapt E-Documents in an Accessible and Usable Format for Vision Impaired Users. | Elia Contini, Barbara Leporini, Fabio Patern |
| 2008 | ICCHP | Exploiting RFIDs and Tilt-Based Interaction for Mobile Museum Guides Accessible to Vision-Impaired Users. | Giuseppe Ghiani, Barbara Leporini, Fabio Patern, Carmen Santoro |
| 2007 | Interact | Multimodal PDA Interfaces to Assist Drivers in Monitoring Their Vehicles. | Giuseppe Ghiani, Fabio Patern |
| 2007 | Interact | Designing Multi-device User Interfaces: How to Adapt to the Changing Device. | Fabio Patern |
| 2007 | ICWE | Web User Interface Migration through Different Modalities with Dynamic Device Discovery. | Renata Bandelloni, Giulio Mori, Fabio Patern, Carmen Santoro, Antonio Scorcia |
| 2007 | ICWE | Easing Web Guidelines Specification. | Barbara Leporini, Fabio Patern, Antonio Scorcia |
| 2007 | ICWE | Authoring Multi-device Web Applications with Database Access. | Giulio Mori, Fabio Patern, Carmen Santoro |
| 2007 | WEBIST | Exploiting Mobile Devices to Support Museum Visits through Multi-Modal Interfaces and Multi-Device Games. | Fabio Patern, Carmen Santoro |
| 2006 | AVI | Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices. | Fabio Patern, Federico Giammarino |
| 2006 | CHI | Information visualization and interaction techniques for collaboration across multiple displays. | Lucia Terrenghi, Richard May, Patrick Baudisch, Wendy E. Mackay, Fabio Patern, James J. Thomas, Mark Billinghurst |
| 2006 | GI | Intelligent Support for Nomadic Web Applications Personalization. | Jos A. Macas, Fabio Patern |
| 2006 | ICCHP | An Environment for Defining and Handling Guidelines for the Web. | Barbara Leporini, Fabio Patern, Antonio Scorcia |
| 2006 | MODELS | Model-based Generation of Interactive Digital TV Applications. | Fabio Patern, Sandro Sansone |
| 2006 | PERCOM | Dynamic Discovery and Monitoring in Migratory Interactive Services. | Renata Bandelloni, Fabio Patern, Zigor Salvador |
| 2005 | ICMI | Migratory MultiModal interfaces in MultiDevice environments. | Silvia Berti, Fabio Patern |
| 2005 | Interact | Analysing Trans-Modal Interface Migration. | Renata Bandelloni, Silvia Berti, Fabio Patern |
| 2005 | Interact | Development of Multi-modal Interfaces in Multi-device Environments. | Silvia Berti, Fabio Patern |
| 2004 | CHI | TERESA: a transformation-based environment for designing and developing multi-device interfaces. | Silvia Berti, Francesco Correani, Giulio Mori, Fabio Patern, Carmen Santoro |
| 2004 | ICWE | Designing Multi-Device Interactive Services through Multiple Abstraction Levels. | Silvia Berti, Giulio Mori, Fabio Patern, Carmen Santoro |
| 2004 | IUI | Flexible interface migration. | Renata Bandelloni, Fabio Patern |
| 2004 | IUI | A transformation-based environment for designing multi-device interactive applications. | Silvia Berti, Giulio Mori, Fabio Patern, Carmen Santoro |
| 2003 | CHI | Perspectives on end user development. | Henry Lieberman, Fabio Patern, Alexander Repenning, Volker Wulf |
| 2003 | CHI | Design of usable multi-platform interactive systems. | Fabio Patern, Manfred Tscheligi |
| 2003 | HCI | Supporting Access to Museum Information for Mobile Visitors. | Carmine Ciavarella, Fabio Patern |
| 2003 | HCI | From Model-based to Natural Development. | Fabio Patern |
| 2003 | Interact | Methods and Tools for Design of Multi-Platform Applications and Remote Usability Evaluation. | Fabio Patern |
| 2003 | Interact | End-user Development. | Fabio Patern, Alexander Repenning, Alistair G. Sutcliffe |
| 2003 | IUI | Tool support for designing nomadic applications. | Giulio Mori, Fabio Patern, Carmen Santoro |
| 2002 | IUI | Intelligent analysis of user interactions with web applications. | Laila Paganelli, Fabio Patern |
| 2002 | SEKE | Automatic reconstruction of the underlying interaction design of web applications. | Laila Paganelli, Fabio Patern |
| 2001 | CHI | CTTE: an environment for analysis and development of task models of cooperative applications. | Fabio Patern, Giulio Mori, Riccardo Galiberti |
| 2001 | CHI | Remote automatic evaluation of web sites based on task models and browser monitoring. | Fabio Patern, Laila Paganelli |
| 2001 | Interact | User Interface Evaluation When User Errors May Have Safety-Critical Effects. | Fabio Patern, Carmen Santoro |
| 2000 | AVI | Using Information in Task Models to Support Design of Interactive Safety-Critical Applications. | Fabio Patern, Carmen Santoro, Vicenzo Sabbatino |
| 2000 | ICSE | Design, specification, and verification of interactive systems (workshop session). | Philippe A. Palanque, Fabio Patern |
| 1999 | CHI | Developing task models from informal scenarios. | Fabio Patern, Cristiano Mancini |
| 1999 | HCI | Modelling Multi-User Tasks. | Fabio Patern, Giulio Ballardin, Cristiano Mancini |
| 1999 | Interact | Model-aided Remote Usability Evaluation. | Fabio Patern, Giulio Ballardin |
| 1999 | IUI | Developing Adaptable Hypermedia. | Fabio Patern, Cristiano Mancini |
| 1999 | SAFECOMP | The Impact of Different Media on Safety and Usability of Interactive ATC Applications. | Fabio Patern, Carmen Santoro, Sophie Tahmassebi |
| 1998 | AVI | Design of multimedia semantic presentation templates: options, problems and criteria of use. | Nicola Aloia, Tullio Bendini, Fabio Patern, Carmen Santoro |
| 1998 | CHI | Designing user interfaces for safety critical systems. | Philippe A. Palanque, Fabio Patern, Peter C. Wright |
| 1997 | Interact | Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. | Philippe A. Palanque, Rmi Bastide, Fabio Patern |
| 1997 | Interact | ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. | Fabio Patern, Cristiano Mancini, Silvia Meniconi |
| 1996 | AVI | A semantics-based approach to designing presentations for multimedia database query results. | Nicola Aloia, Maristella Matera, Fabio Patern |
| 1996 | CHI | Formal methods in computer human interaction: comparison, benefits, open questions. | Fabio Patern, Gregory D. Abowd, Philippe A. Palanque |
| 1995 | SEKE | Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. | Cinzia Bernardeschi, Alessandro Fantechi, Fabio Patern |
| 1995 | UIST | Automatic Generation of Task-Oriented Help. | S. Pangoli, Fabio Patern |
| 1994 | AVI | Unifying Views of Interactors. | David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Patern |
| 1993 | SEKE | Definition of Properties of User Interfaces Using Action-Based Temporal Logic. | Fabio Patern |