Fabio Paternò

Orcid: 0000-0001-8355-6909

Affiliations:
  • National Research Council, Italy


According to our database1, Fabio Paternò authored at least 364 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Usability and transparency in the design of a tool for automatic support for web accessibility validation.
Univers. Access Inf. Soc., March, 2024

A serious web game for children with attentive disorders: design and experiences from two trials.
Hum. Comput. Interact., March, 2024

Adaptive XAI: Towards Intelligent Interfaces for Tailored AI Explanations.
Proceedings of the Companion Proceedings of the 29th International Conference on Intelligent User Interfaces, 2024

A Design Space for Adaptive Explainable Daily Automations (short paper).
Proceedings of the Joint Proceedings of the ACM IUI 2024 Workshops co-located with the 29th Annual ACM Conference on Intelligent User Interfaces (IUI 2024), 2024

2023
Why Is the Current XAI Not Meeting the Expectations?
Commun. ACM, December, 2023

The Transparency of Automatic Web Accessibility Evaluation Tools: Design Criteria, State of the Art, and User Perception.
ACM Trans. Access. Comput., March, 2023

Smartphone-based augmented reality for end-user creation of home automations.
Behav. Inf. Technol., January, 2023

A Mobile Augmented Reality App for Creating, Controlling, Recommending Automations in Smart Homes.
Proc. ACM Hum. Comput. Interact., 2023

Personalisation of Humanoid Robots: Serious Games for Older Adults Based on Biographical Memories.
ERCIM News, 2023

Biography-based Robot Games for Older Adults.
CoRR, 2023

An Adaptive Behaviour-Based Strategy for SARs interacting with Older Adults with MCI during a Serious Game Scenario.
CoRR, 2023

Conversational Interfaces in IoT Ecosystems: Where We Are, What Is Still Missing.
Proceedings of the 22nd International Conference on Mobile and Ubiquitous Multimedia, 2023

Towards Explainable Automations in Smart Homes Using Mobile Augmented Reality.
Proceedings of the Joint Proceedings of the Workshops, 2023

Understanding User Needs in Smart Homes and How to Fulfil Them.
Proceedings of the End-User Development - 9th International Symposium, 2023

Towards a Chatbot for Creating Trigger-Action Rules based on ChatGPT and Rasa.
Proceedings of the Joint Proceedings of the Workshops, 2023

Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and Services.
Proceedings of the End-User Development - 9th International Symposium, 2023

A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations.
Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

Large Scale Automatic Web Accessibility Validation.
Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023

MCI Older Adults' User Experience with Introverted and Extraverted Humanoid Robot Personalities.
Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter, 2023

Humanations: A new understanding of human/automation interaction.
Proceedings of the 2nd International Conference of the ACM Greek SIGCHI Chapter, 2023

Socially Assistive Robots as Decision Makers: Transparency, Motivations, and Intentions.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

How People Think about Automations in Smart Homes.
Proceedings of the Workshop on Intervening, 2023

Intervening, Teaming, Delegating: Creating Engaging Automation Experiences.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
Remote monitoring of end-user created automations in field trials.
J. Ambient Intell. Humaniz. Comput., 2022

Play with me! A Serious Game for Cognitive Stimulation of Older Adults with a Humanoid Robot.
ERCIM News, 2022

PlayToPickUp: Customisable Serious Games for Children with cognitive disorders.
ERCIM News, 2022

End-user development in industrial contexts: the paper mill case study.
Behav. Inf. Technol., 2022

Towards Adaptation of Humanoid Robot Behaviour in Serious Game Scenarios Using Reinforcement Learning.
Proceedings of the 2nd Workshop on sociAL roboTs for peRsonalized, 2022

An Environment to Collect Personal Memories of Older Adults and Use Them to Personalise Serious Games with Humanoid Robots.
Proceedings of the 2nd Workshop on sociAL roboTs for peRsonalized, 2022

Towards Understanding the Transparency of Automations in Daily Environments 187-191.
Proceedings of the Joint Proceedings of the IUI 2022 Workshops: APEx-UI, 2022

EducationalGames: Web Application for Serious Games for Children with Dyslexia and ADHD.
Proceedings of the Universal Access in Human-Computer Interaction. User and Context Diversity, 2022

End-User Creation and Control of Daily Automations in Intelligent Environments.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

An Approach to Making Smart Home Automations Perceivable.
Proceedings of the Workshop on Engaging with Automation co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022), 2022

A Conversational Agent for Creating Flexible Daily Automation.
Proceedings of the AVI 2022: International Conference on Advanced Visual Interfaces, Frascati, Rome, Italy, June 6, 2022

