Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José; Carvalho, Renato; Silva, Ricardo; Paiva, Ana C.R.; Sozinho Ramalho, Miguel; Silva, DanielArtigoAcesso restrito UMinho
2021Development and validation of a descriptive cognitive model for predicting usability issues in a low-code development platformSilva, Carlos César Loureiro; Vieira, Joana; Campos, José C.; Couto, Rui; Ribeiro, António NestorArtigoAcesso aberto
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D.; Martinie, Célia; Masci, Paolo; Palanque, PhilippeArtigoAcesso aberto
2020Unifying parsing and reflective printing for fully disambiguated grammarsZhu, Zirun; Ko, Hsiang-Shang; Zhang, Yongzhe; Martins, Pedro; Saraiva, João; Hu, ZhenjiangArtigoAcesso aberto
2021Balancing the formal and the informal in user-centred designHarrison, Michael D.; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
2022Interactive VPL-based global illumination on the GPU using fuzzy clusteringColom, Arnau; Marques, Ricardo; Santos, Luís PauloArtigoAcesso aberto
2023MRVs: enforcing numeric invariants in parallel updates to hotspots with randomized splittingFaria, Nuno; Pereira, JoséArtigoAcesso restrito UMinho
2020Understanding the impact of introducing Lambda expressions in Java ProgramsLucas, Walter; Fortes, José; Lopes, Francisco; Marcílio, Diego; Bonifácio, Rodrigo; Canedo, Edna; Lima, Fernanda; Saraiva, JoãoArtigoAcesso aberto
Set-2023Formally verifying Kyber. Episode IV: implementation correctnessAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Grégoire, Benjamin; Laporte, Vincent; Léchenet, Jean-Christophe; Oliveira, Tiago; Pacheco, Hugo; Quaresma, Miguel; Schwabe, Peter; Séré, Antoine; Strub, Pierre-YvesArtigoAcesso aberto
1-10 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir