21
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
22
TITLE: Refined typed genetic programming as a user interface for genetic programming
AUTHORS: Paulo Santos; Sara Silva ; Alcides Fonseca ;
PUBLISHED: 2020, SOURCE: GECCO Companion
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
23
TITLE: The Usability Argument for Refinement Typed Genetic Programming
AUTHORS: Alcides Fonseca ; Paulo Santos; Sara Silva ;
PUBLISHED: 2020, SOURCE: PPSN (2), VOLUME: 12270 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
24
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: 45
IN MY: ORCID
25
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
26
TITLE: Soft error sensitivity and vulnerability of languages and their implementations
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2019, SOURCE: Int. J. Crit. Comput. Based Syst., VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID
29
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)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
30
TITLE: Language-Based Expression of Reliability and Parallelism for Low-Power Computing
AUTHORS: Alcides Fonseca ; Frederico Cerveira; Bruno Cabral; Raul Barbosa;
PUBLISHED: 2018, SOURCE: IEEE Trans. Sustain. Comput., VOLUME: 3, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 3 of 5. Total results: 47.