An Approach to Exploiting Personal Memories in Humanoid Robots Serious Games for Cognitive Stimulation of Older Adults.
Proceedings of the 3rd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems co-located with International Conference on Advanced Visual Interfaces (AVI) 2022, 2022

2021
The impact of serious games with humanoid robots on mild cognitive impairment older adults.
Int. J. Hum. Comput. Stud., 2021

Recommendations for creating trigger-action rules in a block-based environment.
Behav. Inf. Technol., 2021

The transparency of automatic accessibility evaluation tools.
Proceedings of the W4A '21: 18th Web for All Conference, 2021

Personalization in a Paper Factory.
Proceedings of the End-User Development - 8th International Symposium, 2021

Comparative Analysis of Composition Paradigms for Personalization Rules in IoT Settings.
Proceedings of the End-User Development - 8th International Symposium, 2021

Artificial Intelligence versus End-User Development: A Panel on What Are the Tradeoffs in Daily Automations?
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Teaching End-User Development in the Time of IoT and AI.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

The Role of Augmented Reality in Smart Home Settings.
Proceedings of the 2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems co-located with with INTERACT 2021, 2021

2<sup>nd</sup> International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY).
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Micogito: a Serious Gamebook Based on Daily Life Scenarios to Cognitively Stimulate Older Adults.
Proceedings of the GoodIT '21: Conference on Information Technology for Social Good, 2021

A Cooking Game for Cognitive Training of Older Adults Interacting with a Humanoid Robot.
Proceedings of the 5th International Conference on Computer-Human Interaction Research and Applications, 2021

When Artificial Intelligence Alone is not Enough: End-User Creation and Control of Daily Automations.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020
Concepts and design space for a better understanding of multi-device user interfaces.
Univers. Access Inf. Soc., 2020

Understanding the transitions between web interfaces designed to stimulate specific emotions.
Univers. Access Inf. Soc., 2020

Everyday automation experience: a research agenda.
Pers. Ubiquitous Comput., 2020

Flexible Automatic Support for Web Accessibility Validation.
Proc. ACM Hum. Comput. Interact., 2020

Serious games to cognitively stimulate older adults: a systematic literature review.
Proceedings of the PETRA '20: The 13th PErvasive Technologies Related to Assistive Environments Conference, Corfu, Greece, June 30, 2020

Requirements for Large Scale Web Accessibility Evaluation.
Proceedings of the Computers Helping People with Special Needs, 2020

Integrating Alexa in a Rule-based Personalization Platform.
Proceedings of the GoodTechs '20: 6th EAI International Conference on Smart Objects and Technologies for Social Good, 2020

Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Adaptation in Humanoid Robots Serious Games with for Mild Cognitive Impairment Older Adults (short paper).
Proceedings of the Workshop on Adapted intEraction with SociAl Robots, 2020

Recommendations for Personalization Rules in Block Composer.
Proceedings of the 1st International Workshop on Empowering People in Dealing with Internet of Things Ecosystems co-located with International Conference on Advanced Visual Interfaces (AVI 2020), 2020

A Visual Environment for End-User Creation of IoT Customization Rules with Recommendation Support.
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020

EMPATHY: Empowering People in Dealing with Internet of Things Ecosystems (Workshop).
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020

2019
User Interface Adaptation for Accessibility.
Proceedings of the Web Accessibility - A Foundation for Research, Second Edition, 2019

A model-based framework for mobile apps customization through context-dependent rules.
Univers. Access Inf. Soc., 2019

Enabling personalisation of remote elderly assistance.
Multim. Tools Appl., 2019

Personalized real-time anomaly detection and health feedback for older adults.
J. Ambient Intell. Smart Environ., 2019

End-user development for personalizing applications, things, and robots.
Int. J. Hum. Comput. Stud., 2019

Supporting end-user debugging of trigger-action rules for IoT applications.
Int. J. Hum. Comput. Stud., 2019

A Personalisation Platform for Older Adults with Mild Cognitive Impairments.
ERCIM News, 2019

Supporting cross-device interactions with gestures between personal and public devices.
Proceedings of the 18th International Conference on Mobile and Ubiquitous Multimedia, 2019

Understanding indoor orientation through wearable vibrotactile feedback.
Proceedings of the 18th International Conference on Mobile and Ubiquitous Multimedia, 2019

Towards Intelligent Personalization of IoT Platforms.
Proceedings of the Joint Proceedings of the ACM IUI 2019 Workshops co-located with the 24th ACM Conference on Intelligent User Interfaces (ACM IUI 2019), 2019

Analyzing Trigger-Action Programming for Personalization of Robot Behaviour in IoT Environments.
Proceedings of the End-User Development - 7th International Symposium, 2019

Improving Tools that Allow End Users to Configure Smart Environments.
Proceedings of the End-User Development - 7th International Symposium, 2019

