Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Confirmed Publications: 39



11
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
12
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
13
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
14
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
15
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
16
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
17
TITLE: Soft error sensitivity and vulnerability of languages and their implementations
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2019, SOURCE: IJCCBS, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
18
TITLE: Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2018, SOURCE: 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
19
TITLE: Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
AUTHORS: Gilberto Melfe; Alcides Fonseca ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: 22nd Brazilian Symposium on Programming Languages, SBLP 2018 in Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
20
TITLE: Helping developers write energy efficient Haskell through a data-structure evaluation
AUTHORS: Melfe, G; Fonseca, A ; Fernandes, JP ;
PUBLISHED: 2018, SOURCE: 6th IEEE/ACM International Workshop on Green And Sustainable Software (GREENS) in 2018 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), VOLUME: Part F137724
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 2 of 4. Total results: 39.

A place for researchers and their institutions

Useful Links

Get Help

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