Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Confirmed Publications: 53



21
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
IN MY: DBLP
22
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
23
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 | DBLP | CIÊNCIAVITAE
24
TITLE: Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
AUTHORS: Alcides Fonseca ; Paulo Santos; Guilherme Espada; Sara Silva ;
PUBLISHED: 2021, SOURCE: Genetic Programming Theory and Practice XVIII [GPTP 2021].
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
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: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
26
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
IN MY: DBLP
27
TITLE: Refined typed genetic programming as a user interface for genetic programming
AUTHORS: Paulo Santos; Sara Silva ; Alcides Fonseca ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: The Usability Argument for Refinement Typed Genetic Programming
AUTHORS: Alcides Fonseca ; Paulo Santos; Sara Silva ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
TITLE: A Manifesto for Energy-Aware Software  Full Text
AUTHORS: Fonseca, A ; Kazman, R; Lago, P;
PUBLISHED: 2019, SOURCE: IEEE SOFTWARE, VOLUME: 36, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 3 of 6. Total results: 53.

footer slogan

Useful Links

Get Help

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