1
TITLE: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Biomedical data analytics in mobile-health environments for high-risk pregnancy outcome prediction
AUTHORS: Mario W L Moreira; Joel J P C Rodrigues; Francisco H C Carvalho; Naveen Chilamkurti; Jalal Al Muhtadi; Victor Denisov;
PUBLISHED: 2019, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 10, ISSUE: 10
INDEXED IN: Scopus WOS
3
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
TITLE: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface  Full Text
AUTHORS: Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2
INDEXED IN: Scopus WOS DBLP CrossRef