Programa de Pós-Graduação em Matemática Aplicada

Carlile Campos Lavor

Carlile Lavor é Prof. Titular, desde 2015, do Instituto de Matemática, Estatística e Computação Científica (IMECC - UNICAMP), com graduação em MATEMÁTICA pela Universidade Estadual de Campinas (UNICAMP, 1996), doutorado em COMPUTAÇÃO pela Universidade Federal do Rio de Janeiro (COPPE - UFRJ, 2001), pós-doutorado em COMPUTAÇÃO QUÂNTICA pelo Laboratório Nacional de Computação Científica (LNCC, 2003) e livre-docência em COMBINATÓRIA pela Universidade Estadual de Campinas (UNICAMP, 2006). Entre 2012 e 2013, foi Chefe do Dep. de Matemática Aplicada (IMECC - UNICAMP), e entre 2015 e 2016, foi Diretor Associado do IMECC. Com sua pesquisa em GEOMETRIA DE DISTÂNCIAS, foi palestrante convidado em diversas instituições internacionais de grande prestígio (Brown University, Columbia University, Duke University, École Polytechnique, IBM TJ Watson Research Center, Institut Pasteur, MIT, Princeton University) e tem experiência na área de Matemática Aplicada e Ciência da Computação, com ênfase em Geometria de Distâncias, Álgebra Geométrica, Geometria de Proteínas e Computação Quântica. Na 1a. edição de 2014 do periódico SIAM REVIEW (JCR = 6.1), seu (et al.) artigo ''Euclidean Distance Geometry and Applications'' foi ARTIGO DE CAPA, premiado como ARTIGO NOTÁVEL pela ACM COMPUTING REVIEWS, em 2015. No biênio 2018-2019, foi Presidente da Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC) e, em 2021, recebeu o PRÊMIO ELON LAGES LIMA. Em 2023, foi eleito CONSELHEIRO da SBM e da SBMAC. Em 2024, presidiu o júri da 1a. edição do PRÊMIO JABUTI ACADÊMICO, na área de Matemática, Probabilidade e Estatística, oferecido pela Câmara Brasileira do Livro, com o apoio da Sociedade Brasileira para o Progresso da Ciência (SBPC) e da Academia Brasileira de Ciências (ABC). Também em 2024, recebeu o PRÊMIO ZEFERINO VAZ, distinção mais importante da UNICAMP que homenageia o Prof. Zeferino Vaz, fundador e primeiro reitor da universidade. Em 2025, presidiu o júri do PRÊMIO ELON LAGES LIMA e novamente foi convidado para presidir o júri da 2a. edição do PRÊMIO JABUTI ACADÊMICO, também na área de Matemática. Na 4a. edição de 2026 do periódico JOURNAL OF COMPUTATIONAL CHEMISTRY (JCR = 4.8), seu (et al.) artigo ''Conformal Coordinates for Molecular Geometry: from 3D to 5D'' foi ARTIGO DE CAPA. Também em 2026, foi GENERAL CHAIR da 3a. edição do ''Brazil - China Joint Mathematical Meeting'', evento organizado pela SBM, SBMAC e Sociedade Chinesa de Matemática.

Currículo Lattes (atualizado em 26/06/2026 15:36:36) Nome Completo: Carlile Campos Lavor ID Lattes: 2019624495480547 ORCiD: Ranking: 0.0 Categoria: PERMANENTE Tipo Bolsa CNPq: Produtividade em Pesquisa Categoria Bolsa CNPq: 1B Períodos: 2005-2026 Período(s) de Análise: 2005-2026 Endereço: Universidade Estadual de Campinas. Instituto de Matemática Estatística e Ciência da Computação. Rua Sérgio Buarque de Holanda, 651 CEP 13083859 - Campinas, SP. Área(s) de Atuação: Ciências Exatas e da Terra :: Matemática :: Álgebra Geométrica Ciências Exatas e da Terra :: Ciência da Computação :: Geometria de Proteínas Ciências Exatas e da Terra :: Ciência da Computação :: Computação Quântica Ciências Exatas e da Terra :: Matemática :: Geometria de Distâncias Ciências Exatas e da Terra :: Matemática :: Topologia Algébrica Computacional Citações: Google Acadêmico Formação Acadêmica: Graduação: Matemática (UNICAMP) , Universidade Estadual de Campinas, 1992-1996 Doutorado: Computação (COPPE - UFRJ) , Universidade Federal do Rio de Janeiro, 1997-2001 Pós-doutorado: , Laboratório Nacional de Computação Científica, 2003-2003 Pós-doutorado: , IMECC-UNICAMP, 2008-2009 Pós-doutorado: , Duke University, 2013-2014 Pós-doutorado: , Universidad Nacional Autónoma de Mexico, 2020-2021 Livre Docência: Combinatória , Universidade Estadual de Campinas, 2006 Rank de colaboração: 93 Colaborações Endógenas: Aurelio Ribeiro Leite De Oliveira: 4 Carla Taviane Lucke Da Silva Ghidini: 0 Francisco De Assis Magalhaes Gomes Neto: 0 Jayme Vaz Junior: 0 Joerg Dietrich Wilhelm Schleicher: 0 Laecio Carvalho De Barros: 1 Laercio Luis Vendite: 0 Marcia Aparecida Gomes Ruggiero: 5 Margarida Pinheiro Mello: 0 Ricardo Caetano Azevedo Biloti: 1 Roberto Andreani: 0 Stefano De Leo: 0 Luiz Leduino De Salles Neto: 4 Marcelo Firer: 1 Marcos Eduardo Ribeiro Do Valle Mesquita: 1 Marta Ines Velazco Fontova: 0 Kelly Cristina Poldi: 0 Estevao Esmi Laureano: 0 Antonio Carlos De Andrade Campello Junior: 0 Joao Paulo Pitelli Manoel: 0 Felix Silva Costa: 0 Leonardo Delarmelina Secchin: 0

Atenção:As informações de produção listadas a seguir referem-se exclusivamente ao período de análise considerado no presente relatório, bem como ao período, ou períodos, em que o membro estadiou na instituição. Para verificar a produção completa do membro, consulte o seu Currículo Lattes.

Produção Bibliográfica

Artigos completos publicados em periódicos

• LAVOR, C.; CARDOZO, T. M.; NASCIMENTO, M. A. C. Using an interval branch and bound algorithm in the Hartree-Fock method. International Journal of Quantum Chemistry (ISSN: 00207608). v. 103. 2005.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A4  ]
• BARBOSA, H.; LAVOR, C.; RAUPP, F. A GA-simplex hybrid algorithm for global minimization of molecular potential energy functions. Annals of Operation Research (ISSN: 02545330). v. 138. 2005.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LAVOR, C. Analytic evaluation of the gradient and Hessian of molecular potential energy functions. Physica. D, Nonlinear phenomena (Print) (ISSN: 01672789). v. 227. 2007.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  | Astronomia / Física: A3  ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N.; NASCIMENTO, M. A. C. Solving Hartree-Fock systems with global optimization methods. Europhysics Letters (Print) (ISSN: 02955075). v. 77. 2007.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  | Astronomia / Física: A3  ]
• DRAZIC, M.; LAVOR, C.; MACULAN, N.; MLADENOVIC, N. A continuous variable neighborhood search heuristic for finding the three-dimensional structure of a molecule. European Journal of Operational Research (ISSN: 03772217). v. 185. 2008.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  ]
• LAVOR, C.; CARVALHO, L. M.; PORTUGAL, R.; MOURA, C. A. Complexity of Grover´s algorithm: an algebraic approach. International Journal of Applied Mathematics (ISSN: 13111728). v. 20. 2007.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: B3  ]
• LIBERTI, L.; LAVOR, C.; MACULAN, N. A branch-and-prune algorithm for the molecular distance geometry problem. International Transactions in Operational Research (ISSN: 09696016). v. 15. 2008.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• KOWADA, L.A.B.; LAVOR, C.; PORTUGAL, R.; FIGUEIREDO, C. M. H. A new quantum algorithm for solving the minimum searching problem. International Journal of Quantum Information (ISSN: 02197499). v. 6. 2008.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: B1  ]
• CARVALHO, R. S.; LAVOR, C.; PROTTI, F. Extending the geometric build-up algorithm for the molecular distance geometry problem. Information Processing Letters (ISSN: 00200190). v. 108. 2008.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  ]
• LIBERTI, L.; LAVOR, C.; MACULAN, N.; NASCIMENTO, M. A. C. Reformulation in mathematical programming: an application to quantum chemistry. Discrete Applied Mathematics (ISSN: 0166218X). v. 157. 2009.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• PALATNIK-DE-SOUSA, C. B.; SILVA-ANTUNES, I.; MORGADO, A. A.; MENZ., I.; PALATNIK, M.; LAVOR, C. Decrease of the incidence of human and canine visceral leishmaniasis after dog vaccination with leishmune® in brazilian endemic areas. Vaccine (Guildford) (ISSN: 0264410X). v. 27. 2009.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A2  ]
• LIBERTI, L.; LAVOR, C.; MACULAN, N.; MARINELLI, F. Double variable neighbourhood search with smoothing for the molecular distance geometry problem. Journal of Global Optimization (ISSN: 09255001). v. 43. 2009.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L.; MACULAN, N. On the definition of artificial backbones for the discretizable molecular distance geometry problem. Mathematica Balkanica (Sofiâ) (ISSN: 02053217). v. 23. 2009.

  [ Google | Google Scholar ] [Qualis: N/A ]
