Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Confirmed Publications: 49



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service