End User Personalization of Social Humanoid Robots.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

Understanding ASD individuals' difficulties with managing money: an interactive study.
Proceedings of the 13th Biannual Conference of the Italian SIGCHI Chapter: Designing the next interaction, 2019

Trigger-Action Programming for Personalising Humanoid Robot Behaviour.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Everyday Automation Experience: Non-Expert Users Encountering Ubiquitous Automated Systems.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Standardized representations and markup languages for multimodal interaction.
Proceedings of the Handbook of Multimodal-Multisensor Interfaces: Language Processing, Software, Commercialization, and Emerging Directions, 2019

2018
Real-Time Anomaly Detection in Elderly Behavior with the Support of Task Models.
Proc. ACM Hum. Comput. Interact., 2018

The Design of Web Games for Helping Young High-Functioning Autistics in Learning How to Manage Money.
Mob. Networks Appl., 2018

Anomaly Detection in the Elderly Daily Behavior.
Proceedings of the 14th International Conference on Intelligent Environments, 2018

A Holistic Decision Support Environment for Web Accessibility.
Proceedings of the Computers Helping People with Special Needs, 2018

A Visual Tool for Analysing IoT Trigger/Action Programming.
Proceedings of the Human-Centered Software Engineering, 2018

Towards understanding the usability of vibrotactile support for indoor orientation.
Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018

Trigger-action programming for context-aware elderly support in practice.
Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018

2017
Editorial: End-User Development for the Internet of Things.
ACM Trans. Comput. Hum. Interact., 2017

Personalization of Context-Dependent Applications Through Trigger-Action Rules.
ACM Trans. Comput. Hum. Interact., 2017

The usability of task modeling tools.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Towards a Platform for Persuading Older Adults to Adopt Healthy Behaviors.
Proceedings of the Second International Workshop on Personalization in Persuasive Technology co-located with the 12th International Conference on Persuasive Technology, 2017

A web framework for cross-device gestures between personal devices and public displays.
Proceedings of the 16th International Conference on Mobile and Ubiquitous Multimedia, 2017

Customizable automatic detection of bad usability smells in mobile accessed web applications.
Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2017

Personalizing a Student Home Behaviour.
Proceedings of the End-User Development - 6th International Symposium, 2017

Supporting Young High-Functioning ASD Individuals in Learning the Concept of Money.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

Detecting anomalous elderly behaviour in ambient assisted living.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Enabling Personalisation of Remote Elderly Assistant Applications.
Proceedings of the 12th Biannual Conference on Italian SIGCHI Chapter, 2017

A Design Space for End User Development in the Time of the Internet of Things.
Proceedings of the New Perspectives in End-User Development., 2017

A Public Tool Suite for Modelling Interactive Applications.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Integrating adaptation rules for people with special needs in model-based UI development process.
Univers. Access Inf. Soc., 2016

An environment for End-User Development of Web mashups.
Int. J. Hum. Comput. Stud., 2016

Human-Computer Interaction and International Public Policymaking: A Framework for Understanding and Taking Future Actions.
Found. Trends Hum. Comput. Interact., 2016

End-user personalization of context-dependent applications in AAL scenarios.
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, 2016

Collaborative Task Modelling on the Web.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

End-user development of cross-device user interfaces.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Customizable dynamic user interface distribution.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Timelines for Mobile Web Usability Evaluation.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2016

Security in User Interfaces Distributed Amongst Dynamic Sets of Devices and Users.
Proceedings of the Collaboration Meets Interactive Spaces, 2016

2015
An extensible environment for guideline-based accessibility evaluation of dynamic Web applications.
Univers. Access Inf. Soc., 2015

Adaptive multimodal web user interfaces for smart work environments.
J. Ambient Intell. Smart Environ., 2015

The role of tool support in public policies and accessibility.
Interactions, 2015

A Mobile End-User Development Environment for IoT Applications Exploiting the Puzzle Metaphor.
ERCIM News, 2015

Authoring context-dependent cross-device user interfaces based on trigger/action rules.
Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, November 30, 2015

Analysing How Users Prefer to Model Contextual Event-Action Behaviours in Their Smartphones.
Proceedings of the End-User Development - 5th International Symposium, 2015

Design Criteria for Stimulating Emotions in Web Applications.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Systems and tools for cross-device user interfaces.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Dynamic user interface adaptation driven by physiological parameters to support learning.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Responsive task modelling.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Authoring Public Display Web Applications: Guidelines, Design Patterns, and Tool Support.
Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter, 2015

End-User Development in the Internet of Things Era.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

Design and Adaptation for Cross-Device, Context-dependent User Interfaces.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

2014
Puzzle: A mobile application development environment using a jigsaw metaphor.
J. Vis. Lang. Comput., 2014

