Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Publicações Confirmadas: 53



21
TÍTULO: Type Systems in Resource-Aware Programming: Opportunities and Challenges
AUTORES: Alcides Fonseca ; Guilherme Espada;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.15211
INDEXADO EM: DBLP
NO MEU: DBLP
22
TÍTULO: Anticancer Activity and Mode of Action of Copper(II)-Bis(thiosemicarbazonato) Complexes with Pendant Nitrogen Heterocycles  Full Text
AUTORES: Palma, E; Raposinho, P; Campello, MPC; Belo, D; Guerreiro, JF; Alves, V; Fonseca, A ; Abrunhosa, AJ; Paulo, A; Mendes, F ;
PUBLICAÇÃO: 2021, FONTE: EUROPEAN JOURNAL OF INORGANIC CHEMISTRY, VOLUME: 2021, NÚMERO: 14
INDEXADO EM: Scopus WOS CrossRef: 9
23
TÍTULO: Augmenting Search-based Techniques with Static Synthesis-based Input Generation
AUTORES: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
AUTORES: Alcides Fonseca ; Paulo Santos; Guilherme Espada; Sara Silva ;
PUBLICAÇÃO: 2021, FONTE: Genetic Programming Theory and Practice XVIII [GPTP 2021].
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Reductions and abstractions for formal verification of distributed round-based algorithms  Full Text
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: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
26
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
NO MEU: DBLP
27
TÍTULO: Refined typed genetic programming as a user interface for genetic programming
AUTORES: Paulo Santos; Sara Silva ; Alcides Fonseca ;
PUBLICAÇÃO: 2020, FONTE: 2020 Genetic and Evolutionary Computation Conference, GECCO 2020 in GECCO '20: Genetic and Evolutionary Computation Conference, Companion Volume, Cancún, Mexico, July 8-12, 2020
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: The Usability Argument for Refinement Typed Genetic Programming
AUTORES: Alcides Fonseca ; Paulo Santos; Sara Silva ;
PUBLICAÇÃO: 2020, FONTE: 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020 in Parallel Problem Solving from Nature - PPSN XVI - 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II, VOLUME: 12270
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: A Manifesto for Energy-Aware Software  Full Text
AUTORES: Fonseca, A ; Kazman, R; Lago, P;
PUBLICAÇÃO: 2019, FONTE: IEEE SOFTWARE, VOLUME: 36, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 6. Total de resultados: 53.

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