• LAVOR, C.; MUCHERINO, A.; LIBERTI, L.; MACULAN, N. Discrete approaches for solving molecular distance geometry problems using NMR data. International Journal of Computational Bioscience (ISSN: 19183909). v. 1. 2010.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• ALVES, R.; LAVOR, C. Clifford algebra applied to Grover's algorithm. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 20. 2010.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• LA GUARDIA, G.; PALAZZO JR., R.; LAVOR, C. Nonbinary quantum Reed-Solomon codes. International Journal of Pure and Applied Mathematics (ISSN: 13118080). v. 65. 2010.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: B1  | Astronomia / Física: B1  ]
• LIBERTI, L.; LAVOR, C.; MUCHERINO, A.; MACULAN, N. Molecular distance geometry methods: from continuous to discrete. International Transactions in Operational Research (ISSN: 09696016). v. 18. 2010.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• EVANGELISTA, T. S.; LAVOR, C.; RABELO, W. R. M. A new method to calculate the inconclusive coefficients in the quantum state discrimination. International Journal of Modern Physics C (ISSN: 01291831). v. 22. 2011.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A4  ]
• LAVOR, C.; MUCHERINO, A.; LIBERTI, L.; MACULAN, N. On the computation of protein backbones by using artificial backbones of hydrogens. Journal of Global Optimization (ISSN: 09255001). v. 50. 2011.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• SALLAUME, S.; MARTINS, S. L.; OCHI, L. S.; SILVA, W. G.; LAVOR, C.; LIBERTI, L. A discrete search algorithm for finding the structure of protein backbones and side chains. International Journal of Bioinformatics Research and Applications (Print) (ISSN: 17445485). v. 9. 2013.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A3  ]
• LAVOR, C.; LIBERTI, L.; MUCHERINO, A. The interval BP algorithm for the discretizable molecular distance geometry problem with interval data. Journal of Global Optimization (ISSN: 09255001). v. 56. 2013.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• SOUZA, M. F.; XAVIER, A. E.; LAVOR, C.; MACULAN, N. Hyperbolic smoothing and penalty techniques applied to molecular structure determination. Operations Research Letters (ISSN: 01676377). v. 39. 2011.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N.; MUCHERINO, A. Recent advances on the discretizable molecular distance geometry problem. European Journal of Operational Research (ISSN: 03772217). v. 219. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L. Exploiting symmetry properties of the discretizable molecular distance geometry problem. Journal of Bioinformatics and Computational Biology (Print) (ISSN: 02197200). v. 10. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: B1  ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N.; MUCHERINO, A. The discretizable molecular distance geometry problem. Computational Optimization and Applications (Dordrecht. Online) (ISSN: 15732894). v. 52. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LAVOR, C.; LEE, J.; JOHN, A. L.; LIBERTI, L.; MUCHERINO, A.; SVIRIDENKO, M. Discretization orders for distance geometry problems. Optimization Letters (Print) (ISSN: 18624472). v. 6. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• MELO, N.; LAVOR, C. A Clifford algebra of signature (n,3n) and the density operators of quantum information theory. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 23. 2013.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• GONCALVES, D. S.; GOMES-RUGGIERO, M. A.; LAVOR, C.; FARIAS, O. J.; RIBEIRO, P. H. S. Local solutions of maximum likelihood estimation in quantum state tomography. Quantum Information & Computation (ISSN: 15337146). v. 12. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L. The discretizable distance geometry problem. Optimization Letters (Print) (ISSN: 18624472). v. 6. 2012.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• LIBERTI, L.; MASSON, B.; LEE, J.; LAVOR, C.; MUCHERINO, A. On the number of realizations of certain Henneberg graphs arising in protein conformation. Discrete Applied Mathematics (ISSN: 0166218X). v. 165. 2014.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• SOUZA, M. F.; LAVOR, C.; MURITIBA, A.; MACULAN, N. Solving the molecular distance geometry problem with inaccurate distance data. BMC Bioinformatics (ISSN: 14712105). v. 14. 2013.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  ]
• LIBERTI, L.; LAVOR, C.; MACULAN, N.; MUCHERINO, A. Euclidean distance geometry and applications. SIAM Review (Print) (ISSN: 00361445). v. 56. 2014.

  [ Google | Google Scholar ] [Qualis: N/A ]
• GONÇALVES, D.S.; GONÇALVES, D. S.; GOMES-RUGGIERO, M. A.; LAVOR, C.; CESÁRIO, A. T.; VIANNA, R. O.; MACIEL, T. O. Quantum state tomography with incomplete data: maximum entropy and variational quantum tomography. Physical Review. A (ISSN: 10502947). v. 87. 2013.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A1  ]
• LARA, P.; PORTUGAL, R.; LAVOR, C. A new hybrid classical-quantum algorithm for continuous global optimization problems. Journal of Global Optimization (ISSN: 09255001). v. 60. 2014.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• SEO, J.; KIM, J.; RYU, J.; LAVOR, C.; MUCHERINO, A.; KIM, D.-S BetaMDGP: protein structure determination algorithm based on the beta-complex. Lecture Notes in Computer Science (ISSN: 03029743). v. 8360. 2014.

  [ Google | Google Scholar ] [Qualis: N/A ]
• COSTA, V.; MUCHERINO, A.; LAVOR, C.; CASSIOLI, A.; CARVALHO, L. M.; MACULAN, N. Discretization orders for protein side chains. Journal of Global Optimization (ISSN: 09255001). v. 60. 2014.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• GONCALVES, D. S.; GOMES-RUGGIERO, M. A.; LAVOR, C. Global convergence of diluted iterations in maximum-likelihood quantum tomography. Quantum Information & Computation (ISSN: 15337146). v. 14. 2014.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• CASSIOLI, A.; GUNLUK, O.; LAVOR, C.; LIBERTI, L. Discretization vertex orders in distance geometry. Discrete Applied Mathematics (ISSN: 0166218X). v. 197. 2015.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LAVOR, C.; ALVES, R.; FIGUEIREDO, W.; PETRAGLIA, A.; MACULAN, N. Clifford Algebra and the discretizable molecular distance geometry problem. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 25. 2015.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• CASSIOLI, A.; BARDIAUX, B.; BOUVIER, G.; MUCHERINO, A.; R. Alves; LIBERTI, L.; NILGES, M.; LAVOR, C.; MALLIAVIN, T. An algorithm to enumerate all possible protein conformations verifying a set of distance restraints. BMC Bioinformatics (ISSN: 14712105). v. 16. 2015.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  ]
• LIBERTI, L.; LAVOR, C. Six mathematical gems from the history of distance geometry. International Transactions in Operational Research (ISSN: 09696016). v. 23. 2016.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• GONCALVES, D. S.; GOMES-RUGGIERO, M. A.; LAVOR, C. A projected gradient method for optimization over density matrices. Optimization Methods & Software (Print) (ISSN: 10556788). v. 31. 2016.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• ALENCAR, JORGE; BONATES, TIBÉRIUS; LAVOR, CARLILE; Liberti, Leo An algorithm for realizing Euclidean distance matrices. Electronic Notes in Discrete Mathematics (ISSN: 15710653). v. 50. 2015.

  [ Google | Google Scholar ] [Qualis: N/A ]
• BILLINGE, S. J.; DUXBURY, P. M.; GONCALVES, D. S.; LAVOR, C.; MUCHERINO, A. Assigned and unassigned distance geometry: applications to biological molecules and nanostructures. 4OR-A Quarterly Journal of Operations Research (ISSN: 16194500). v. 14. 2016.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• AGRA, A.; FIGUEIREDO, R.; LAVOR, C.; MACULAN, N.; PEREIRA, A.; REQUEJO, C. Feasibility check for the distance geometry problem: an application to molecular conformations. International Transactions in Operational Research (ISSN: 09696016). v. 24. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• ALVES, R.; LAVOR, C. Geometric algebra to model uncertainties in the discretizable molecular distance geometry problem. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 27. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• AMARO, BRUNO; DE LIMA, LEONARDO; OLIVEIRA, CARLA; LAVOR, CARLILE; ABREU, NAIR A note on the sum of the largest signless Laplacian eigenvalues. Electronic Notes in Discrete Mathematics (ISSN: 15710653). v. 54. 2016.

  [ Google | Google Scholar ] [Qualis: N/A ]
• DAMBROSIO, C.; KY, V. K.; LAVOR, C.; LIBERTI, L.; MACULAN, N. New error measures and methods for realizing protein graphs from distance data. Discrete & Computational Geometry (ISSN: 01795376). v. 57. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• GONCALVES, D. S.; MUCHERINO, A.; LAVOR, C.; LIBERTI, L. Recent advances on the interval distance geometry problem. Journal of Global Optimization (ISSN: 09255001). v. 69. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• ALVES, R.; LAVOR, C.; SOUZA, C.; SOUZA, M. F. Clifford algebra and discretizable distance geometry. MATHEMATICAL METHODS IN THE APPLIED SCIENCES (ISSN: 01704214). v. 41. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• COSTA, T. M.; BOUWMEESTER, H.; LODWICK, W.; LAVOR, C. Calculating the possible conformations arising from uncertainty in the molecular distance geometry problem using constraint interval analysis. INFORMATION SCIENCES (ISSN: 00200255). v. 415. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• MAIOLI, D. S.; LAVOR, C.; GONCALVES, D. S. A note on computing the intersection of spheres in Rn. ANZIAM JOURNAL (ISSN: 14461811). v. 59. 2017.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: B1  ]
• GONCALVES, D. S.; AZEVEDO, C. L. N.; LAVOR, C.; GOMES-RUGGIERO, M. A. Bayesian inference for quantum state tomography. JOURNAL OF APPLIED STATISTICS (ISSN: 13600532). v. 45. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  ]
• FIDALGO, F.; GONCALVES, D. S.; LAVOR, C.; LIBERTI, L.; MUCHERINO, A. A symmetry-based splitting strategy for discretizable distance geometry problems. Journal of Global Optimization (ISSN: 09255001). v. 71. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• WORLEY, B.; DELHOMMEL, F.; CORDIER, F.; MALLIAVIN, T.; BARDIAUX, B.; WOLFF, N.; NILGES, M.; LAVOR, C.; LIBERTI, L. Tuning interval branch-and-prune for protein structure determination. Journal of Global Optimization (ISSN: 09255001). v. 72. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• MOREIRA, N.; DUARTE, L.; LAVOR, C.; TOREZZAN, C. A novel low-rank matrix completion approach to estimate missing entries in Euclidean distance matrix. Computational & Applied Mathematics (ISSN: 01018205). v. 37. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• SALLES NETO, L. L.; LAVOR, C.; LODWICK, W. A constrained interval approach to the generalized distance geometry problem. Optimization Letters (Print) (ISSN: 18624472). v. 14. 2020.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• ABUD, G.; ALENCAR, J.; LAVOR, C.; LIBERTI, L.; MUCHERINO, A. The k-discretization and k-incident graphs for discretizable distance geometry. Optimization Letters (Print) (ISSN: 18624472). v. 14. 2020.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• ALENCAR, J.; LAVOR, C.; LIBERTI, L. Realizing Euclidean distance matrices by sphere intersection. Discrete Applied Mathematics (ISSN: 0166218X). v. 256. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• SANTIAGO, C. P.; LAVOR, C.; MONTEIRO, S. A.; KRONER-MARTINS, A. A new algorithm for the small-field astrometric point-pattern matching problem. Journal of Global Optimization (ISSN: 09255001). v. 72. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• BILLINGE, S. J.; DUXBURY, P. M.; GONCALVES, D. S.; LAVOR, C.; MUCHERINO, A. Recent results on assigned and unassigned distance geometry with applications to protein molecules and nanostructures. Annals of Operation Research (ISSN: 02545330). v. 271. 2018.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LIBERTI, L.; LAVOR, C.; MACULAN, N. Amathematical programming formulation for the Hartree - Fock problem on open-shell systems. Optimization Letters (Print) (ISSN: 18624472). v. 13. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• LAVOR, C.; LIBERTI, L.; DONALD, B.; WORLEY, B.; BARDIAUX, B.; MALLIAVIN, T.; NILGES, M. Minimal NMR distance information for rigidity of protein graphs. Discrete Applied Mathematics (ISSN: 0166218X). v. 256. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LAVOR, C.; ALVES, R. Oriented conformal geometric algebra and the molecular distance geometry problem. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 29. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• LAVOR, C.; SOUZA, M. F.; CARVALHO, L. M.; LIBERTI, L. On the polynomiality of finding DMDGP re-orders. Discrete Applied Mathematics (ISSN: 0166218X). v. 267. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• MALLIAVIN, T.; MUCHERINO, A.; LAVOR, C.; LIBERTI, L. Systematic exploration of protein conformational space using a distance geometry approach. JOURNAL OF CHEMICAL INFORMATION AND MODELING (ONLINE) (ISSN: 1549960X). v. 59. 2019.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• BAEZ-SANCHEZ, A. D.; LAVOR, C. On the estimation of unknown distances for a class of Euclidean distance matrix completion problems with interval data. Linear Algebra and its Applications (ISSN: 00243795). v. 592. 2020.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• LAVOR, C. Comments on Distance Geometry and Data Science. Top (ISSN: 11345764). v. 28. 2020.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• LAVOR, C.; SOUZA, M. F.; CARVALHO, L. M.; GONCALVES, D. S.; MUCHERINO, A. Improving the sampling process in the interval branch-and-prune algorithm for the discretizable molecular distance geometry problem. Applied Mathematics and Computation (ISSN: 00963003). v. 389. 2021.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  | Astronomia / Física: A2  ]
• LAVOR, C.; R. Alves; SOUZA, M. F.; ARAGON, J. L. NMR protein structure calculation and sphere intersections. Computational and Mathematical Biophysics (ISSN: 25447297). v. 8. 2020.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: C  ]
• SALLES NETO, L. L.; LAVOR, C.; LODWICK, W. A note on the Cayley-Menger determinant and the molecular distance geometry problem. INFORMATION SCIENCES (ISSN: 00200255). v. 559. 2021.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• LAVOR, C.; SOUZA, M. F.; ARAGON, J. L. Orthogonality of isometries in the conformal model of the 3D space. GRAPHICAL MODELS (ISSN: 15240703). v. 114. 2021.

  [ Google | Google Scholar ] [Qualis: N/A ]