Task model-driven realization of interactive application functionality through services.
ACM Trans. Interact. Intell. Syst., 2014

Public policies and multilingualism in HCI.
Interactions, 2014

A Framework for Improving the Multi-Device User Experience in Smart Cities.
ERCIM News, 2014

Duality of task- and discourse-based interaction design for GUI generation.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Beyond Responsive Design: Context-Dependent Multimodal Augmentation of Web Applications.
Proceedings of the Mobile Web Information Systems - 11th International Conference, 2014

Design Criteria for Web Applications Adapted to Emotions.
Proceedings of the Web Engineering, 14th International Conference, 2014

Understanding End-User Development of Context-Dependent Applications in Smartphones.
Proceedings of the Human-Centered Software Engineering, 2014

Design Criteria for Public Display User Interfaces.
Proceedings of the Human-Computer Interaction. Theories, Methods, and Tools, 2014

A gestural concrete user interface in MARIA.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

Considering task pre-conditions in model-based user interface design and generation.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

User interface distribution in multi-device and multi-user environments with dynamically migrating engines.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

2013
Interactive customization of ubiquitous Web applications.
J. Vis. Lang. Comput., 2013

Generation of Multi-Device Adaptive MultiModal Web Applications.
Proceedings of the Mobile Web and Information Systems - 10th International Conference, 2013

Analysis and Visualization of Interactions with Mobile Web Applications.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Remote Usability Evaluation of Mobile Web Applications.
Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

GestIT: a declarative and compositional framework for multiplatform gesture definition.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

An environment for designing and sharing adaptation rules for accessible applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Context-aware service front-ends.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

A framework for the development of distributed interactive applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

The role of engineering work in CHI.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Towards an Architecture Supporting Social, Adaptive and Persuasive Services for Active Elderly.
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, 2013

2012
The Design of Web Sites Adaptable to Emotion-related Aspects.
PsychNology J., 2012

HCI public policy activities in 2012: a 10-country discussion.
Interactions, 2012

Speaker-independent emotion recognition exploiting a psychologically-inspired binary cascade classification schema.
Int. J. Speech Technol., 2012

OPEN Platform for Migration of Interactive Services: Architecture and Evaluation.
Int. J. Adapt. Resilient Auton. Syst., 2012

Cross Modality Adaptation of Service Front Ends.
ERCIM News, 2012

The role of HCI models in service front-end development.
Behav. Inf. Technol., 2012

A prototype for EUD in touch-based mobile devices.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Security in migratory interactive web applications.
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia, 2012

The SERENOA Project: Multidimensional Context-Aware Adaptation of Service Front-Ends.
Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms.
Proceedings of the 17th International Conference on Intelligent User Interfaces, 2012

A Compositional Model for Gesture Definition.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

Improving Support for Visual Task Modelling.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

Puzzle: A Visual-Based Environment for End User Development in Touch-Based Mobile Phones.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

A logical framework for multi-device user interfaces.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Invited engineering community SIG: the role of engineering work in CHI.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

How to Exploit Abstract User Interfaces in MARIA.
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, 2012

A Set of Languages for Context-Aware Adaptation.
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, 2012

Multidimensional Context-Aware Adaptation of Service Front-Ends.
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, 2012

Push and pull of web user interfaces in multi-device environments.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

Context-Aware Adaptation of Service Front-Ends.
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

Adaptive User Interfaces for Smart Environments with the Support of Model-Based Languages.
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

2011
A Design Space for User Interface Composition.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

State State of the Art in Migration.
Proceedings of the Migratory Interactive Applications for Ubiquitous Environments, 2011

Introduction.
Proceedings of the Migratory Interactive Applications for Ubiquitous Environments, 2011

Extending MARIA to Support Distributed User Interfaces.
Proceedings of the Distributed User Interfaces, 2011

User Interface User Interface Migration Based on the Use of Logical Descriptions.
Proceedings of the Migratory Interactive Applications for Ubiquitous Environments, 2011

Integration of User Interface User Interface Migration and Application Application Logic Reconfiguration: An Example in the Game Domain.
Proceedings of the Migratory Interactive Applications for Ubiquitous Environments, 2011

Engineering the authoring of usable service front ends.
J. Syst. Softw., 2011

Past, Present, and Future of Model-Based User Interface Development.
i-com, 2011

Model-based customizable adaptation of web applications for vocal browsing.
Proceedings of the 29th ACM international conference on Design of communication, 2011

Support for remote usability evaluation of web mobile applications.
Proceedings of the 29th ACM international conference on Design of communication, 2011

Creating Mashups by Direct Manipulation of Existing Web Applications.
Proceedings of the End-User Development - Third International Symposium, 2011

