Search - IFIP Open Digital Library Access content directly

Filter your results

8 results
Structure: Internal structure identifier : 379036
publicationDateY_i : 2021
Page :
sorted by
Image document

An Enriched Emoji Picker to Improve Accessibility in Mobile Communications

 Maria Teresa Paratore , Maria Claudia Buzzi , Marina Buzzi , Barbara Leporini
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.418-433, ⟨10.1007/978-3-030-85623-6_25⟩
Conference papers hal-04331585v1
Image document

2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY)

 Giuseppe Desolda , Vincenzo Deufemia , Maristella Matera , Fabio Paternò , Fabiana Vernero , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.525-529, ⟨10.1007/978-3-030-85607-6_71⟩
Conference papers hal-04291212v1
Image document

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities

 Davide Basile , Maurice Beek , Pierpaolo Degano , Axel Legay , Gian-Luigi Ferrari , et al.
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers hal-03740267v1

Fundamentals of Software Engineering

 Hossein Hojjat , Mieke Massink
Springer International Publishing, LNCS-12818, 2021, Lecture Notes in Computer Science, 978-3-030-89246-3. ⟨10.1007/978-3-030-89247-0⟩
Books hal-04074515v1
Image document

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

 Davide Basile , Maurice H. ter Beek
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, ⟨10.1007/978-3-030-78142-2_14⟩
Conference papers hal-03387846v1
Image document

Towards a Spatial Model Checker on GPU

 Laura Bussi , Vincenzo Ciancia , Fabio Gadducci
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers hal-03740266v1
Image document

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 Myers , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.340-343, ⟨10.1007/978-3-030-85607-6_33⟩
Conference papers hal-04291250v1
Image document

Sign Language GIFs Exchange Communication System: A PECS-Based Computer-Mediated Communication Tool for the Deaf

 Celeste Zhilla , Giulio Galesi , Barbara Leporini
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.490-494, ⟨10.1007/978-3-030-85607-6_64⟩
Conference papers hal-04291194v1
Page :