HASLab - Resumos em livros de atas : [13] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 13 of 13
Issue DateTitleAuthor(s)TypeAccess
2023HCI-E2 -2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering EducationCampos, José C.; Nigay, Laurence; Dix, Alan, et al.Conference paperEmbargoed access (6 Months)
2021The management of risks and benefits when engineering interactive digital systemsCampos, José C.; Graham, T. C. Nicholas; Spano, Lucio Davide, et al.Conference paperOpen access
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.AbstractOpen access
2017Avaliação de usabilidade da ferramenta uCatCouto, Rui; Ribeiro, António Nestor; Campos, José C.AbstractOpen access
2017De requisitos a protótipos de UI: uma abordagem semi automatizadaCouto, Rui; Ribeiro, António Nestor; Campos, José C.AbstractOpen access
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Conference paperOpen access
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaConference paperRestricted access (UMinho)
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.AbstractOpen access
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.AbstractOpen access
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.AbstractOpen access
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.Conference paperOpen access
2012Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Conference paperOpen access
2011Gestão e manutenção de múltiplos terminais em redes de próxima geraçãoGomes, Alberto; Azevedo, Ricardo; Carvalho, Paulo, et al.AbstractOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 13 of 13