• LAVOR, C.; OLIVEIRA, A.; ROCHA, W.; SOUZA, M. J On the optimality of finding DMDGP symmetries. Computational & Applied Mathematics (ISSN: 01018205). v. 40. 2021.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• DUXBURY, P. M.; LAVOR, C.; LIBERTI, L.; SALLES NETO, L. L. Unassigned distance geometry and molecular conformation problems. Journal of Global Optimization (ISSN: 09255001). v. 83. 2022.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• GONCALVES, D. S.; LAVOR, C.; LIBERTI, L.; SOUZA, M. J. A new algorithm for the DMDGP subclass of distance geometry problems with exact distances. ALGORITHMICA (ISSN: 01784617). v. 83. 2021.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• DUXBURY, P. M.; LAVOR, C.; SALLES NETO, L. L. A conjecture on a continuous optimization model for the golomb ruler problem. RAIRO. Recherche Opérationnelle (ISSN: 03990559). v. 55. 2021.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: B1  ]
• LAVOR, C.; ALVES, R.; FERNANDES, L. A. F. Linear and geometric algebra approaches for sphere and spherical shell intersections in R?n. EXPERT SYSTEMS WITH APPLICATIONS (ISSN: 09574174). v. 187. 2022.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• R. Alves; HILDENBRAND, D.; HRDINA, J.; LAVOR, C. An online calculator for quantum computing operations based on geometric algebra. Advances in Applied Clifford Algebras (ISSN: 01887009). v. 32. 2022.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A4  | Astronomia / Física: A4  ]
• LABIAK, R.; LAVOR, C.; SOUZA, M. F. Distance geometry and protein loop modeling. Journal of Computational Chemistry (Online) (ISSN: 1096987X). v. 43. 2022.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A1  ]
• LAVOR, C.; MARQUEZINO, F.; OLIVEIRA, A.; PORTUGAL, R. A quantum approach to the discretizable molecular distance geometry problem. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) (ISSN: 15731332). v. 21. 2022.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A3  ]
• LIBERTI, L.; IOMMAZZO, G.; LAVOR, C.; MACULAN, N. Cycle-based formulations in distance geometry. Open Journal of Mathematical Optimization (ISSN: 27775860). v. 4. 2023.

  [ Google | Google Scholar ] [Qualis: N/A ]
• HITZER, E.; LAVOR, C.; HILDENBRAND, D. Current survey of Clifford geometric algebra applications. MATHEMATICAL METHODS IN THE APPLIED SCIENCES (ISSN: 01704214). v. 47. 2024.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A3  ]
• HRDINA, J.; HILDENBRAND, D.; NAVRAT, A.; STEINMETZ, C.; ALVES, R.; LAVOR, C.; VAIS, P.; ERYGANOV, I. Quantum Register Algebra: the mathematical language for quantum computing. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) (ISSN: 15731332). v. 22. 2023.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A3  ]
• ABUD, G.; ALENCAR, J.; LAVOR, C.; LIBERTI, L.; MUCHERINO, A. An impossible combinatorial counting method in distance geometry. Discrete Applied Mathematics (ISSN: 0166218X). v. 354. 2024.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• MARQUES, R.; SOUZA, M. J.; BAPTISTA, F.; GONCALVES, M.; LAVOR, CARLILE A probabilistic approach in the search space of the molecular distance geometry problem. Journal of Chemical Information and Modeling (ISSN: 15499596). v. 65. 2025.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A1  ]
• SOUZA, M. F.; MAIA, N.; MARQUES, R.; LAVOR, C. A branch-and-bound algorithm for the molecular ordered covering problem. JOURNAL OF COMPUTATIONAL BIOLOGY (ISSN: 10665277). v. 31. 2024.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]
• CAMARGO, J.; LAVOR, C. A new perspective on the homogeneous coordinate system for calculating interatomic distances and their derivatives in terms of internal coordinates. Advanced Theory And Simulations (ISSN: 25130390). v. 7. 2024.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A3  ]
• VALOUS, N. A.; HITZER, E.; VITABILE, S.; BERNSTEIN, S.; LAVOR, C.; ABBOTT, D.; LUNA-ELIZARRARAS, M. E.; LOPES, W. Hypercomplex Signal and Image Processing. IEEE SIGNAL PROCESSING MAGAZINE (ISSN: 10535888). v. 41. 2024.

  [ Google | Google Scholar ] [Qualis: N/A ]
• CAMARGO, J.; LAVOR, C.; SOUZA, M. J. Conformal Coordinates for Molecular Geometry: from 3D to 5D. Journal of Computational Chemistry (Online) (ISSN: 1096987X). v. 47. 2026.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A1  ]
• R. Alves; LAVOR, C. Computing sphere and spherical shell intersections with conformal geometric algebra. PHILOSOPHICAL TRANSACTIONS - ROYAL SOCIETY. MATHEMATICAL, PHYSICAL AND ENGINEERING SCIENCES (ONLINE) (ISSN: 14712962). v. 384. 2026.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• MARQUES, R.; SOUZA, M. F.; LAVOR, C. Protein loop modeling via the discretizable distance geometry problem with hydrogen-based NMR constraints. ACS Omega (ISSN: 24701343). v. 11. 2026.

  [ Google | Google Scholar ] [Qualis: Astronomia / Física: A4  ]
• DUXBURY, P. M.; LAVOR, C.; SALLES NETO, L. L. A continuous nonlinear optimization perspective on the spin glass problem. Physica. A (ISSN: 03784371). v. 686. 2026.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A1  | Astronomia / Física: A1  ]
• SONG, M.; GONCALVES, D. S.; JUNG, W.; LAVOR, C.; MUCHERINO, A.; WOLKOWICZ, H. On the local and global minimizers of the smooth stress function in Euclidean distance matrix problems. Linear Algebra And Its Applications (ISSN: 18731856). v. 727. 2025.

  [ Google | Google Scholar ] [Qualis: Matemática / Probabilidade e Estatística: A2  ]

Livros publicados/organizados ou edições

• PORTUGAL, R.; LAVOR, C.; CARVALHO, L. M.; MACULAN, N. Uma Introdução à Computação Quântica. 2012.

  [ Google | Google Scholar ]
• LAVOR, C.; ALVES, M. M. S.; SIQUEIRA, R. M.; COSTA, S. I. R. Uma Introdução à Teoria de Códigos. 2006.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L. Um Convite à Geometria de Distâncias. 2014.

  [ Google | Google Scholar ]
• FERNANDES, L. A. F.; LAVOR, C.; OLIVEIRA NETO, M. M. Álgebra Geométrica e Aplicações. 2021.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; LODWICK, W.; COSTA, T. M. An Introduction to Distance Geometry applied to Molecular Geometry. 2017.

  [ Google | Google Scholar ]
• LAVOR, C.; MACULAN, N.; SOUZA, M. F.; ALVES, R. Álgebra e Geometria no Cálculo de Estrutura Molecular. 2017.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C. Euclidean Distance Geometry. 2017.

  [ Google | Google Scholar ]
• LAVOR, C.; XAMBO-DESCAMPS, S.; ZAPLANA, I. A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry. 2018.

  [ Google | Google Scholar ]
• LAVOR, C.; GOMES, F. A. M. Advances in Mathematics and Applications. 2018.

  [ Google | Google Scholar ]
• MARQUEZINO, F. L.; PORTUGAL, R.; LAVOR, C. A Primer on Quantum Computing. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Rigidez em Grafos de Proteínas. 2019.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L.; MACULAN, N. Distance Geometry: Theory, Methods and Applications. 2013.

  [ Google | Google Scholar ]

Capítulos de livros publicados

• LAVOR, C. On generating instances for the molecular distance geometry problem. 2006.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N. Computational experience with the molecular distance geometry problem. 2006.

  [ Google | Google Scholar ]
• GIRALDI, G. A.; LAVOR, C.; PORTUGAL, R. A formal approach to quantum genetic algorithms. 2006.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N. Molecular Distance Geometry Problem. 2009.

  [ Google | Google Scholar ]
• NUCCI, P.; NOGUEIRA, L. T.; LAVOR, C. Solving the discretizable molecular distance geometry problem by multiple realization trees. 2013.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C.; MUCHERINO, A. The discretizable molecular distance geometry problem seems easier on proteins. 2013.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C. On a relationship between graph realizability and distance matrix completion. 2013.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L.; MACULAN, N. On the discretization of distance geometry problems. 2012.

  [ Google | Google Scholar ]
• GONCALVES, D. S.; NICOLAS, J.; MUCHERINO, A.; LAVOR, C. Finding optimal discretization orders for molecular distance geometry by answer set programming. 2016.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C. Open research areas in distance geometry. 2018.

  [ Google | Google Scholar ]
• LIBERTI, L.; IOMMAZZO, G.; LAVOR, C.; MACULAN, N. A cycle-based formulation for the distance geometry problem. 2021.

  [ Google | Google Scholar ]
• LAVOR, C.; ALVES, R. Recent advances on oriented conformal geometric algebra applied to molecular distance geometry. 2021.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; MACULAN, N. Molecular Distance Geometry Problem. 2024.

  [ Google | Google Scholar ]

Trabalhos completos publicados em congressos

• LAVOR, C.; LIBERTI, L.; MACULAN, N. Grover algorithm applied to the molecular distance geometry problem. 2005.

  [ Google | Google Scholar ]
• GAZZONI, W. C.; LAVOR, C.; PALAZZO JR., R. Uma proposta de critério de separabilidade para estados quânticos com 3 q-bits. 2006.

  [ Google | Google Scholar ]
• SOUZA, M. F.; LAVOR, C.; PORTUGAL, R. O problema do cálculo da informação acessível. 2006.

  [ Google | Google Scholar ]