Adapting Desktop Web Pages for Vocal Browsing.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Supporting Transformations across User Interface Descriptions at Various Abstraction Levels.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Web Usability Probe: A Tool for Supporting Remote Usability Evaluation of Web Sites.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Engineering JavaScript state persistence of web applications migrating across multiple devices.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Flexible support for distributing user interfaces across multiple devices.
Proceedings of the 9th ACM SIGCHI Italian Chapter International Conference on Computer-Human Interaction: Facing Complexity, 2011

2010
Supporting Mobile Users in Selecting Target Devices.
J. Univers. Comput. Sci., 2010

Ambient Intelligence for Supporting Task Continuity across Multiple Devices and Implementation Languages.
Comput. J., 2010

Modelling user Interactions in Web Service-based Business Processes.
Proceedings of the WEBIST 2010, 2010

On-demand cross-device interface components migration.
Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, 2010

OPEN: open pervasive environments for migratory interactive services.
Proceedings of the iiWAS'2010, 2010

Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments.
Proceedings of the Web Engineering, 10th International Conference, 2010

Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign.
Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

Supporting Multimodality in Service-Oriented Model-Based Development Environments.
Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

Exploiting web service annotations in model-based user interface development.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Service discovery supported by task models.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Speaker-independent negative emotion recognition.
Proceedings of the 2nd International Workshop on Cognitive Information Processing, 2010

User task-based development of multi-device service-oriented applications.
Proceedings of the International Conference on Advanced Visual Interfaces, 2010

Task-driven service discovery and selection.
Proceedings of the International Conference on Advanced Visual Interfaces, 2010

Partial web interface migration.
Proceedings of the International Conference on Advanced Visual Interfaces, 2010

2009
Markup Languages in Human-Computer Interaction.
Proceedings of the Universal Access Handbook., 2009

Vibrotactile feedback to aid blind users of mobile guides.
J. Vis. Lang. Comput., 2009

MARIA: A universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments.
ACM Trans. Comput. Hum. Interact., 2009

Model-based Design of Multi-Device Applications based on Web Services.
IxD&A, 2009

UbiCicero: A location-aware, multi-device museum guide.
Interact. Comput., 2009

Cicero Designer: An Environment for End-User Development of Multi-Device Museum Guides.
Proceedings of the End-User Development, 2nd International Symposium, 2009

Model-Based Design of Multi-device Interactive Applications Based on Web Services.
Proceedings of the Human-Computer Interaction, 2009

Support for authoring service front-ends.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Enriching web information scent for blind users.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

2008
Remote Usability Evaluation: Discussion of a General Framework and Experiences from Research with a Specific Tool.
Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

A Migration Platform Based On Web Services For Migratory Web Applications.
J. Web Eng., 2008

Customization of Web applications through an intelligent environment exploiting logical interface descriptions.
Interact. Comput., 2008

Authoring pervasive multimodal user interfaces.
Int. J. Web Eng. Technol., 2008

Applying Web Usability Criteria for Vision-Impaired Users: Does It Really Improve Task Performance?
Int. J. Hum. Comput. Interact., 2008

Migratory Web User Interfaces.
ERCIM News, 2008

User Interface Migration between Mobile Devices and Digital TV.
Proceedings of the Engineering Interactive Systems, 2008

Preserving Rich User Interface State in Web Applications across Various Platforms.
Proceedings of the Engineering Interactive Systems, 2008

Vibrotactile feedback as an orientation aid for blind users of mobile guides.
Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, 2008

Designing Usable Applications based on Web Services.
Proceedings of the First Workshop on the Interplay between Usability Evaluation and Software Development, 2008

Exploiting RFIDs and Tilt-Based Interaction for Mobile Museum Guides Accessible to Vision-Impaired Users.
Proceedings of the Computers Helping People with Special Needs, 2008

A Semi-automatic Support to Adapt E-Documents in an Accessible and Usable Format for Vision Impaired Users.
Proceedings of the Computers Helping People with Special Needs, 2008

Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.
Proceedings of the Interactive Systems. Design, 2008

Supporting orientation for blind people using museum guides.
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

The next challenge: from easy-to-use to easy-to-develop. are you ready?
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

A Location-Aware Guide Based on Active RFIDs in Multi-Device Environments.
Proceedings of the Computer-Aided Design of User Interfaces VI, 2008

Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources.
Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007
Interactive Games in Multi-Device Environments to Enhance the Learning Experience of Museum Visitors.
ERCIM News, 2007

Exploiting Mobile Devices to Support Museum Visits through Multi-Modal Interfaces and Multi-Device Games.
Proceedings of the WEBIST 2007, 2007

Remote Evaluation of Mobile Applications.
Proceedings of the Task Models and Diagrams for User Interface Design, 2007

