Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Publicações Confirmadas: 49



21
TÍTULO: Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
AUTORES: Alcides Fonseca ; Paulo Santos; Guilherme Espada; Sara Silva ;
PUBLICAÇÃO: 2021, FONTE: GPTP
INDEXADO EM: DBLP CrossRef
22
TÍTULO: Reductions and abstractions for formal verification of distributed round-based algorithms
AUTORES: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLICAÇÃO: 2021, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
23
TÍTULO: User-driven Design and Evaluation of Liquid Types in Java
AUTORES: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2110.05444
INDEXADO EM: DBLP
24
TÍTULO: Refined typed genetic programming as a user interface for genetic programming
AUTORES: Paulo Santos; Sara Silva ; Alcides Fonseca ;
PUBLICAÇÃO: 2020, FONTE: GECCO Companion
INDEXADO EM: Scopus DBLP CrossRef: 1
25
TÍTULO: The Usability Argument for Refinement Typed Genetic Programming
AUTORES: Alcides Fonseca ; Paulo Santos; Sara Silva ;
PUBLICAÇÃO: 2020, FONTE: PPSN (2), VOLUME: 12270 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
26
TÍTULO: A Manifesto for Energy-Aware Software
AUTORES: Fonseca, A ; Kazman, R; Lago, P;
PUBLICAÇÃO: 2019, FONTE: IEEE SOFTWARE, VOLUME: 36, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
27
TÍTULO: Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs
AUTORES: Alcides Fonseca ; Bruno Cabral;
PUBLICAÇÃO: 2019, FONTE: Handbook of Deep Learning Applications, VOLUME: 136
INDEXADO EM: Scopus DBLP CrossRef: 2
28
TÍTULO: Soft error sensitivity and vulnerability of languages and their implementations
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: Int. J. Crit. Comput. Based Syst., VOLUME: 9, NÚMERO: 4
INDEXADO EM: Scopus DBLP
29
30
Página 3 de 5. Total de resultados: 49.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service