• LAVOR, C. Um passeio pela teoria da informação (clássica e quântica). 2006.

  [ Google | Google Scholar ]
• GAZZONI, W. C.; PALAZZO JR., R.; LAVOR, C.; LA GUARDIA, G. Uma proposta de critério de completa separabilidade para estados quânticos puros com N q-bits. 2007.

  [ Google | Google Scholar ]
• LA GUARDIA, G.; PALAZZO JR., R.; LAVOR, C.; GAZZONI, W. C. Construção de códigos corretores de erros quânticos CSS, a partir de códigos BCH, Reed-Solomon e Resíduos Quadráticos. 2007.

  [ Google | Google Scholar ]
• GAZZONI, W. C.; PALAZZO JR., R.; LAVOR, C. Identificação de estados tripartite de q-bits puros com máximo valor de emaranhamento a partir de uma interpretação geométrica. 2007.

  [ Google | Google Scholar ]
• SOUZA, M. F.; LAVOR, C.; PORTUGAL, R.; MACULAN, N. Cálculo da informação acessível via branch-and-bound e aritmética intervalar. 2007.

  [ Google | Google Scholar ]
• KOWADA, L.A.B.; FIGUEIREDO, C. M. H.; PORTUGAL, R.; LAVOR, C. Aplicação do algoritmo de Grover para problemas NP-completos. 2007.

  [ Google | Google Scholar ]
• EVANGELISTA, T. S.; LAVOR, C. Semidefinite programming applied to quantum state discrimination. 2008.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; MUCHERINO, A.; MACULAN, N. On a discretizable subclass of instances of the molecular distance geometry problem. 2009.

  [ Google | Google Scholar ]
• MUQUERINO, A.; LAVOR, C.; MACULAN, N. The molecular distance geometry problem applied to protein conformations. 2009.

  [ Google | Google Scholar ]
• MUQUERINO, A.; LIBERTI, L.; LAVOR, C.; MACULAN, N. Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem. 2009.

  [ Google | Google Scholar ]
• LAVOR, C.; MUQUERINO, A.; LIBERTI, L.; MACULAN, N. Computing artificial backbones of hydrogen atoms in order to discover protein backbones. 2009.

  [ Google | Google Scholar ]
• MUQUERINO, A.; LAVOR, C. The branch and prune algorithm for the molecular distance geometry problem with inexact distances. 2009.

  [ Google | Google Scholar ]
• LAVOR, C.; MUQUERINO, A.; LIBERTI, L.; MACULAN, N. An artificial backbone of hydrogens for finding the conformation of protein molecules. 2009.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L.; TALBI, E. A parallel version of the branch and prune algorithm for the molecular distance geometry problem. 2010.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LIBERTI, L.; LAVOR, C. MD-jeep: an implementation of a branch and prune algorithm for distance geometry problems. 2010.

  [ Google | Google Scholar ]
• LAVOR, C.; LIBERTI, L.; MUCHERINO, A. On the solution of molecular distance geometry problems with interval data. 2010.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LAVOR, C.; MALLIAVIN, T.; LIBERTI, L.; NILGES, M.; MACULAN, N. Influence of pruning devices on the solution of molecular distance geometry problems. 2011.

  [ Google | Google Scholar ]
• LIBERTI, L.; MASSON, B.; LEE, J.; LAVOR, C.; MUCHERINO, A. On the number of solutions of the discretizable molecular distance geometry problem. 2011.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C.; MUCHERINO, A. An exponential algorithm for the discretizable molecular distance geometry problem is polynomial on proteins. 2011.

  [ Google | Google Scholar ]
• MUCHERINO, A.; LAVOR, C.; LIBERTI, L. A symmetry-driven BP algorithm for the discretizable molecular distance geometry problem. 2011.

  [ Google | Google Scholar ]
• COSTA, V.; MUCHERINO, A.; LAVOR, C.; CARVALHO, L. M.; MACULAN, N. On suitable orders for discretizable molecular distance geometry problems related to protein side chains. 2012.

  [ Google | Google Scholar ]
• SILVA, W. G.; MUCHERINO, A.; LAVOR, C.; MACULAN, N. A parallel BP algorithm for the discretizable distance geometry problem. 2012.

  [ Google | Google Scholar ]
• LIBERTI, L.; LAVOR, C.; ALENCAR, J.; REZENDE, G. Counting the number of solutions of K_DMDGP instances. 2013.

  [ Google | Google Scholar ]
• GONCALVES, D. S.; MUCHERINO, A.; LAVOR, C. Energy-based pruning devices for the BP algorithm for distance geometry. 2013.

  [ Google | Google Scholar ]
• GONCALVES, D. S.; MUCHERINO, A.; LAVOR, C. An adaptive branching scheme for the branch & prune algorithm applied to distance geometry. 2014.

  [ Google | Google Scholar ]
• ALENCAR, J.; LAVOR, C.; BONATES, T. O. A combinatorial approach to multidimensional scaling. 2014.

  [ Google | Google Scholar ]
• R. Alves; SOUZA, C.; LAVOR, C. Advances on the geometric algebra approach to the discretizable molecular distance geometry problem (DMDGP). 2016.

  [ Google | Google Scholar ]
• MUCHERINO, A.; SILVA, W. G.; LIN, J-H.; LAVOR, C. A new approach to the discretization of multidimensional scaling. 2016.

  [ Google | Google Scholar ]
• LIBERTI, L.; SWIRSZCZ, G.; LAVOR, C. Distance geometry on the sphere. 2016.

  [ Google | Google Scholar ]
• SOUZA, M. F.; LAVOR, C.; ALVES, R. Modeling the molecular distance geometry problem using dihedral angles. 2017.

  [ Google | Google Scholar ]
• HILDENBRAND, D.; STEINMETZ, C.; ALVES, R.; HRDINA, J.; LAVOR, C. An online calculator for qubits based on geometric algebra. 2020.

  [ Google | Google Scholar ]
• MUCHERINO, A.; GONCALVES, D. S.; LIBERTI, L.; LIN, J-H.; LAVOR, C.; MACULAN, N. MD-JEEP: a new release for discretizable distance geometry problems with interval data. 2020.

  [ Google | Google Scholar ]
• RITER, V.; ALVES, R.; LAVOR, C. Geometric algebra and distance matrices. 2024.

  [ Google | Google Scholar ]
• ROCHA, W.; LAVOR, C.; LIBERTI, L.; MALLIAVIN, T. Pseudo-dihedral angles in proteins providing a new description of the Ramachandran map. 2023.

  [ Google | Google Scholar ]
• HRDINA, J.; HILDENBRAND, D.; NAVRAT, A.; STEINMETZ, C.; ALVES, R.; LAVOR, C.; VASIK, P.; ERYGANOV, I. Quantum register algebra: the basic concepts. 2024.

  [ Google | Google Scholar ]
• SOUZA, M. J.; MAIA, N.; LAVOR, C. The ordered covering problem in distance geometry. 2023.

  [ Google | Google Scholar ]

Produção Técnica

Trabalhos técnicos

• LAVOR, C. Membro do Comitê Científico do II Workshop-Escola de Computação e Informação Quântica. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do I Workshop-Escola de Computação e Informação Quântica. 2006.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico da Sessão Especial em Computação e Informação Quântica do VII CBRN. 2005.

  [ Google | Google Scholar ]
• LAVOR, C. Parecerista ad-hoc do XX Concurso de Teses e Dissertações (CTD) no XXVII Congresso da SBC. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do XXXII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2009.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do III Workshop-Escola de Computação e Informação Quântica (WECIQ). 2010.

  [ Google | Google Scholar ]
• LAVOR, C. Parecerista ad-doc para promoção a Professor Associado no Dep. de Matemática e Ciência da Computação da Western Kentucky University. 2010.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do Workshop on Distance Geometry and Applications (DGA). 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 6th Workshop on Computational Optimization (WCO). 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 5th Workshop on Computational Optimization (WCO). 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do IV Workshop-School in Quantum Computation and Information (WECIQ). 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 2nd International Symposium on Uncertainty Quantification and Stochastic Modeling (UNCERTAINTIES). 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 2nd International Conference on Biomedical Engineering and Biotechnology (iCBEB). 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 7th Workshop on Computational Optimization (WCO). 2014.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do Workshop on Many Faces of Distances (MFD). 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do V Workshop-School in Quantum Computation and Information (WECIQ). 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 8th Workshop on Computational Optimization (WCO). 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do II Congresso Nacional de Matemática Aplicada à Industria (CNMAI). 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 7th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 9th Workshop on Computational Optimization (WCO). 2016.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do Workshop Distance Geometry Day in Rennes (DGD). 2016.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do XXXVII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 10h Workshop on Computational Optimization (WCO). 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 8th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do XLIX Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Congresso Brasileiro de Jovens Pesquisadores em Matemática Pura e Aplicada e Estatística (CBJME). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 11th Workshop on Computational Optimization (WCO). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do L Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. CHAIR of the Invited Section Lectures on 'Mathematical Aspects of Computer Science' (ICM). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 12th Workshop on Computational Optimization (WCO). 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 10th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do LI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 11th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2020.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Congresso Brasileiro de Jovens Pesquisadores em Matemática Pura e Aplicada e Estatística (CBJME). 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 12th International Conference on Clifford Algebras and Their Applications in Mathematical Physics (ICCA). 2020.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 13th Workshop on Computational Optimization (WCO). 2020.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 4th BRICS Mathematics Conference. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do International Conference on Industry 4.0 and Smart Systems. 2020.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 5th Brazil-China Symposium on Applied and Computational Mathematics. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 5th International Symposium on Uncertainty Quantification and Stochastic Modeling. 2020.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 14th Workshop on Computational Optimization (WCO). 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 12th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 8th Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 13th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do First International Conference on Advanced Computational Applications of Geometric Algebra (ICACGA). 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do VI Workshop-School in Quantum Computation and Information (WECIQ). 2022.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do XLII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 2023). 2023.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico da Escuela de Matemática de América Latina y del Caribe (EMALCA 2023). 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2023.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Julgador do Prêmio Elon Lages Lima (SBM - SBMAC). 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do LV Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Workshop on Constraint Systems: Distance Geometry, Structured Polynomials, Matrix Completion and Kinematics. 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do VI Workshop-Escola de Computação e Informação Quântica. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do LVI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do LVII Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2025.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Julgador do Prêmio Elon Lages Lima (SBM - SBMAC). 2025.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Julgador do Prêmio Jabuti Acadêmico (área de Matemática). 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do 6th BRICS Mathematics Conference. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Mathematical Union of Latin America and the Caribbean Region (UMALCA). 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2026.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Científico do III Encontro Regional de Matemática Aplicada e Computacional (ERMAC-SC). 2026.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Científico do Congresso Brasileiro de Ciências e Tecnologias Quânticas. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. Membro do Comitê Organizador do Prêmio Hildebrando Munhoz Rodrigues de IC da SBM. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. COORDENADOR do Comitê Julgador do Prêmio Jabuti Acadêmico (área de Matemática). 2024.

  [ Google | Google Scholar ]

Orientações

Orientações de Pós-Doutorado

