Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Confirmed Publications: 47



11
TITLE: An Experience Report on Challenges in Learning the Robot Operating System
AUTHORS: Canelas, Paulo; Tavares, Miguel; Cordeiro, Ricardo; Fonseca, Alcides ; Timperley, Christopher S.;
PUBLISHED: 2022, SOURCE: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 4TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2022)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
12
13
TITLE: Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming  Full Text
AUTHORS: Guilherme Espada; Leon Ingelse; Paulo Canelas; Pedro Barbosa; Alcides Fonseca ;
PUBLISHED: 2022, SOURCE: GPCE
INDEXED IN: DBLP CrossRef: 10
IN MY: ORCID
14
TITLE: Figra. evaluating a larger search space for cardumen in automatic program repair
AUTHORS: Alcides Fonseca ; Máximo Oliveira;
PUBLISHED: 2022, SOURCE: Proceedings of the Third International Workshop on Automated Program Repair
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
15
TITLE: Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair
AUTHORS: Fonseca, Alcides ; Oliveira, Maximo;
PUBLISHED: 2022, SOURCE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
16
TITLE: Type Systems in Resource-Aware Programming: Opportunities and Challenges
AUTHORS: Alcides Fonseca ; Guilherme Espada;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.15211
INDEXED IN: DBLP
17
TITLE: Anticancer Activity and Mode of Action of Copper(II)-Bis(thiosemicarbazonato) Complexes with Pendant Nitrogen Heterocycles  Full Text
AUTHORS: Palma, E; Raposinho, P; Campello, MPC; Belo, D; Guerreiro, JF; Alves, V; Fonseca, A ; Abrunhosa, AJ; Paulo, A; Mendes, F ;
PUBLISHED: 2021, SOURCE: EUROPEAN JOURNAL OF INORGANIC CHEMISTRY, VOLUME: 2021, ISSUE: 14
INDEXED IN: Scopus WOS CrossRef: 9
18
TITLE: Augmenting Search-based Techniques with Static Synthesis-based Input Generation
AUTHORS: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
19
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
IN MY: ORCID
20
TITLE: Reductions and abstractions for formal verification of distributed round-based algorithms  Full Text
AUTHORS: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLISHED: 2021, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
Page 2 of 5. Total results: 47.

footer slogan

Useful Links

Get Help

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