Data | Título | Autor(es) | Tipo | Acesso |
2023 | PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications | Rua, Rui António Ramada; Saraiva, João | Artigo em ata de conferência | Acesso aberto |
2023 | Towards automated load testing through the user interface | Teixeira, Bruno; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
2021 | HCI-E2 : HCI engineering education for developers, designers and more | Baumann, Konrad; Campos, José C.; Dix, Alan, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | AMAN case study | Palanque, Philippe; Campos, José C. | Artigo em ata de conferência | Acesso embargado (6 Meses) |
2023 | Prototyping with the IVY workbench: bridging formal methods and user-centred design | Costa, Rafael Braga da; Campos, José C. | Artigo em ata de conferência | Acesso embargado (6 Meses) |
2023 | AGE: Automatic performance evaluation of API Gateways | Moreira, Pedro; Ribeiro, António Nestor; Silva, João Marco Cardoso | Artigo em ata de conferência | Acesso aberto |
2021 | Towards the integration of user interface prototyping and model-based development | Machado, Catarina; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
2022 | Teaching HCI engineering: four case studies | Caffieau, Sybille; Campos, José C.; Martinie, Célia, et al. | Artigo em ata de conferência | Acesso aberto |
7-Nov-2023 | A review on the decarbonization of high-performance computing centers | Silva, C. A.; Vilaça, Ricardo Manuel Pereira; Pereira, André Martins, et al. | Artigo | Acesso aberto |
2022 | Addressing interactive computing systems’ concerns in software engineering degrees | Campos, José C.; Ribeiro, António Nestor | Artigo em ata de conferência | Acesso aberto |
2021 | Bringing green software to computer science curriculum: perspectives from researchers and educators | Saraiva, João; Zong, Ziliang; Pereira, Rui Alexandre Afonso | Artigo em ata de conferência | Acesso aberto |
2022 | An oblivious observed-reset embeddable replicated counter | Weidner, Matthew; Almeida, Paulo Sérgio | Artigo em ata de conferência | Acesso aberto |
2022 | Exon: An oblivious exactly-once messaging protocol | Kassam, Ziad; Almeida, Paulo Sérgio; Shoker, Ali | Artigo em ata de conferência | Acesso aberto |
2023 | Time-limited Bloom Filter | Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2023 | Understanding the motivations, challenges, and practices of software rejuvenation | Lucas, Walter; Bonifácio, Rodrigo; Saraiva, João | Artigo em ata de conferência | Acesso aberto |
2023 | Efficient embedding of strategic attribute grammars via memoization | Macedo, José Nuno Castro; Rodrigues, Emanuel; Viera, Marcos, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | GPT-3-powered type error debugging: investigating the use of large language models for code repair | Ribeiro, Francisco José Torres; Macedo, José Nuno Castro; Tsushima, Kanae, et al. | Artigo em ata de conferência | Acesso aberto |
Jun-2022 | Verified password generation from password composition policies | Grilo, Miguel; Campos, João; Ferreira, João F., et al. | Artigo em ata de conferência | Acesso aberto |
Nov-2021 | Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head | Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al. | Artigo em ata de conferência | Acesso aberto |
2021 | Towards generic fine-grained transaction isolation in polystores | Faria, Nuno; Pereira, José; Alonso, Ana Nunes, et al. | Artigo em ata de conferência | Acesso restrito UMinho |