• Process Model Repair 

  Armas Cervantes, A (Springer, 2019)

• Older Adults Designing Avatars for Socializing 

  Carrasco Zuffi, R (ACM Press, 2018)

  In this research I investigate the design and use of virtual avatars (full body representations of the user) among older adults over 65 years old. This research seeks to understand the avatar's designs made by older adults ...

• A complete refinement procedure for regular separability of context-free languages 

  Gange, G; Navas, JA; Schachte, P; Sondergaard, H; Stuckey, PJ (ELSEVIER SCIENCE BV, 2016-04-25)

  Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present a class of semi-decision procedures for regular separability of context-free ...

View more