• Antonio Mucherino, Carlile Campos Lavor () . POS_DOUTORADO. . 2009.

  [ Google | Google Scholar ]
• Michael Ferreira de Souza, Carlile Campos Lavor () . POS_DOUTORADO. . 2011.

  [ Google | Google Scholar ]
• Rafael Santos de Oliveira Alves (Bolsa PRODOC), Carlile Campos Lavor () . POS_DOUTORADO. . 2014.

  [ Google | Google Scholar ]
• Douglas Soares Gonçalves, Carlile Campos Lavor () . POS_DOUTORADO. . 2014.

  [ Google | Google Scholar ]
• Rafael Santos de Oliveira Alves (Bolsa PNPD), Carlile Campos Lavor () . POS_DOUTORADO. . 2015.

  [ Google | Google Scholar ]
• Warley Gramacho da Silva, Carlile Campos Lavor () . POS_DOUTORADO. . 2016.

  [ Google | Google Scholar ]
• Tiago Mendonça da Costa, Carlile Campos Lavor () . POS_DOUTORADO. . 2016.

  [ Google | Google Scholar ]
• Michael Ferreira de Souza, Carlile Campos Lavor () . POS_DOUTORADO. . 2017.

  [ Google | Google Scholar ]
• Luiz Mariano Paes de Carvalho Filho (Lic. Sabática - UERJ), Carlile Campos Lavor () . POS_DOUTORADO. . 2018.

  [ Google | Google Scholar ]
• Leandro Augusto Frata Fernandes (Lic. Sabática - UFF), Carlile Campos Lavor () . POS_DOUTORADO. . 2018.

  [ Google | Google Scholar ]
• Andrés David Báez-Sánchez, Carlile Campos Lavor () . POS_DOUTORADO. . 2020.

  [ Google | Google Scholar ]
• Leonardo Secchin (Lic. Sabática - UFES), Carlile Campos Lavor () . POS_DOUTORADO. . 2025.

  [ Google | Google Scholar ]
• Wagner Alan Aparecido da Rocha, Carlile Campos Lavor () . POS_DOUTORADO. Em andamento. 2025.

  [ Google | Google Scholar ]
• Michael F. Souza (Lic. Sabática - UFC), Carlile Campos Lavor () . POS_DOUTORADO. Em andamento. 2026.

  [ Google | Google Scholar ]
• Marcos M. Passini (Lic. Sabática - UFJF), Carlile Campos Lavor () . POS_DOUTORADO. Em andamento. 2026.

  [ Google | Google Scholar ]

Orientações de Doutorado

• Ivan da Silva Sendin, Carlile Campos Lavor (CO_ORIENTADOR) Tratamento de incertezas no cálculo de estruturas de proteínas. DOUTORADO. . 2012.

  [ Google | Google Scholar ]
• Wanessa Carla Gazzoni, Carlile Campos Lavor (CO_ORIENTADOR) Caracterização de estados emaranhados. DOUTORADO. . 2008.

  [ Google | Google Scholar ]
• Giuliano Gadioli La Guardia, Carlile Campos Lavor (CO_ORIENTADOR) Códigos clássicos e quânticos. DOUTORADO. . 2008.

  [ Google | Google Scholar ]
• Rafael Santos de Oliveira Alves , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra de Clifford aplicada ao cálculo de estruturas de moleculares. DOUTORADO. . 2013.

  [ Google | Google Scholar ]
• Tatiane da Silva Evangelista , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Discriminação de estados quânticos via programação semidefinida. DOUTORADO. . 2009.

  [ Google | Google Scholar ]
• Weber Figueiredo da Silva, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Estruturas atômicas com álgebra geométrica. DOUTORADO. . 2009.

  [ Google | Google Scholar ]
• Michael Ferreira de Souza , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Suavização hiperbólica aplicada à otimização de geometria molecular. DOUTORADO. . 2010.

  [ Google | Google Scholar ]
• Warley Gramacho da Silva , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Algoritmos sequenciais e paralelos para problemas de geometria molecular. DOUTORADO. . 2013.

  [ Google | Google Scholar ]
• Douglas Soares Gonçalves, Carlile Campos Lavor (CO_ORIENTADOR) Marcia Aparecida Gomes Ruggiero (ORIENTADOR_PRINCIPAL) Métodos matemáticos em tomografia de estados quânticos. DOUTORADO. . 2013.

  [ Google | Google Scholar ]
• Nolmar Melo de Souza , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Uma álgebra de Clifford de assinatura (n,3n) e os operadores densidade da teoria da informação quântica. DOUTORADO. . 2011.

  [ Google | Google Scholar ]
• Felipe Delfini Caetano Fidalgo , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Dividindo e conquistando com simetrias em geometria de distâncias. DOUTORADO. . 2015.

  [ Google | Google Scholar ]
• Jorge Ferreira Alencar Lima , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de distâncias euclidianas e aplicações. DOUTORADO. . 2015.

  [ Google | Google Scholar ]
• Bruno Dias Amaro , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) A soma dos maiores autovalores da matriz laplaciana sem sinal em famílias de grafos. DOUTORADO. . 2014.

  [ Google | Google Scholar ]
• Germano Abud de Rezende , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Explorando a dualidade em geometria de distâncias. DOUTORADO. . 2014.

  [ Google | Google Scholar ]
• José Vicente Cipriano de Souza , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra geométrica conforme em geometria de distâncias com incertezas. DOUTORADO. . 2017.

  [ Google | Google Scholar ]
• Douglas Silva Maioli , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Interseção de esferas no R?n e aplicações. DOUTORADO. . 2017.

  [ Google | Google Scholar ]
• Valter Soares de Camargo , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra geométrica conforme e geometria de distâncias. DOUTORADO. . 2015.

  [ Google | Google Scholar ]
• Ana Camila Rodrigues Alonso, Carlile Campos Lavor (CO_ORIENTADOR) Algoritmo branch and prune para escalonamento multidimensional. DOUTORADO. . 2016.

  [ Google | Google Scholar ]
• Nilson José Monteiro Moreira, Carlile Campos Lavor (CO_ORIENTADOR) Completamento de matrizes de posto reduzido: teoria, algoritmos e aplicações. DOUTORADO. . 2018.

  [ Google | Google Scholar ]
• Marcelo Santos Carielo, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Solange da Fonseca Rutz (ORIENTADOR_PRINCIPAL) Interseção de Esferas e Álgebra Geométrica. DOUTORADO. . 2019.

  [ Google | Google Scholar ]
• Ana Flávia da Cunha Lima , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de Distâncias e o Cálculo de Estruturas de Proteínas usando dados de RMN. DOUTORADO. . 2021.

  [ Google | Google Scholar ]
• Jesus Marcos Camargo , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de proteínas no espaço conforme. DOUTORADO. . 2021.

  [ Google | Google Scholar ]
• Rodrigo Labiak, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de Distâncias e o Problema do Loop Fechado. DOUTORADO. . 2021.

  [ Google | Google Scholar ]
• Wagner Alan Aparecido da Rocha , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Ordenação em vértices de grafos de proteínas. DOUTORADO. . 2022.

  [ Google | Google Scholar ]
• Vinícius Riter de Faria , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra Geométrica e Matrizes de Distâncias. DOUTORADO. . 2022.

  [ Google | Google Scholar ]
• Rômulo da Silva Marques , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Modelagem de Loops de Proteínas e Abordagens Probabilísticas para o Problema de Geometria de Distâncias. DOUTORADO. . 2025.

  [ Google | Google Scholar ]
• Laurindo Daniel Silva da Rocha , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Interseção de Esferas e Cascas Esféricas em R?n. DOUTORADO. . 2024.

  [ Google | Google Scholar ]
• Émerson Dutra , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de Distâncias na Esfera. DOUTORADO. . 2026.

  [ Google | Google Scholar ]
• Gabriel de Freitas Pinheiro , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Um sistema fundamental para relações de recorrência de ordem r>1 com coeficientes varáveis e aplicações. DOUTORADO. . 2026.

  [ Google | Google Scholar ]
• João Alexandre Matta de Souza, Carlile Campos Lavor (CO_ORIENTADOR) Espaços de Representações Hiperbólicas para Mergulhos de Proteínas. DOUTORADO. . 2025.

  [ Google | Google Scholar ]
• Leandro Rocha , Carlile Campos Lavor (CO_ORIENTADOR) Elen Viviani Pereira Spreafico (ORIENTADOR_PRINCIPAL) O Sistema Fundamental Generalizado dos Polinômios de Fibonacci e suas Propriedades. DOUTORADO. . 2025.

  [ Google | Google Scholar ]
• Guilherme Philippi, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Algoritmos em Geometria Molecular usando o Modelo Conforme do Espaço 3D. DOUTORADO. Em andamento. 2025.

  [ Google | Google Scholar ]

Orientações de Mestrado

• Ricardo dos Santos Carvalho, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Extensão do algoritmo de construção geométrica para a determinação de estruturas moleculares. MESTRADO. . 2005.

  [ Google | Google Scholar ]
• Michael Ferreira de Souza , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Uma nova metodologia para o cálculo da informação acessível. MESTRADO. . 2007.

  [ Google | Google Scholar ]
• Leandro Bezerra de Lima , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Aplicações de álgebra linear em ruídos quânticos. MESTRADO. . 2007.

  [ Google | Google Scholar ]
• Warley Gramacho da Silva, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Algoritmos para o cálculo de estruturas de proteínas. MESTRADO. . 2008.

  [ Google | Google Scholar ]
• Marcos Roberto da Silva Gonçalves , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Métodos computacionais para determinação de pontos de intersecção de n esferas no R^n. MESTRADO. . 2008.

  [ Google | Google Scholar ]
• Rafael Santos de Oliveira Alves , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra geométrica e o algoritmo de Grover. MESTRADO. . 2008.

  [ Google | Google Scholar ]
• Silas Sallaume, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Cálculo de estruturas protéicas através da resolução do problema discreto de geometria das distâncias em moléculas. MESTRADO. . 2009.

  [ Google | Google Scholar ]
• Pedro Costa Nucci , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Métodos computacionais para determinação da cadeia principal de proteínas baseados no problema molecular de geometria de distância. MESTRADO. . 2010.

  [ Google | Google Scholar ]
• Felipe Delfini Caetano Fidalgo , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Algoritmos para problemas de geometria molecular. MESTRADO. . 2011.

  [ Google | Google Scholar ]
• Douglas Silva Maioli, Carlile Campos Lavor (CO_ORIENTADOR) Eduardo Cardoso de Abreu (ORIENTADOR_PRINCIPAL) Estabilidade de sistemas lineares em problemas de geometria molecular. MESTRADO. . 2013.

  [ Google | Google Scholar ]
• Rodrigo Labiak, Carlile Campos Lavor (CO_ORIENTADOR) Simetrias em Geometria de Distâncias. MESTRADO. . 2017.

  [ Google | Google Scholar ]
• Ana Flavia Lima , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Grafos rígidos e aplicações. MESTRADO. . 2015.

  [ Google | Google Scholar ]
