Translating Haskell# Programs into Petri Nets. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins; Ricardo Massa Ferreira Lima (VECPAR, 2002)

Topological Skeletons in Haskell. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (IPDPS, 2003)

On the Implementation of SPMD Applications Using Haskell. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins; Nívia Cruz Quental (SBAC-PAD, 2003)

Haskell#: Parallel Programming Made Simple and Efficient. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (J. Univers. Comput. Sci., 2003)

Using Aspects for Supporting Procedural Modules in # Programming. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (Euro-Par, 2005)

A component model for high level and efficient parallel programming on distributed architectures. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (IADIS AC, 2005)

The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (SAC, 2005)

Design and Implementation of an Environment for Component-Based Parallel Programming. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins; Ricardo Cordeiro Corrêa; Gisele Azevedo Araújo; Chanderlie Freire de Santiago (VECPAR, 2006)

An Institutional Theory for #-Components. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (SBMF, 2006)

A categorical characterization for the compositional features of the # component model. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (ACM SIGSOFT Softw. Eng. Notes, 2006)

High-Level Service Connectors for Component-Based High Performance Computing. - Francisco Heron de Carvalho Junior; Ricardo Cordeiro Corrêa; Gisele Azevedo Araújo; Jefferson de Carvalho Silva; Rafael Dueire Lins (SBAC-PAD, 2007)

Towards an architecture for component-oriented parallel programming. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins; Ricardo Cordeiro Corrêa; Gisele Azevedo Araújo (Concurr. Comput. Pract. Exp., 2007)

Cyclic Reference Counting with Permanent Objects. - Rafael Dueire Lins; Francisco Heron de Carvalho Junior; Zanoni Dueire Lins (J. Univers. Comput. Sci., 2007)

A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network. - Giorgia de Oliveira Mattos; Rafael Dueire Lins; Andrei de Araújo Formiga; Francisco Heron de Carvalho Junior (ICN, 2008)

Compositional Specification of Parallel Components Using Circus. - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (FACS, 2008)

Comparative Aspects between the Cluster and Grid Implementations of BigBatch. - Giorgia de Oliveira Mattos; Andrei de Araújo Formiga; Rafael Dueire Lins; Francisco Heron de Carvalho Junior; Fernando Mário Junqueira Martins (J. Univers. Comput. Sci., 2008)

SBLP 2008: XII Brazilian Symposium on Programming. - Marco Túlio Valente; Peter D. Mosses; Francisco Heron de Carvalho Junior (J. Univers. Comput. Sci., 2008)

A Type System for Parallel Components - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (CoRR, 2009)

The design of a CCA framework with distribution, parallelism, and recursive composition. - Francisco Heron de Carvalho Junior; Ricardo Cordeiro Corrêa (GRID, 2010)

Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende (SBAC-PAD, 2011)

Connection Mechanisms of CCA Components for Parallel Applications. - Paulo Henrique Lopes Silva; Gisele Azevedo de Araújo Freitas; Francisco Heron de Carvalho Junior; Ricardo C. Corrêa (WSCAD-SSC, 2012)

Haskell_#: Coordinating Functional Processes - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (CoRR, 2012)

Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets - Francisco Heron de Carvalho Junior; Rafael Dueire Lins (CoRR, 2012)

Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende; Jefferson de Carvalho Silva; Wagner Guimarães Al-Alam (SBLP, 2013)

On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende; Jefferson de Carvalho Silva; Francisco José Lins Magalhães; Renato Caminha Juaçaba-Neto (SBLP, 2013)

Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. - Thiago Braga Marcilon; Francisco Heron de Carvalho Junior (SBMF, 2013)

A case study on expressiveness and performance of component-oriented parallel programming. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende (J. Parallel Distributed Comput., 2013)

Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs. - Anderson Boettge Pinheiro; Francisco Heron de Carvalho Junior; Neemias Gabriel Pena Batista Arruda; Tiago Carneiro 001 (SBLP, 2014)

Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. - Francisco Heron de Carvalho Junior; Luís Soares Barbosa (Sci. Comput. Program., 2014)

An object-oriented parallel programming language for distributed-memory parallel computing platforms. - Eduardo Gurgel Pinho; Francisco Heron de Carvalho Junior (Sci. Comput. Program., 2014)

A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems. - Tiago Carneiro Pessoa; Jan Gmys; Nouredine Melab; Francisco Heron de Carvalho Junior; Daniel Tuyttens (ICA3PP, 2016)

A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. - Jefferson de Carvalho Silva; Francisco Heron de Carvalho Junior (SBLP, 2016)

Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende (Sci. Comput. Program., 2016)

Contextual abstraction in a type system for component-based high performance computing platforms. - Francisco Heron de Carvalho Junior; Cenez Araújo Rezende; Jefferson de Carvalho Silva; Wagner Guimarães Al-Alam; João Marcelo U. de Alencar (Sci. Comput. Program., 2016)

A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. - Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa (CLOSER, 2017)

Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. - Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa (FACS, 2017)

Dynamic Configuration of CUDA Runtime Variables for CDP-Based Divide-and-Conquer Algorithms. - Tiago Carneiro 001; Jan Gmys; Nouredine Melab; Francisco Heron de Carvalho Junior; Pedro Pedrosa Rebouças Filho; Daniel Tuyttens (VECPAR, 2018)

MapReduce with Components for Processing Big Graphs. - Cenez Araújo de Rezende; Francisco Heron de Carvalho Junior (WSCAD, 2018)

GPU-accelerated backtracking using CUDA Dynamic Parallelism. - Tiago Carneiro Pessoa; Jan Gmys; Francisco Heron de Carvalho Junior; Nouredine Melab; Daniel Tuyttens (Concurr. Comput. Pract. Exp., 2018)

MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce. - Matheus H. M. Pericini; Lucas Goncalves de Moura Leite; Francisco Heron de Carvalho Junior; Javam C. Machado; Cenez Araújo Rezende (Algorithms, 2019)

A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services. - Jefferson de Carvalho Silva; Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior (Sci. Comput. Program., 2019)

A component-based framework for certification of components in a cloud of HPC services. - Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa (Sci. Comput. Program., 2020)

Contextual contracts for component-oriented resource abstraction in a cloud of high performance computing services. - Francisco Heron de Carvalho Junior; Wagner Guimarães Al-Alam; Allberson Bruno de Oliveira Dantas (Concurr. Comput. Pract. Exp., 2021)

A Component Model for Multilevel Parallel Programming. - Francisco Heron de Carvalho Junior; Tiago Carneiro 001 (SBLP, 2023)

The expression problem in platform-aware programming. - Francisco Heron de Carvalho Junior (SBLP, 2024)

Cloud-based parallel computing across multiple clusters in Julia. - Francisco Heron de Carvalho Junior; João Marcelo Uchôa de Alencar; Claro Henrique Silva Sales (SBLP, 2024)