An environment to support multi-user interaction and cooperation for improving museum visits through games.
Proceedings of the 9th Conference on Human-Computer Interaction with Mobile Devices and Services, 2007

Designing Multi-device User Interfaces: How to Adapt to the Changing Device.
Proceedings of the Human-Computer Interaction, 2007

Multimodal PDA Interfaces to Assist Drivers in Monitoring Their Vehicles.
Proceedings of the Human-Computer Interaction, 2007

Authoring Multi-device Web Applications with Database Access.
Proceedings of the Web Engineering, 7th International Conference, 2007

Easing Web Guidelines Specification.
Proceedings of the Web Engineering, 7th International Conference, 2007

Web User Interface Migration through Different Modalities with Dynamic Device Discovery.
Proceedings of the 2nd International Workshop on Adaptation and Evolution in Web Systems Engineering AEWSE'07, 2007

Intelligent Support for End-User Web Interface Customization.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006
End-User Development: An Emerging Paradigm.
Proceedings of the End User Development, 2006

Future Perspectives in End-User Development.
Proceedings of the End User Development, 2006

Natural Development of Nomadic Interfaces Based on Conceptual Descriptions.
Proceedings of the End User Development, 2006

Automatic inspection-based support for obtaining usable Web sites for vision-impaired users.
Univers. Access Inf. Soc., 2006

Analysing context-dependent deviations in interacting with safety-critical systems.
Reliab. Eng. Syst. Saf., 2006

Flexible tool support for accessibility evaluation.
Interact. Comput., 2006

Incorporating Tilt-Based Interaction in Multimodal User Interfaces for Mobile Devices.
Proceedings of the Task Models and Diagrams for Users Interface Design, 2006

Dynamic Discovery and Monitoring in Migratory Interactive Services.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Model-based Generation of Interactive Digital TV Applications.
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Scan and tilt: towards natural interaction for mobile museum guides.
Proceedings of the 8th Conference on Human-Computer Interaction with Mobile Devices and Services, 2006

An Environment for Defining and Handling Guidelines for the Web.
Proceedings of the Computers Helping People with Special Needs, 2006

Intelligent Support for Nomadic Web Applications Personalization.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Collaborative Social Structures and Task Modelling Integration.
Proceedings of the Interactive Systems. Design, 2006

Information visualization and interaction techniques for collaboration across multiple displays.
Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Designing And Developing Multi-User, Multi-Device Web Interfaces.
Proceedings of the Computer-Aided Design Of User Interfaces V, 2006

Remote Web Usability Evaluation Exploiting Multimodal Information On User Behavior.
Proceedings of the Computer-Aided Design Of User Interfaces V, 2006

Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices.
Proceedings of the working conference on Advanced visual interfaces, 2006

2005
Model-based tools for pervasive usability.
Interact. Comput., 2005

Supporting interactive workflow systems through graphical web interfaces and interactive simulators.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the Forth International Workshop on Task Models and Diagrams for User Interface Design, 2005

Dynamic generation of web migratory interfaces.
Proceedings of the 7th Conference on Human-Computer Interaction with Mobile Devices and Services, 2005

Development of Multi-modal Interfaces in Multi-device Environments.
Proceedings of the Human-Computer Interaction, 2005

Analysing Trans-Modal Interface Migration.
Proceedings of the Human-Computer Interaction, 2005

Migratory MultiModal interfaces in MultiDevice environments.
Proceedings of the 7th International Conference on Multimodal Interfaces, 2005

Automatic semantic platform-dependent redesign.
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence, 2005

Natural Modelling of Interactive Applications.
Proceedings of the Interactive Systems, 2005

A Taxonomy for Migratory User Interfaces.
Proceedings of the Interactive Systems, 2005

Future Challenges of Model-Based Design.
Proceedings of the Interactive Systems, 2005

2004
Increasing usability when interacting through screen readers.
Univers. Access Inf. Soc., 2004

Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions.
IEEE Trans. Software Eng., 2004

The design of a handheld, location-aware guide for indoor environments.
Pers. Ubiquitous Comput., 2004

Methods and Tools for Designing and Developing Usable Multi-Platform Interactive Applications.
PsychNology J., 2004

Introduction to the special issue.
PsychNology J., 2004

Migratory user interfaces able to adapt to various interaction platforms.
Int. J. Hum. Comput. Stud., 2004

Natural development of ubiquitous interfaces.
Commun. ACM, 2004

Supporting Web Usability for Vision Impaired Users.
Proceedings of the User-Centered Interaction Paradigms for Universal Access in the Information Society, 2004

Applying information visualization techniques to visual representations of task models.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15, 2004

Supporting Museum Co-visits Using Mobile Devices.
Proceedings of the Mobile Human-Computer Interaction, 2004