• Thiago Camargo Choquetta , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra de Clifford aplicada à Geometria de Distâncias Moleculares. MESTRADO. . 2021.

  [ Google | Google Scholar ]
• Rômulo da Silva Marques , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Um algoritmo polinomial para a ordenação de vértices em grafos de proteínas. MESTRADO. . 2020.

  [ Google | Google Scholar ]
• Cássio Antonio Giatti , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Isometrias no R?3: modelos euclidiano e homogêneo. MESTRADO. . 2020.

  [ Google | Google Scholar ]
• Alysson Matos de Souza , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Álgebra Geométrica Conforme aplicada à atualização de estruturas 3D de proteínas. MESTRADO. . 2022.

  [ Google | Google Scholar ]
• Elizabeth Alejandra Ortiz Durán, Carlile Campos Lavor (CO_ORIENTADOR) Implementación del álgebra geométrica conforme en mathematica y su aplicación al problema de la geometria de distancias. MESTRADO. . 2023.

  [ Google | Google Scholar ]
• Fausto Marques Pinheiro Junior , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Algoritmo Branch and Prune Markoviano em Geometria de Distâncias. MESTRADO. . 2025.

  [ Google | Google Scholar ]
• Gabriel Pineschi Braun, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) New Methods for Determination of the 3D Structure of Proteins and Nanoparticles. MESTRADO. . 2024.

  [ Google | Google Scholar ]
• Andrês Rodrigues Oliveira , Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Quantum and Classical Methods for the Distance Geometry Problem. MESTRADO. . 2023.

  [ Google | Google Scholar ]
• Edgar Lavor, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Modelo Conforme em Geometria Molecular. MESTRADO. Em andamento. 2026.

  [ Google | Google Scholar ]

Orientações de Iniciação Científica

• Murilo Marcelino da Silva, Carlile Campos Lavor () O problema geométrico das distâncias moleculares. INICIACAO_CIENTIFICA. . 2005.

  [ Google | Google Scholar ]
• Pedro Costa Nucci, Carlile Campos Lavor () Determinação da estrutura tridimensional de moléculas utilizando técnicas de otimização. INICIACAO_CIENTIFICA. . 2006.

  [ Google | Google Scholar ]
• Thiago Resek Fabri dos Anjos, Carlile Campos Lavor () Cálculo da capacidade de canais quânticos. INICIACAO_CIENTIFICA. . 2008.

  [ Google | Google Scholar ]
• Thársis Tuani Pinto Souza, Carlile Campos Lavor () Algoritmos para cálculo de conformação molecular. INICIACAO_CIENTIFICA. . 2009.

  [ Google | Google Scholar ]
• Thiago Resek Fabri dos Anjos, Carlile Campos Lavor () Aritmética intervalar aplicada a problemas de conformação molecular. INICIACAO_CIENTIFICA. . 2009.

  [ Google | Google Scholar ]
• Rodrigo Shizuo Yasuda, Carlile Campos Lavor () Implementação de algoritmos para cálculo de estruturas moleculares. INICIACAO_CIENTIFICA. . 2009.

  [ Google | Google Scholar ]
• Fernando Nakatani de Oliveira Lopes, Carlile Campos Lavor () Algoritmos para o cálculo de estrutura de proteínas. INICIACAO_CIENTIFICA. . 2011.

  [ Google | Google Scholar ]
• Guilherme Bighetti Platzeck, Carlile Campos Lavor () Uma abordagem combinatória para problemas de otimização de geometria molecular. INICIACAO_CIENTIFICA. . 2013.

  [ Google | Google Scholar ]
• Andrês Rodrigues Oliveira, Carlile Campos Lavor () Geometria de Distâncias e Aplicações. INICIACAO_CIENTIFICA. . 2018.

  [ Google | Google Scholar ]
• Sofia Machado Menezes, Carlile Campos Lavor () Modelos Euclidiano, Homogêneo e Conforme para o Espaço 3D. INICIACAO_CIENTIFICA. . 2024.

  [ Google | Google Scholar ]
• Thársis Tuani Pinto Souza, Carlile Campos Lavor () Cálculo de geometria molecular. INICIACAO_CIENTIFICA. . 2008.

  [ Google | Google Scholar ]
• Enzo Dantas de Britto Monte Araújo, Carlile Campos Lavor (ORIENTADOR_PRINCIPAL) Geometria de Distâncias. INICIACAO_CIENTIFICA. Em andamento. 2026.

  [ Google | Google Scholar ]

Participações em Bancas

Participações em Banca de Professor Titular

• Professor Titular. PROFESSOR_TITULAR. Universidade Federal do Rio de Janeiro.MACULAN, N.; POMBO JR., D.; OCHI, L. S.; CONCI, A.; LAVOR, C.2015.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal Fluminense.MOURA, C. A.; SZWARCFITER, J. L.; MIGON, H. S.; MIYAGAKI, O. H.; LAVOR, C.2016.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal de Uberlândia.BARCELOS, C. A. Z.; SILVA NETO, A. J.; SILVA, G. N.; MACAU, E. E. N.; LAVOR, C.2017.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal do Rio de Janeiro.COUTINHO, S. C.; OCHI, L. S.; SOUZA, C. C.; MULLER, F. M.; LAVOR, C.2017.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal do Rio Grande do Sul.BORTOLI, A. L.; MIYAGAKI, O.; BOURCHTEIN, A.; LAVOR, C.2018.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade do Estado do Rio de Janeiro.MANGIAVACCHI, N.; MACULAN, N.; OCHI, L. S.; MOURA, C. A.; LAVOR, C.2019.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal de Santa Catarina.REGIANI, A. M.; ALMEIDA, M. P.; VELASQUEZ, J. A.; SILVA JR., C. A.; LAVOR, C.2019.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Laboratório Nacional de Computação Científica.NOVOTNY, A. A.; KOILLER, B.; FIGUEIREDO, C. M. H.; MACULAN, N.; LAVOR, C.2020.

  [ Google | Google Scholar ]
• Promoção para Prof. Titular. PROFESSOR_TITULAR. Ecole Polytechnique de Montreal.LAVOR, C.2022.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal do Ceará.MACULAN, N.; FRANÇA, F. M. G.; SALES, C. L.; LAVOR, C.2022.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal de Santa Catarina.BATISTA, E.; CALDEIRA, A. O.; RIBEIRO, G. M.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Federal de São Paulo.SALLES NETO, L. L.; TREVISAN, V.; CRAVEIRO, I. M.; LAVOR, C.2026.

  [ Google | Google Scholar ]
• Professor Titular. PROFESSOR_TITULAR. Universidade Estadual Paulista.FEDERSON, M.; KOCHLOUKOV, P. E.; LAVOR, C.; NOBRE, S. R.; OLIVEIRA, C. R.2024.

  [ Google | Google Scholar ]

Participações em Banca de Concursos Públicos

• Professor Adjunto. CONCURSO_PUBLICO. Universidade Federal Rural do Rio de Janeiro.AMORIM, C. L.; DRUMMOND, L. M. A.; MADUREIRA, A. L.; WEDEMANN, R. S.; LAVOR, C.2005.

  [ Google | Google Scholar ]
• Professor Adjunto. CONCURSO_PUBLICO. Universidade Federal do Rio de Janeiro.KLEIN, S.; ZIVIANI, N.; OCHI, L. S.; LAVOR, C.; MARKENZON, L.2009.

  [ Google | Google Scholar ]
• Professor Doutor. CONCURSO_PUBLICO. Universidade Estadual de Campinas.VENDITE, L.; MAIA JUNIOR, A.; BASSANEZI, R. C.; TREVISAN, V.; LAVOR, C.2012.

  [ Google | Google Scholar ]
• Professor Adjunto. CONCURSO_PUBLICO. Universidade do Estado do Rio de Janeiro.MOURA, C. A.; TOLEDO, R. C. P. L.; LAVOR, C.2015.

  [ Google | Google Scholar ]
• Presidente da Comissão Julgadora de Concurso Público de Professor Doutor. CONCURSO_PUBLICO. Universidade Estadual de Campinas.LAVOR, C.; MESQUITA, J.; HOPPEN, C.; SILVA NETO, A. J.; POLDI, K.2024.

  [ Google | Google Scholar ]
• Presidente da Comissão Julgadora de Concurso Público para Cargo de Pesquisador. CONCURSO_PUBLICO. .LAVOR, C.; SILVA, A. J.; GIRALDI, G. A.; OLIVEIRA, M. C.; Ramos, R. V.2024.

  [ Google | Google Scholar ]

Outras Participações em Bancas Julgadoras

• Prêmio de Reconhecimento Docente pela Dedicação ao Ensino de Graduação (IC - UNICAMP). OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.BASSANI, J. W. M.; SONG, S. W.; LAVOR, C.2016.

  [ Google | Google Scholar ]
• "Especialista de Reconhecido Valor" para Inscrição de Candidato em Concurso para Prof. Titular (IMECC - UNICAMP). OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.GARCIA, N. L.; TEIXEIRA, M. A.; KOCHLOUKOV, P. E.; POPOV, S.; LAVOR, C.2017.

  [ Google | Google Scholar ]
• Seleção de Propostas para Prof. Visitante (Pró-Reitoria de Pesquisa - UFC). OUTRAS_BANCAS_JULGADORAS. Universidade Federal do Ceará.SAMPAIO, A. H.; LOPES, L. G. F.; LAVOR, C.2017.

  [ Google | Google Scholar ]
• Comitê Assessor (responsável pela área de Matemática e Computação) do Programa de Infraestrutura para Jovens Pesquisadores (FAPEAM). OUTRAS_BANCAS_JULGADORAS. Fundação de Amparo a Pesquisa do Estado do Amazonas.BICALHO, A. M. S. M.; SANTOS, A. L. S.; LAVOR, C.; PEREIRA, J. E. S.; OLIVEIRA, J. V.; FERREIRA, M. A.; CAMACHO, R. G.2018.

  [ Google | Google Scholar ]
• Seleção de Candidato para Bolsa PCI de Pós-Doutorado (Linha de Computação Quântica). OUTRAS_BANCAS_JULGADORAS. Laboratório Nacional de Computação Científica.ZIVIANI, A.; PORTO, F. M.; GIRALDI, G. A.; Oliveira Júnior, I. S.; LAVOR, C.2019.

  [ Google | Google Scholar ]
• Presidente da Comissão Avaliadora para Participação no Prêmio CAPES de Teses (DMA-IMECC). OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.LAVOR, C.; GOMES, F. A. M.; RODRIGUES, C. S.2022.

  [ Google | Google Scholar ]
• Presidente da Comissão de Avaliação Acadêmica - CAA (Diretoria - IMECC). OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.LAVOR, C.; GARCIA, N.; KOCHLOUKOV, P. E.; HOTTA, L.; FERREIRA, L. C.2022.

  [ Google | Google Scholar ]
• Eleito Representante dos Professores Titulares na Congregação do IMECC. OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.LAVOR, C.2024.

  [ Google | Google Scholar ]
