Hyperbolic smoothing and penalty techniques applied to molecular structure determination. - Michael Souza 001; Adilson Elias Xavier; Carlile Lavor; Nelson Maculan (Oper. Res. Lett., 2011)

Solving the molecular distance geometry problem with inaccurate distance data. - Michael Souza 001; Carlile Lavor; Albert Muritiba; Nelson Maculan (BMC Bioinform., 2013)

Logarithmic quasi-distance proximal point scalarization method for multi-objective programming. - Rogério Azevedo Rocha; Paulo Roberto Oliveira; Ronaldo Malheiros Gregório; Michael Souza 001 (Appl. Math. Comput., 2016)

A Proximal Point Algorithm with Quasi-distance in Multi-objective Optimization. - Rogério Azevedo Rocha; P. Roberto Oliveira; Ronaldo Malheiros Gregório; Michael Souza 001 (J. Optim. Theory Appl., 2016)

Modeling the Molecular Distance Geometry Problem Using Dihedral Angles. - Michael Souza 001; Carlile Lavor; Rafael Alves (ISBRA, 2017)

A Linear Solver Framework for Flow and Geomechanics Reservoir Simulation. - Leonardo Gasparini; José Roberto Pereira Rodrigues; Cesar Conopoima; Douglas Adriano Augusto; Michael de Souza 001; Luiz Mariano Carvalho; Paulo Goldfeld; João Paulo Ramirez; Jairo Panetta (IPDPS Workshops, 2019)

On the polynomiality of finding KDMDGP re-orders. - Carlile Lavor; Michael Souza 001; Luiz Mariano Carvalho; Leo Liberti (Discret. Appl. Math., 2019)

A new algorithm for the KDMDGP subclass of Distance Geometry Problems. - Douglas Soares Gonçalves; Carlile Lavor; Leo Liberti; Michael Souza 001 (CoRR, 2020)

A New Algorithm for the KDMDGP Subclass of Distance Geometry Problems with Exact Distances. - Douglas Soares Gonçalves; Carlile Lavor; Leo Liberti; Michael Souza 001 (Algorithmica, 2021)

Improving the sampling process in the interval Branch-and-Prune algorithm for the discretizable molecular distance geometry problem. - Carlile Lavor; Michael Souza 001; Luiz Mariano Carvalho; Douglas Soares Gonçalves; Antonio Mucherino (Appl. Math. Comput., 2021)

On the optimality of finding DMDGP symmetries. - Carlile Lavor; Andrês Oliveira; Wagner Rocha; Michael Souza 001 (Comput. Appl. Math., 2021)

Orthogonality of isometries in the conformal model of the 3D space. - Carlile Lavor; Michael Souza 001; José Luis Aragón 001 (Graph. Model., 2021)

Hybrid parallel iterative sparse linear solver framework for reservoir geomechanical and flow simulation. - Leonardo Gasparini; José Roberto Pereira Rodrigues; Douglas Adriano Augusto; Luiz Mariano Carvalho; Cesar Conopoima; Paulo Goldfeld; Jairo Panetta; João Paulo Ramirez; Michael Souza 001; Mateus O. Figueiredo; Victor M. D. M. Leite (J. Comput. Sci., 2021)

Path-relinking with tabu search for the capacitated centered clustering problem. - Albert Einstein Fernandes Muritiba; Marcos José Negreiros Gomes; Michael Ferreira de Souza; Hedley Luna Gois Oriá (Expert Syst. Appl., 2022)

Distance geometry and protein loop modeling. - Rodrigo Labiak; Carlile Lavor; Michael Souza 001 (J. Comput. Chem., 2022)

A Custom Bio-Inspired Algorithm for the Molecular Distance Geometry Problem. - Sarah Ribeiro Lisboa Carneiro; Michael Ferreira de Souza; Douglas de O. Cardoso; Luís Tarrataca; Laura S. de Assis (BRACIS (1), 2023)

The Ordered Covering Problem in Distance Geometry. - Michael Souza 001; Nilton Maia; Carlile Lavor (ISBRA, 2023)

A Comparison of Image and Scalar-Based Approaches in Preconditioner Selection. - Michael Souza 001; Luiz Mariano Carvalho; Douglas Adriano Augusto; Jairo Panetta; Paulo Goldfeld; José Roberto Pereira Rodrigues (CoRR, 2023)

A Branch-and-Bound Algorithm for the Molecular Ordered Covering Problem. - Michael Souza 001; Nilton Maia; Rômulo S. Marques; Carlile Lavor (J. Comput. Biol., 2024)

A Probabilistic Approach in the Search Space of the Molecular Distance Geometry Problem. - Rômulo S. Marques; Michael Souza 001; Fernando Batista; Miguel Gonçalves; Carlile Lavor (J. Chem. Inf. Model., 2025)