Mixed-Initiative, Trans-modal Interface Migration.
Proceedings of the Mobile Human-Computer Interaction, 2004

A transformation-based environment for designing multi-device interactive applications.
Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

Flexible interface migration.
Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

CoCicero: un système interactif pour la visite collaborative de musée sur support mobile.
Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine, 2004

Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices.
Proceedings of the Human Error, 2004

Multimodality and multi-platform interactive systems.
Proceedings of the Building the Information Society, 2004

Designing Multi-Device Interactive Services through Multiple Abstraction Levels.
Proceedings of the Engineering Advanced Web Applications: Proceedings of Workshops in connection with the 4th International Conference on Web Engineering (ICWE 2004), 2004

Tools and Techniques for Pervasive Usability.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004

Supporting Flexible Development of Multi-device Interfaces.
Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004

TERESA: a transformation-based environment for designing and developing multi-device interfaces.
Proceedings of the Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, 2004

2003
A unified method for designing interactive systems adaptable to mobile and stationary platforms.
Interact. Comput., 2003

Understanding interaction with mobile devices.
Interact. Comput., 2003

A Tool for Creating Design Models from Web Site Code.
Int. J. Softw. Eng. Knowl. Eng., 2003

Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations.
Comput. J., 2003

Design Criteria for Location-Aware, Indoor, PDA Applications.
Proceedings of the Human-Computer Interaction with Mobile Devices and Services, 2003

User Needs for Development of Context Dependent Devices in Mobile Home Care.
Proceedings of the Human-Computer Interaction with Mobile Devices and Services, 2003

Tool support for designing nomadic applications.
Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

End-user Development.
Proceedings of the Human-Computer Interaction INTERACT '03: IFIP TC13 International Conference on Human-Computer Interaction, 2003

Methods and Tools for Design of Multi-Platform Applications and Remote Usability Evaluation.
Proceedings of the Human-Computer Interaction INTERACT '03: IFIP TC13 International Conference on Human-Computer Interaction, 2003

Models for universal usability.
Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, 2003

From Model-based to Natural Development.
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

Supporting Access to Museum Information for Mobile Visitors.
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

Model-Based Design of Speech Interfaces.
Proceedings of the Interactive Systems. Design, 2003

Design of usable multi-platform interactive systems.
Proceedings of the Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, 2003

Perspectives on end user development.
Proceedings of the Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, 2003

2002
Design and evaluation of an adaptive virtual guide for Web applications.
Univers. Access Inf. Soc., 2002

CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.
IEEE Trans. Software Eng., 2002

Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: A case study in the air-traffic control domain.
Int. J. Syst. Sci., 2002

Preventing user errors by systematic analysis of deviations from the system task model.
Int. J. Hum. Comput. Stud., 2002

Criteria for Usability of Accessible Web Sites.
Proceedings of the Universal Access: Theoretical Perspectives, 2002

Tools for Task Modelling: Where we are, Where we are headed.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002

Automatic reconstruction of the underlying interaction design of web applications.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Supporting Adaptivity to Heterogeneous Platforms through User Models.
Proceedings of the Mobile Human-Computer Interaction, 4th International Symposium, 2002

Intelligent analysis of user interactions with web applications.
Proceedings of the 7th International Conference on Intelligent User Interfaces, 2002

One Model, Many Interfaces.
Proceedings of the Computer-Aided Design of User Interfaces III, 2002

An Adaptive e-Commerce System Definition.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Design, specification, and verification of interactive systems.
ACM SIGSOFT Softw. Eng. Notes, 2001

User Interface Evaluation When User Errors May Have Safety-Critical Effects.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Design Criteria for Usable Web-Accessible Virtual Environments.
Proceedings of the International Cultural Heritage Informatics Meeting: Proceedings from ICHIM 2001. Politechnico di Milano, Milan, Italy, September 3-7, 2001, 2001

Towards a UML for Interactive Systems.
Proceedings of the Engineering for Human-Computer Interaction, 2001

A Tool Suite for Integrating Task and System Models through Scenarios.
Proceedings of the Interactive Systems: Design, 2001

Remote automatic evaluation of web sites based on task models and browser monitoring.
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001

CTTE: an environment for analysis and development of task models of cooperative applications.
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001

2000
Effective levels of adaptation to different types of users in interactive museum systems.
J. Am. Soc. Inf. Sci., 2000

RemUSINE: a bridge between empirical and model-based evaluation when evaluators and users are distant.
Interact. Comput., 2000