• Prêmio de Reconhecimento Docente pela Dedicação ao Ensino de Graduação (IC - UNICAMP). OUTRAS_BANCAS_JULGADORAS. Universidade Estadual de Campinas.KON, F.; TORO, I. F. C.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Seleção de Candidato para Bolsa PCI de Pós-Doutorado (Linha de Computação Quântica). OUTRAS_BANCAS_JULGADORAS. Laboratório Nacional de Computação Científica.OLIVEIRA, J. C.; GIRALDI, G. A.; SANTOS, F. P.; SILVA, A. J.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Seleção de Candidato para Bolsa PCI de Pós-Doutorado (Linha de Computação Quântica). OUTRAS_BANCAS_JULGADORAS. Laboratório Nacional de Computação Científica.OLIVEIRA, J. C.; GIRALDI, G. A.; BORGES, F.; CUNHA, M. T.; LAVOR, C.2024.

  [ Google | Google Scholar ]

Participações em Banca de Doutorado

• Denise Candal Reis Fernandes. Estratégia ótima de oferta em mercados competitivos de energia. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F.; GRANVILLE, S.; LAVOR, C.2005.

  [ Google | Google Scholar ]
• Ana Lucia de Souza. Um algoritmo utilizando programação semidefinida para o problema de dois níveis linear. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F. M. P.; LAVOR, C.; BRITO, J. A. M.; MACULAN, N.2006.

  [ Google | Google Scholar ]
• Wilson Ricardo de Matos Rabelo. Algoritmos para a informação quântica: discriminação de estados quânticos e modelo híbrido. DOUTORADO. Física. Universidade Federal de Minas Gerais.MONKEN, C. H.; SANTOS, M. F.; PADUA, S.; LAVOR, C.; DAVIDOVICH, L.2006.

  [ Google | Google Scholar ]
• Sissy da Silva Souza. Uma classe de métodos interior-proximal com métrica variável para problemas convexos e um algoritmo interior-proximal com distância de Bregman para otimização quase-convexa. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.OLIVEIRA, P. R.; J. M. Martínez; FAMPA, M. H. C.; LAVOR, C.; CRUZ NETO, J. X.2007.

  [ Google | Google Scholar ]
• Jair Cunha Filho. Variações dos diagramas de Ferrers, partições planas e funções geradoras. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.SANTOS, J. P. O.; MONDEK, P.; BARBOSA, R. M.; COSTA, S. I. R.; LAVOR, C.2006.

  [ Google | Google Scholar ]
• Luis Antonio Brasil Kowada. Construção de algoritmos reversíveis e quânticos. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.FIGUEIREDO, C. M. H.; PORTUGAL, R.; BARBOSA, V. C.; DONANGELO, R. J.; LAVOR, C.; CARVALHO, L. M.2006.

  [ Google | Google Scholar ]
• Amanda Castro Oliveira. Simulação de caminhos quânticos em redes bidimensionais. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; DONANGELO, R. J.; FRAGOSO, M. D.; DARDENNE, L.; LAVOR, C.; ABAL, G.2007.

  [ Google | Google Scholar ]
• Marco Antonio Botelho Soares. Estudo do efeito do gel de alecrim pimenta e aroeira e seus princípios ativos isolados na doença periodontal experimental. DOUTORADO. Ciências Médicas. Universidade Federal do Ceará.BRITO, G. A.; MUSCARÁ, M. N.; MOREIRA, M. M. S. M.; VALE, M. L.; LAVOR, C.2007.

  [ Google | Google Scholar ]
• Sérgio Assunção Monteiro. Duas barreiras para programação semidefinida. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.OLIVEIRA, P. R.; FAMPA, M. H. C.; ABREU, N. M. M.; CAMPÊLO, M.; LAVOR, C.2007.

  [ Google | Google Scholar ]
• Carlos Magno Martins Cosme. Algoritmos quânticos para o problema do subgrupo oculto não abeliano. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; VIEIRA, P. C. M.; GIRALDI, G. A.; LAVOR, C.; LEAL, G. A. R.2008.

  [ Google | Google Scholar ]
• Rex Antonio da Costa Medeiros. Zero-error capacity of quantum channels. DOUTORADO. Engenharia Elétrica. Universidade Federal de Campina Grande.FREIRE, R. C. S.; MAIA JUNIOR, B.; LAVOR, C.; ROCHA, V. C.; ASSIS, F. M.2008.

  [ Google | Google Scholar ]
• Paulo Benício Melo de Sousa. Computação quântica: circuitos, jogos e aplicações. DOUTORADO. Engenharia de Teleinformática. Universidade Federal do Ceará.R. V. Ramos; G. A. Barreto; COSTA FILHO, J. T.; G. C. Barroso; G. V. R. Viana; LAVOR, C.; A. C. R. Costa2008.

  [ Google | Google Scholar ]
• Jair da Silva. Uma família de algoritmos para programação linear baseada no algoritmo de Von Neumann. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.OLIVEIRA, A. R. L.; FAMPA, M. H. C.; LAVOR, C.; CARVALHO, M. F. H.; MORETTI, A. C.2009.

  [ Google | Google Scholar ]
• Tatiane da Silva Evangelista. Discriminação de estados quânticos via programação semidefinida. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.LAVOR, C.; OLIVEIRA, A. R. L.; MACULAN, N.; FAMPA, M. H. C.; PORTUGAL, R.2009.

  [ Google | Google Scholar ]
• Weber Figueiredo da Silva. Estruturas atômicas com álgebra geométrica. DOUTORADO. Doutorado em Engenharia Elétrica. Universidade Federal do Rio de Janeiro.PETRAGLIA, A.; LAVOR, C.; GOMES, J. G. R. C.; MACULAN, N.; MOSNA, R. A.2009.

  [ Google | Google Scholar ]
• José Cláudio do Nascimento. Protocolos quânticos para sistemas de prova de conhecimento nulo. DOUTORADO. Engenharia de Teleinformática. Universidade Federal do Ceará.Ramos, R. V.; ASSIS, F. M.; LAVOR, C.; SOUSA, P. B. M.; SILVA, J. B. R.; VASCONCELOS, H. M.2009.

  [ Google | Google Scholar ]
• Valéria Saldanha Motta. Solução de sistemas lineares de grande porte com múltiplos lados direitos. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.MACULAN, N.; CARVALHO, L. M.; XAVIER, A. E.; LAVOR, C.; OCHI, L. S.; FAMPA, M. H. C.2010.

  [ Google | Google Scholar ]
• Michael Ferreira de Souza. Suavização hiperbólica aplicada à otimização de geometria molecular. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.MACULAN, N.; LAVOR, C.; XAVIER, A. E.; PROTTI, F.; OLIVEIRA, A. R. L.; FAMPA, M. H. C.2010.

  [ Google | Google Scholar ]
• Michele da Silva Sousa. Algoritmos de otimização para o problema de planejamento de redes celulares de terceira geração. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.MACULAN, N.; BRITO, J. A. M.; XAVIER, A. E.; OLIVEIRA, P. R.; LAVOR, C.; MONTENEGRO, F.2010.

  [ Google | Google Scholar ]
• Nolmar Melo de Souza. Uma álgebra de Clifford de assinatura (n,3n) e os operadores densidade da teoria da informação quântica. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.LAVOR, C.; COSTA, S. I. R.; MOSNA, R. A.; PORTUGAL, R.; MACULAN, N.2011.

  [ Google | Google Scholar ]
• Paulo Sergio da Silva Gouveia. Resolução do problema de alinhamento estrutural entre proteínas via técnicas de otimização global. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.FRIEDLANDER, A.; LAVOR, C.; SANTOS, L. T.; BISCH, P. M.; MACULAN, N.2011.

  [ Google | Google Scholar ]
• Fredson Braz Matos dos Santos. Padrões de emaranhamento e efeitos de topologia em aglomerados de spin quânticos. DOUTORADO. Pós-graduação em Física. Universidade Federal de Pernambuco.MACEDO, A. M. S.; ASSIS, F. M.; LAVOR, C.2009.

  [ Google | Google Scholar ]
• Rodrigo Silva Lima. Reconstrução e classificação de estruturas espaciais via otimização contínua. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.MARTINEZ, J. M.; LAVOR, C.; SANTOS, S. A.; MACULAN, N.; FRANCISCO, J. B.2012.

  [ Google | Google Scholar ]
• Eduardo Rogerio Favaro. Corpos de condutor potência de primo, anéis de inteiros, reticulados e mínimo euclidiano. DOUTORADO. MATEMÁTICA. Universidade Estadual Paulista Júlio de Mesquita Filho.ANDRADE, A. A.; BRACCIALI, C. F.; PALAZZO JR., R.; COSTA, S. I. R.; LAVOR, C.2012.

  [ Google | Google Scholar ]
• João Benicio de Melo Neto. Métodos de programação max-linear em otimização. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.MACULAN, N.; OLIVEIRA, P. R.; XAVIER, A. E.; CRUZ NETO, J. X.; LAVOR, C.2015.

  [ Google | Google Scholar ]
• Fernando Vasconcelos Mendes. Teleportação de portas quânticas, entrelaçadores universais e conexões com a teoria dos números. DOUTORADO. Engenharia de Teleinformática. Universidade Federal do Ceará.Ramos, R. V.; SILVA, J. B. R.; NASCIMENTO, J. C.; PORTUGAL, R.; LAVOR, C.2015.

  [ Google | Google Scholar ]
• Beatriz Malajovich. 4-ciclos e o quinto coeficiente característico de algumas subfamílias de grafos cordais. DOUTORADO. Engenharia de Produção. Universidade Federal do Rio de Janeiro.ABREU, N. M. M.; MARKENZON, L.; LAVOR, C.; WAGA, C. F. E. M.; JUSTEL, C. M.; FREITAS, M. A. A.2015.

  [ Google | Google Scholar ]
• Pedro Carlos da Silva Lara. Otimização de funções contínuas usando algoritmos quânticos. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; GIRALDI, G. A.; LAVOR, C.; MARQUEZINO, F. L.2015.

  [ Google | Google Scholar ]
• Tharso Dominisini Fernandes. Modelo de caminhadas quânticas escalonado. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; GIRALDI, G. A.; MARQUEZINO, F. L.; LAVOR, C.2017.

  [ Google | Google Scholar ]
• Rafael Ghussn Cano. Combinatorial optimization problems in cartographic data visualization. DOUTORADO. Ciência da Computação. Universidade Estadual de Campinas.SOUZA, C. C.; WAKABAYASHI, Y.; CAMPÊLO, M.; MIYAZAWA, F.; LAVOR, C.2016.

  [ Google | Google Scholar ]
• Paulo Regis Menezes Souza. Contribuições em teleportação de portas quânticas, algoritmos de busca quântica e processamento quântico de imagens. DOUTORADO. Engenharia de Teleinformática. Universidade Federal do Ceará.Ramos, R. V.; PORTUGAL, R.; MEDEIROS, F. N. S.; SILVA, J. B. R.; LAVOR, C.2018.

  [ Google | Google Scholar ]
• Bruno de Oliveira Chagas. Caminhada quântica escalonada em grade hexagonal. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; LAVOR, C.; MARQUEZINO, F. L.; VIEIRA, P. C. M.; ZIVIANI, A.2018.

  [ Google | Google Scholar ]
