Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Publicações Confirmadas: 47



11
TÍTULO: Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
AUTORES: Guilherme Espada; Leon Ingelse; Paulo Canelas; Pedro Barbosa; Alcides Fonseca ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2210.04826
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
AUTORES: Guilherme Espada; Leon Ingelse; Paulo Canelas; Pedro Barbosa; Alcides Fonseca ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2022, Auckland, New Zealand, December 6-7, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Figra. evaluating a larger search space for cardumen in automatic program repair
AUTORES: Alcides Fonseca ; Máximo Oliveira;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the Third International Workshop on Automated Program Repair
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair
AUTORES: Fonseca, Alcides ; Oliveira, Maximo;
PUBLICAÇÃO: 2022, FONTE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
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
16
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
17
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
18
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
19
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
20
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
Página 2 de 5. Total de resultados: 47.

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

Links Úteis

Ajuda

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