Designing an Agent to Support Interactive Access to Museum Information.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Design, specification, and verification of interactive systems (workshop session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.
Proceedings of the Interactive Systems: Design, 2000

Using Information in Task Models to Support Design of Interactive Safety-Critical Applications.
Proceedings of the working conference on Advanced visual interfaces, 2000

Logical Dimensions for the Information Provided by a Virtual Guide.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2000

1999
Special Issue on Formal Methods for Visual Interaction (Editorial).
J. Vis. Lang. Comput., 1999

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., 1999

Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study.
ACM Trans. Comput. Hum. Interact., 1999

Engineering the Design of Usable Hypermedia.
Empir. Softw. Eng., 1999

The Impact of Different Media on Safety and Usability of Interactive ATC Applications.
Proceedings of the Computer Safety, 1999

Developing Adaptable Hypermedia.
Proceedings of the 4th International Conference on Intelligent User Interfaces, 1999

Model-aided Remote Usability Evaluation.
Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

Modelling Multi-User Tasks.
Proceedings of the Human-Computer Interaction: Ergonomics and User Interfaces, 1999

Analysing User Deviations in Interactive Safety-Critical Applications.
Proceedings of the Design, 1999

Developing task models from informal scenarios.
Proceedings of the CHI '99 Extended Abstracts on Human Factors in Computing Systems, 1999

Computer-Aided Analysis of Cooperative Applications.
Proceedings of the Computer-Aided Design of User Interfaces II, 1999

1998
Automatic Support for Usability Evaluation.
IEEE Trans. Software Eng., 1998

Designing user interfaces for safety critical systems.
ACM SIGCHI Bull., 1998

Presentations for Databases in Multimedia Environments.
Multim. Syst., 1998

Deriving Presentations from Task Models.
Proceedings of the Engineering for Human-Computer Interaction, 1998

Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control.
Proceedings of the Design, 1998

Designing user interfaces for safety critical systems.
Proceedings of the CHI 98 Conference Summary on Human Factors in Computing Systems, 1998

Design of multimedia semantic presentation templates: options, problems and criteria of use.
Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24, 1998

1997
Formal Reasoning about Dialogue Properties with Automatic Support.
Interact. Comput., 1997

Using Tasks for Improving the Presentations for Database Query Results.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models.
Proceedings of the Human-Computer Interaction, 1997

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
Proceedings of the Human-Computer Interaction, 1997

Task-Oriented Design for Interactive User Interfaces of Museum Systems.
Proceedings of the Museum Interactive Multimedia: Cultural Heritage Systems Design and Interfaces. Selected Papers from the Fourth International Conference on Hypermedia and Interactivity in Museums, 1997

Reusable structures in task models.
Proceedings of the Design, 1997

1996
Formal methods in computer human interaction: comparison, benefits, open questions.
ACM SIGCHI Bull., 1996

Moving tasks at the center of the development, execution and evaluation process.
ACM SIGCHI Bull., 1996

Including time in the notion of interactor.
ACM SIGCHI Bull., 1996

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
Proceedings of the Design, 1996

Formal methods in computer human interaction: comparison, benefits, open questions.
Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, 1996

Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study.
Proceedings of the People and Computers XI, Proceedings of HCI '96, 1996

A semantics-based approach to designing presentations for multimedia database query results.
Proceedings of the workshop on Advanced visual interfaces 1996, 1996

1995
A method for formal specification and verification of interactive systems.
PhD thesis, 1995

Automatic Generation of Task-Oriented Help.
Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, 1995

Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
Proceedings of the SEKE'95, 1995

Formal verification of undesired behaviours in the CERD case study.
Proceedings of the Engineering for Human-Computer Interaction, 1995

A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.
Proceedings of the Design, 1995

1994
A Theory of User-interaction Objects.
J. Vis. Lang. Comput., 1994

Design, specification, verification of interactive systems: an international workshop sponsored by EUROGRAPHICS, ERCIM and CNUCE-CNR.
ACM SIGCHI Bull., 1994

A formal approach to the evaluation of interactive systems.
ACM SIGCHI Bull., 1994

A Semantics-Based Approach for the Design and Implementation of Interaction Objects.
Comput. Graph. Forum, 1994

The Design and Specification of a Visual Language: An Example for Customising Geographic Information Systems Functionalities.
Comput. Graph. Forum, 1994

A Tool-supported Approach to the Refinement of Interactive Systems.
Proceedings of the Design, 1994

Unifying Views of Interactors.
Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993
A formal specification of appearance and behaviour of visual environments.
Softw. Eng. J., 1993

A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model.
Comput. Graph. Forum, 1993

Definition of Properties of User Interfaces Using Action-Based Temporal Logic.
Proceedings of the SEKE'93, 1993

1992
A visual environment to define composition of interacting graphical objects.
Vis. Comput., 1992

The Input Model of Standard Graphics Systems Revisited by Formal Specification.
Comput. Graph. Forum, 1992

1990
An Approach to the Formal Specification of the Components of an Interaction.
Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990

A Model of Interaction for Graphical Systems.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990


  Loading...