• Luciano Borges Censoni. Modelos baseados em contatos no estudo do enovelamento e da difusão térmica em proteínas. DOUTORADO. Química. Universidade Estadual de Campinas.MARTINEZ, L.; BASSI, A. B. M. S.; LAVOR, C.; BLEICHER, L.; MAIA, L. P.2019.

  [ Google | Google Scholar ]
• Daniela Cristina Lubke de Mello. Relaxações convexas e desigualdades válidas para o problema da mochila quadrático binário. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.FAMPA, M. H. C.; MACULAN, N.; SIMONETTI, L. G.; RAUPP, F. M. P.; MELO, W. A. X.; MICHELON, P. Y. P.; LAVOR, C.2019.

  [ Google | Google Scholar ]
• Rodolfo Aníbal Lobo Carrasco. Redes neurais recorrentes hipercomplexas e suas aplicações em reconstrução de imagens e classificação de padrões. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.MESQUITA, M. E. R. V.; BARRETO, G. A.; PAULA NETO, F. M.; SUSSNER, P.; LAVOR, C.2021.

  [ Google | Google Scholar ]
• Tacildo de Souza Araújo. Métodos para completamento de matrizes de posto conhecido. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.TOREZZAN, C.; BAEZ-SANCHEZ, A. D.; BUENO, L. F.; GOMES, F. A. M.; LAVOR, C.2023.

  [ Google | Google Scholar ]
• Guilherme Vieira Neto. Redes neurais progressivas com valores hipercomplexos. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.MESQUITA, M. E. R. V.; FLORINDO, J. B.; PAPA, J. P.; FERNANDES, L. A. F.; LAVOR, C.2023.

  [ Google | Google Scholar ]
• Frank Henry Acasiete Quispe. Passeios quânticos e sua implementação eficiente nos computadores quânticos. DOUTORADO. Modelagem Computacional. Laboratório Nacional de Computação Científica.PORTUGAL, R.; BORGES, F.; MARQUEZINO, F.; LAVOR, C.2024.

  [ Google | Google Scholar ]
• Lucas Santos Cardoso de Sá. O método de cálculo de potência em matrizes de Leslie e o sistema fundamental de Fibonacci: uma análise comparativa. DOUTORADO. Matemática Aplicada. Universidade Estadual de Campinas.SANTOS, J. P. O.; DINIZ, M. M.; RACHIDI, M.; LAVOR, C.2024.

  [ Google | Google Scholar ]
• Marcelo Renan Augusto Ferreira. Ajuste, detecção e classificação de objetos via álgebra geométrica. DOUTORADO. Matemática. Universidade Estadual de Maringá.CASTELANI, E. V.; SHIRABAYASHI, W. V. I.; OLIVEIRA, A. R. L.; FIDALGO, F.; SOBRAL, F. N. C.; CARMELO, E. L. M.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Mateus Alves Martins. Recursive calculation for lexicographic graph powers of a function related to the Hall ratio. DOUTORADO. Engenharia de Computação. Universidade de Pernambuco.OLIVEIRA, J. F. L.; BASTOS, C.; GOLDFARB, M.; CRISTOFANI, F.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Marlo Moesia. Successive operations with real variable applied to representing special functions and computational modeling. DOUTORADO. . .GIRALDI, G. A.; PORTUGAL, R.; LOULA, A. F. D.; MARQUEZINO, F. L.; LAVOR, C.2025.

  [ Google | Google Scholar ]
• Gabriel Mauricio Oswald Vieira. Impacto de ruído estrutural dinâmico em buscas baseadas em passeios quânticos Lackadaisical. DOUTORADO. Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro.MACULAN, N.; MARQUEZINO, F. L.; PORTUGAL, R.; SIMONETTI, L. G.; LAVOR, C.2026.

  [ Google | Google Scholar ]

Participação em eventos

• LAVOR, C. A discrete approach to molecular geometry optimization problems. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Cálculo de Estrutura 3D de Proteínas: Problema Acadêmico ou Industrial?. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Recent Advances in Convex and Riemannian Optimization Session. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Simpósio de Matemática Aplicada. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Molecular Geometry: Models and Algorithms in 5D. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Rigidez em Grafos de Proteínas. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Systems, Patterns and Data Engineering with Geometric Calculi Session. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Euclidean Distance Geometry and its Applications Session. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Applications Session. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias: Teoria e Aplicações. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Geometric Approaches to Macromolecular Modeling Session. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Global Optimization and MINLP Session. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry Session. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Combinatorial Optimization Session. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Optimization and Data Mining Session. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. Sessão de Otimização. 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Global Optimization and MINLP Session. 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Information Geometry Manifolds and Their Advanced Applications Session. 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Estrutura 3D de Proteínas via Geometria de Distâncias. 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Proteínas em 5D. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Solving a quantum chemistry problem with deterministic global optimization. 2005.

  [ Google | Google Scholar ]
• LAVOR, C. A geometric approach for solving protein structure by NMR. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Álgebra e Geometria no Cálculo de Estrutura Molecular. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. A Geometric Framework Beyond Euclidean Space for Molecular Optimization. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Otimização de geometria molecular. 2009.

  [ Google | Google Scholar ]
• LAVOR, C. Molecular Geometry and Distance Geometry. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Conquistas e Derrotas. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. An artificial backbone of hydrogens for finding the conformation of protein molecules. 2009.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias e a Pandemia Covid-19. 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Desafios e Oportunidades em Tecnologias Quânticas. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Matemática, Ensino e Aplicações. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Um Algoritmo Branch-and-Bound para o Molecular Ordered Covering Problem. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Molecular Geometry Optimization by a Combinatorial Approach. 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Um algoritmo branch-and-bound para o "Molecular Ordered Covering Problem. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Introdução à computação quântica. 2005.

  [ Google | Google Scholar ]
• LAVOR, C. Quantum computing. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias, Grafos e COVID-19. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Conformal Geometric Algebra. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and 3D Protein Structure. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Grafos de Proteínas. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Is it rational to represent 3D space in R?5?. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. A Matemática Envolvida no Cálculo de Estrutura de Proteínas. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Cálculo de Estrutura de Proteínas: Um Problema Multidisciplinar. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias: Teoria e Aplicações. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias no Cálculo de Estruturas 3D de Proteínas. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Pesquisa Operacional em Problemas de Geometria Molecular. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Protein Geometry: Academic and Industrial Problems. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Matemática e Problemas Complexos. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Proteínas em 5D. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Different Models for 3D Space in Molecular Geometry. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias e Otimização de Geometria Molecular. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Modelagem Matemática no Século XXI. 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Divulgação Científica da Matemática Aplicada e Computacional. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. Discrete Distance Geometry and Molecular Structure Calculation. 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Uma Introdução à Bioinformática: Cálculo de Estrutura de Proteínas. 2011.

  [ Google | Google Scholar ]
• LAVOR, C. Interseção de Esferas e Geometria Molecular. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Optimization on Riemannian Manifolds Session. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Isometrias no Espaço Conforme. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Proteínas e a Quinta Dimensão. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias e COVID-19. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias e Pandemias. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. SBMAC e Matemática Aplicada. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Algebra and Geometry for Calculation of 3D Protein Structures. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Computação quântica básica. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. A Matemática e o Mundo Real. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Nobel de Química de 2024 e a SIAM Review de 1997. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. A Importância dos Prêmios Científicos. 2025.

  [ Google | Google Scholar ]
• LAVOR, C. Algoritmos quânticos. 2005.

  [ Google | Google Scholar ]
• LAVOR, C. How can mathematics be used to address global challenges?. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Applications. 2015.

  [ Google | Google Scholar ]
• LAVOR, C. Cálculo de estruturas de proteínas: métodos exatos e heurísticas. 2007.

  [ Google | Google Scholar ]
• LAVOR, C. Otimização de geometria molecular aplicada à estrutura de proteínas. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Desafios Matemáticos e Computacionais em Geometria Molecular. 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Del Artículo al Libro. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Geometria de Distâncias e COVID-19. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Informação quântica. 2006.

  [ Google | Google Scholar ]

Organização de eventos

• LAVOR, C. 2010 International Symposium of Mathematical Programming. 2006.

  [ Google | Google Scholar ]
• LAVOR, C. I Workshop-Escola de Computação e Informação Quântica. 2006.

  [ Google | Google Scholar ]
• LAVOR, C. II Workshop-Escola de Computação e Informação Quântica. 2007.

  [ Google | Google Scholar ]
• SILVA, G. N.; ANDRADE, E. X. L.; Bocanegra, S. I Encontro Regional de Matemática Aplicada e Computacional. 2005.

  [ Google | Google Scholar ]
• LAVOR, C. III Workshop-Escola de Computação e Informação Quântica. 2010.

  [ Google | Google Scholar ]
• LAVOR, C. Workshop on Distance Geometry and Applications. 2013.

  [ Google | Google Scholar ]
• LAVOR, C. Bioinformatics and Combinatorial Optimization Session in the XXI ISMP. 2012.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Applications Session in the ICCOPT. 2013.

  [ Google | Google Scholar ]
• Lavor, C.C.; Firer, M.; TOREZZAN, C.; LIMA, A.; AMARO, B.; MEDEIROS, C.; MAIOLI, D.; FIDALGO, F.; ABUD, G.; OLIVEIRA, R. D. Many Faces of Distances. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Applications Session in the INFORMS. 2014.

  [ Google | Google Scholar ]
• LAVOR, C. Mesa Redonda "Ciências Matemáticas e Interdisciplinaridade". 2014.

  [ Google | Google Scholar ]
• LAVOR, C. ICIAM Board Meeting. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Sessão Especial em Otimização, Grafos e Geometria de Distâncias no SBPO. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Workshop "Matemática, Aplicações e Sociedades Científicas". 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Workshop "NMR Protein Determination: Theory and Methods". 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Colóquio do IMECC. 2016.

  [ Google | Google Scholar ]
• LAVOR, C. Colóquio do IMECC. 2017.

  [ Google | Google Scholar ]
• LAVOR, C. Colóquio do IMECC. 2018.

  [ Google | Google Scholar ]
• LAVOR, C. Workshop "O Cientista do Século XXI". 2019.

  [ Google | Google Scholar ]
• LAVOR, C. Minissimpósio de Geometria de Distâncias e Álgebra Geométrica. 2021.

  [ Google | Google Scholar ]
• LAVOR, C. Congresso Nacional de Matemática Aplicada e Computacional. 2022.

  [ Google | Google Scholar ]
• LAVOR, C. Constraint Systems: Distance Geometry, Structured Polynomials, Matrix Completion and Kinematics. 2023.

  [ Google | Google Scholar ]
• LAVOR, C. Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Minissimpósio "Distance Geometry and Applications?. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. Workshop em Comemoração dos 55 anos da SBM. 2024.

  [ Google | Google Scholar ]
• LAVOR, C. 3rd Edition of the Brazil - China Joint Mathematical Meeting. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. III Semana Nacional de Iniciação Científica da SBM. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. Distance Geometry and Optimization Session in the SIAM Conference on Optimization. 2026.

  [ Google | Google Scholar ]
• LAVOR, C. TYAN 2025 Meeting. 2025.

  [ Google | Google Scholar ]