Fabio Paterno

• Mobile Human-Computer Interaction
• Interactive Systems: Design, Specification, and Verification
• Migratory Interactive Applications for Ubiquitous Environments HumanComputer Interaction
• Design, Specification, and Verification of Interactive Systems
• Eics '11
• EICS 2011
• EICS'14
• Formal Methods in Human-Computer Interaction
• Human Computer Interaction with Mobile Devices
• Interactive Systems
• Model-Based Design and Evaluation of Interactive Applications
• Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services