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 PROTEÍNAS, foi palestrante convidado em diversas instituições internacionais (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 e Computação Quântica. Na 1a. edição de 2014 do periódico SIAM REVIEW, juntamente com Liberti, Maculan e Mucherino, 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, juntamente com L.A.F. Fernandes (UFF) e M.M. Oliveira (UFRGS). Em 2023, foi eleito para os Conselhos 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.

Informações coletadas do Lattes em 10/11/2024

Acadêmico

Formação acadêmica

Doutorado em Computação (COPPE - UFRJ)

1997 - 2001

Universidade Federal do Rio de Janeiro
Título: Uma abordagem determinística para a minimização global da energia potencial de moléculas
Nelson Maculan Filho. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Geometria Molecular; Otimização Global; Branch and Bound; Aritmética Intervalar.Grande área: Ciências Exatas e da Terra

Graduação em Matemática (UNICAMP)

1992 - 1996

Universidade Estadual de Campinas

Pós-doutorado

2006

Livre-docência. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Título: Combinatória, Ano de obtenção: 2006.

2020 - 2021

Pós-Doutorado. , Universidad Nacional Autónoma de Mexico, UNAM, México. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

2013 - 2014

Pós-Doutorado. , Duke University, DUKE, Estados Unidos. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

2008 - 2009

Pós-Doutorado. , Ecole Polytechnique - Paris, LIX, França. , Bolsista do(a): Centre National de la Recherche Scientifique, CNRS, França.

2003 - 2003

Pós-Doutorado. , Laboratório Nacional de Computação Científica, LNCC, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Bem, Lê Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra Geométrica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Geometria de Proteínas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Quântica.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria de Distâncias.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Topologia Algébrica Computacional.

Organização de eventos

LAVOR, C. . Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2024. (Congresso).

LAVOR, C. . Workshop em Comemoração dos 55 anos da SBM. 2024. (Outro).

LAVOR, C. . Minissimpósio "Distance Geometry and Applications?. 2024. (Outro).

LAVOR, C. . Constraint Systems: Distance Geometry, Structured Polynomials, Matrix Completion and Kinematics. 2023. (Outro).

LAVOR, C. . Congresso Nacional de Matemática Aplicada e Computacional. 2022. (Congresso).

LAVOR, C. . Minissimpósio de Geometria de Distâncias e Álgebra Geométrica. 2021. (Outro).

LAVOR, C. . Workshop "O Cientista do Século XXI". 2019. (Outro).

LAVOR, C. . Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2018. (Outro).

LAVOR, C. . Workshop "NMR Protein Determination: Theory and Methods". 2018. (Outro).

LAVOR, C. . Colóquio do IMECC. 2018. (Outro).

LAVOR, C. . Sessão Especial em Otimização, Grafos e Geometria de Distâncias no SBPO. 2017. (Congresso).

LAVOR, C. . Workshop "Matemática, Aplicações e Sociedades Científicas". 2017. (Outro).

LAVOR, C. . Colóquio do IMECC. 2017. (Outro).

LAVOR, C. . ICIAM Board Meeting. 2016. (Outro).

LAVOR, C. . Colóquio do IMECC. 2016. (Outro).

LAVOR, C. . Many Faces of Distances. 2014. (Congresso).

LAVOR, C. . Distance Geometry and Applications Session in the INFORMS. 2014. (Congresso).

LAVOR, C. . Mesa Redonda "Ciências Matemáticas e Interdisciplinaridade". 2014. (Outro).

LAVOR, C. . Workshop on Distance Geometry and Applications. 2013. (Congresso).

LAVOR, C. . Distance Geometry and Applications Session in the ICCOPT. 2013. (Congresso).

LAVOR, C. . Bioinformatics and Combinatorial Optimization Session in the XXI ISMP. 2012. (Congresso).

LAVOR, C. . III Workshop-Escola de Computação e Informação Quântica. 2010. (Congresso).

LAVOR, C. . II Workshop-Escola de Computação e Informação Quântica. 2007. (Congresso).

LAVOR, C. . XIX International Symposium on Mathematical Programming. 2006. (Congresso).

LAVOR, C. . I Workshop-Escola de Computação e Informação Quântica. 2006. (Congresso).

LAVOR, C. . Encontro Regional de Matemática Aplicada e Computacional. 2005. (Congresso).

LAVOR, C. . II Colóquio de História e Tecnologia no Ensino de Matemática,. 2004. (Congresso).

LAVOR, C. . Two Days on Combinatorial Optimization: A Bridge Between Rio and Niterói. 2003. (Congresso).

Participação em eventos

Minicurso Selecionado no XLIII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). Geometria de Distâncias: Teoria e Aplicações. 2024. (Congresso).

Palestrante Convidado no II Workshop on Logic, Rationality, and Probability (CLE, Unicamp).Is it rational to represent 3D space in R?5?. 2024. (Oficina).

Palestrante Convidado no LVI Simpósio Brasileiro de Pesquisa Operacional (SBPO).Um algoritmo branch-and-bound para o "Molecular Ordered Covering Problem. 2024. (Simpósio).

Moderador em Mesa Redonda (XLII CNMAC).O que fazer com o título de Doutor em Ciências Matemáticas fora da academia?. 2023. (Outra).

Palestra de Abertura no Ciclo de Seminários (2023) Nestor Schor.Geometria de Distâncias e a Pandemia Covid-19. 2023. (Seminário).

Convidado para Mesa Redonda (6th TWAS Young Affiliate Network (TYAN) Thematic Workshop in Mathematics and 1st Advanced School in Mathematics).How can mathematics be used to address global challenges?. 2022. (Outra).

Moderador em Mesa Redonda (VI WECIQ).Desafios e Oportunidades em Tecnologias Quânticas. 2022. (Simpósio).

Palestra de Abertura no 1º Encontro Maurício Peixoto de Matemática Pura, Aplicada e Computacional (UFCA).Geometria de Distâncias e Pandemias. 2022. (Encontro).

Palestra de Abertura no XXIV Semana da Matemática e IV Jornada de Matemática Aplicada e Computacional (UNICENTRO).Geometria de Distâncias e COVID-19. 2022. (Encontro).

Palestrante Convidado na 4ª Semana da Matemática Aplicada (UNICAMP).Geometria de Proteínas e a Quinta Dimensão. 2022. (Encontro).

Convidado para Mesa Redonda (Webinar - Springer Nature).Del Artículo al Libro. 2021. (Outra).

Moderador em Homenagem aos 50 anos do Prof. Nelson Maculan dedicados à UFRJ.Conquistas e Derrotas. 2021. (Seminário).

Palestra de Abertura no LIII Simpósio Brasileiro de Pesquisa Operacional (SBPO).Geometria de Distâncias, Grafos e COVID-19. 2021. (Simpósio).

Palestra de Abertura no XL Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). Geometria de Proteínas em 5D. 2021. (Congresso).

Palestrante Convidado no Ciclo de Palestras em Matemática Aplicada (UFAL).Interseção de Esferas e Geometria Molecular. 2021. (Encontro).

Palestrante Convidado no Colóquio de Matemática (UFPE).Isometrias no Espaço Conforme. 2021. (Encontro).

Palestrante Convidado no Colóquio de Matemática (UFSC).Geometria de Distâncias e COVID-19. 2021. (Outra).

Minicurso selecionado no 32º Colóquio Brasileiro de Matemática (IMPA). Rigidez em Grafos de Proteínas. 2019. (Congresso).

Palestra de Abertura no I Encontro Regional de Matemática Aplicada e Computacional do Nordeste (ERMAC).Geometria de Proteínas em 5D. 2019. (Encontro).

Palestrante Convidado no 2019 SIAM Conference on Applied Algebraic Geometry (SIAM). Euclidean Distance Geometry and its Applications Session. 2019. (Congresso).

Palestrante Convidado no 9th International Congress on Industrial and Applied Mathematics (ICIAM). Systems, Patterns and Data Engineering with Geometric Calculi Session. 2019. (Congresso).

Palestrante Convidado no Colóquio do Programa de Pós-Graduação em Matemática e Estatística e do Centro de Informática (UFPE).Desafios Matemáticos e Computacionais em Geometria Molecular. 2019. (Outra).

Palestrante Convidado para os.Grafos de Proteínas. 2019. (Oficina).

Palestrante Convidado para os.Cálculo de Estrutura de Proteínas: Um Problema Multidisciplinar. 2019. (Encontro).

Conferencista Convidado no I Encuentro Latinoamericano de Estudiantes de Doctorado en Modelamiento, Ingeniería y Ciencias (EMIC 2018).Protein Geometry: Academic and Industrial Problems. 2018. (Encontro).

Conferencista Convidado no III Encontro Regional de Pesquisa Operacional do Sudeste (ERPO - SE).Pesquisa Operacional em Problemas de Geometria Molecular. 2018. (Encontro).

Conferencista Convidado no V Encontro Sul-Mato-Grossense de Matemática (ENCOSMAT).A Matemática Envolvida no Cálculo de Estrutura de Proteínas. 2018. (Encontro).

Palestra de Abertura no I Simpósio Integrado de Matemática (SIGMAT).Matemática, Ensino e Aplicações. 2018. (Simpósio).

Palestra de Abertura no XIII Encontro Científico dos Pós-Graduandos do IMECC (EnCPos).Matemática e Problemas Complexos. 2018. (Encontro).

Palestrante Convidado no 2018 SIAM Annual Meeting (SIAM). Distance Geometry Session. 2018. (Congresso).

Aula Inaugural do Programa de Pós-Graduação "Modelagem e Métodos Quantitativos" da UFC.A Matemática e o Mundo Real. 2017. (Outra).

Conferencista Convidado no 2º Encontro de Teoria da Computação (CSBC). Molecular Geometry: Models and Algorithms in 5D. 2017. (Congresso).

Minicurso Convidado na Universidad de Chile.Algebra and Geometry for Calculation of 3D Protein Structures. 2017. (Outra).

Minicurso selecionado no 31º Colóquio Brasileiro de Matemática (IMPA). Álgebra e Geometria no Cálculo de Estrutura Molecular. 2017. (Congresso).

Palestrante Convidado no 31º Colóquio Brasileiro de Matemática (IMPA). Simpósio de Matemática Aplicada. 2017. (Congresso).

Palestrante Convidado no III Congresso Nacional de Matematica Aplicada à Indústria (CNMAI). Cálculo de Estrutura 3D de Proteínas: Problema Acadêmico ou Industrial?. 2017. (Congresso).

Conferencista Convidado no DGTA (Workshop on Distance Geometry: Theory and Applications).Distance Geometry and Conformal Geometric Algebra. 2016. (Oficina).

Conferencista Convidado no International Workshop in Industrial Mathematics.Distance Geometry and 3D Protein Structure. 2016. (Oficina).

Minicurso convidado na XVII Escola de Verão (UFSC).Geometria de Distâncias: Teoria e Aplicações. 2016. (Encontro).

Palestrante Convidado no Colóquio do Dep. de Matemática Aplicada do IME-USP.Molecular Geometry and Distance Geometry. 2016. (Seminário).

Conferencista convidado no Congresso de Matemática Aplicada do Sudeste 2015 (CMAC-SE). Estrutura 3D de Proteínas via Geometria de Distâncias. 2015. (Congresso).

Conferencista convidado no III Ciclo de Conferencias Internacionales de Matemáticas.Discrete Distance Geometry and Molecular Structure Calculation. 2015. (Encontro).

Conferencista convidado no VII Simpósio de Análise Numérica e Otimização.Molecular Geometry Optimization by a Combinatorial Approach. 2015. (Simpósio).

Conferencista convidado no XVIII Encontro Nacional de Modelagem Computacional (ENMC).Modelagem Matemática no Século XXI. 2015. (Encontro).

Palestrante convidado no Instituto de Alta Investigación de la Universidad de Tarapacá, Chile.Distance Geometry and Applications. 2015. (Outra).

Conferencista convidado no Encontro Regional de Pesquisa Operacional (ERPO).Geometria de Distâncias e Otimização de Geometria Molecular. 2014. (Encontro).

Conferencista convidado no XVII Encontro Nacional de Modelagem Computacional (ENMC).Geometria de Distâncias no Cálculo de Estruturas 3D de Proteínas. 2014. (Encontro).

Palestrante convidado na 20th Conference of the International Federation of Operational Research Societies (IFORS). Combinatorial Optimization Session. 2014. (Congresso).

Palestrante convidado no INFORMS Annual Meeting (INFORMS). Global Optimization and MINLP Session. 2014. (Congresso).

Palestrante convidado no 29º Colóquio Brasileiro de Matemática (IMPA). Sessão de Otimização. 2013. (Congresso).

Palestrante convidado no Geometric Science of Information (GSI). Information Geometry Manifolds and Their Advanced Applications Session. 2013. (Congresso).

Palestrante convidado no INFORMS Annual Meeting (INFORMS). Global Optimization and MINLP Session. 2013. (Congresso).

Conferencista convidado na XVI Escuela Latinoamericana de Verano en Investigación Operativa (ELAVIO).Otimização de geometria molecular aplicada à estrutura de proteínas. 2012. (Outra).

Conferencista convidado no Global Optimization Workshop (GOW). A discrete approach to molecular geometry optimization problems. 2012. (Congresso).

Conferencista convidado no Ottawa 2012 International Symposium on Biochemistry and Biophysic. A geometric approach for solving protein structure by NMR. 2012. (Congresso).

Palestrante convidado no 2012 SIAM Annual Meeting (SIAM). Geometric Approaches to Macromolecular Modeling Session. 2012. (Congresso).

Palestrante convidado no XXI International Symposium on Mathematical Programming (ISMP). Distance Geometry and Applications Session. 2012. (Congresso).

Conferencista convidado na XII Semana de Informática da UFAM (SEMINFO).Uma Introdução à Bioinformática: Cálculo de Estrutura de Proteínas. 2011. (Encontro).

Conferencista convidado na Reunião Anual dos Programas Regionais STIC-AmSud e MATH-AmSud (IMPA).An artificial backbone of hydrogens for finding the conformation of protein molecules. 2009. (Seminário).

Minicurso convidado no Programa de Pós-Graduação do Instituto de Matemática e Estatística da UERJ.Otimização de geometria molecular. 2009. (Seminário).

Conferencista convidado na XII Escuela Latinoamericana de Verano en Investigación Operativa (ELAVIO).Cálculo de estruturas de proteínas: métodos exatos e heurísticas. 2007. (Outra).

Minicurso convidado no II Workshop-Escola de Computação e Informação Quântica.Computação quântica básica. 2007. (Outra).

Minicurso convidado no IV Workshop on Cryptographic Algorithms and Protocols (WCAP).Quantum computing. 2007. (Simpósio).

Palestrante convidado no Second International Conference on Continuous Optimization (ICCOPT). Optimization and Data Mining Session. 2007. (Congresso).

Minicurso convidado no I Workshop-Escola de Computação e Informação Quântica.Informação quântica. 2006. (Outra).

Conferencista convidado no VII French-Latin American Congress on Applied Mathematics. Solving a quantum chemistry problem with deterministic global optimization. 2005. (Congresso).

Minicurso convidado na Escola de Informação Quântica (UFAL).Algoritmos quânticos. 2005. (Outra).

Minicurso convidado no XXII Simpósio Brasileiro de Telecomunicações (SBrT).Introdução à computação quântica. 2005. (Simpósio).

Conferencista convidado no Algebraic Graph Theory Journey.Linear algebra and quantum computation. 2004. (Encontro).

Conferencista convidado no Two Days on Combinatorial Optimization.An overview of Grover's algorithm. 2003. (Encontro).

Conferencista convidado no I Encontro de Informação Quântica (UFMG).A brief overview of computational complexity. 2002. (Encontro).

Participação em bancas

Aluno: Frank Henry Acasiete Quispe

PORTUGAL, R.; BORGES, F.; MARQUEZINO, F.;LAVOR, C.. Passeios quânticos e sua implementação eficiente nos computadores quânticos. 2024. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Lucas Santos Cardoso de Sá

SANTOS, J. P. O.; DINIZ, M. M.; RACHIDI, M.;LAVOR, C.. O método de cálculo de potência em matrizes de Leslie e o sistema fundamental de Fibonacci: uma análise comparativa. 2024. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Tacildo de Souza Araújo

TOREZZAN, C.; BAEZ-SANCHEZ, A. D.; BUENO, L. F.; GOMES, F. A. M.;LAVOR, C.. Métodos para completamento de matrizes de posto conhecido. 2023. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Guilherme Vieira Neto

MESQUITA, M. E. R. V.; FLORINDO, J. B.; PAPA, J. P.; FERNANDES, L. A. F.;LAVOR, C.. Redes neurais progressivas com valores hipercomplexos. 2023. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Rodolfo Aníbal Lobo Carrasco

MESQUITA, M. E. R. V.; BARRETO, G. A.; PAULA NETO, F. M.; SUSSNER, P.;LAVOR, C.. Redes neurais recorrentes hipercomplexas e suas aplicações em reconstrução de imagens e classificação de padrões. 2021. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Luciano Borges Censoni

MARTINEZ, L.; BASSI, A. B. M. S.;LAVOR, C.; BLEICHER, L.; MAIA, L. P.. Modelos baseados em contatos no estudo do enovelamento e da difusão térmica em proteínas. 2019. Tese (Doutorado em Química) - Universidade Estadual de Campinas.

Aluno: Daniela Cristina Lubke de Mello

FAMPA, M. H. C.;MACULAN, N.; SIMONETTI, L. G.; RAUPP, F. M. P.; MELO, W. A. X.; MICHELON, P. Y. P.;LAVOR, C.. Relaxações convexas e desigualdades válidas para o problema da mochila quadrático binário. 2019. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Paulo Regis Menezes Souza

Ramos, R. V.;PORTUGAL, R.; MEDEIROS, F. N. S.; SILVA, J. B. R.;LAVOR, C.. Contribuições em teleportação de portas quânticas, algoritmos de busca quântica e processamento quântico de imagens. 2018. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Bruno de Oliveira Chagas

PORTUGAL, R.LAVOR, C.; MARQUEZINO, F. L.; VIEIRA, P. C. M.; ZIVIANI, A.. Caminhada quântica escalonada em grade hexagonal. 2018. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Tharso Dominisini Fernandes

PORTUGAL, R.; GIRALDI, G. A.; MARQUEZINO, F. L.;LAVOR, C.. Modelo de caminhadas quânticas escalonado. 2017. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Rafael Ghussn Cano

SOUZA, C. C.; WAKABAYASHI, Y.; CAMPÊLO, M.; MIYAZAWA, F.;LAVOR, C.. Combinatorial optimization problems in cartographic data visualization. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: João Benício de Melo Neto

MACULAN, N.; OLIVEIRA, P. R.; XAVIER, A. E.; CRUZ NETO, J. X.;LAVOR, C.. Métodos de programação max-linear em otimização. 2015. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Fernando Vasconcelos Mendes

Ramos, R. V.; SILVA, J. B. R.; NASCIMENTO, J. C.;PORTUGAL, R.LAVOR, C.. Teleportação de portas quânticas, entrelaçadores universais e conexões com a teoria dos números. 2015. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Beatriz Malajovich

ABREU, N. M. M.; MARKENZON, L.;LAVOR, C.; WAGA, C. F. E. M.; JUSTEL, C. M.; FREITAS, M. A. A.. 4-ciclos e o quinto coeficiente característico de algumas subfamílias de grafos cordais. 2015. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

Aluno: Pedro Carlos da Silva Lara

PORTUGAL, R.; GIRALDI, G. A.;LAVOR, C.; MARQUEZINO, F. L.. Otimização de funções contínuas usando algoritmos quânticos. 2015. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Rodrigo SIlva Lima

MARTINEZ, J. M.;LAVOR, C.; SANTOS, S. A.;MACULAN, N.; FRANCISCO, J. B.. Reconstrução e classificação de estruturas espaciais via otimização contínua. 2012. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Eduardo Rogerio Favaro

ANDRADE, A. A.; BRACCIALI, C. F.;PALAZZO JR., R.; COSTA, S. I. R.;LAVOR, C.. Corpos de condutor potência de primo, anéis de inteiros, reticulados e mínimo euclidiano. 2012. Tese (Doutorado em MATEMÁTICA) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Nolmar Melo de Souza

LAVOR, C.; COSTA, S. I. R.; MOSNA, R. A.;PORTUGAL, R.MACULAN, N.. Uma álgebra de Clifford de assinatura (n,3n) e os operadores densidade da teoria da informação quântica. 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Paulo Sergio da Silva Gouveia

FRIEDLANDER, A.;LAVOR, C.; SANTOS, L. T.; BISCH, P. M.;MACULAN, N.. Resolução do problema de alinhamento estrutural entre proteínas via técnicas de otimização global. 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Valéria Saldanha Motta

MACULAN, N.CARVALHO, L. M.XAVIER, A. E.LAVOR, C.OCHI, L. S.; FAMPA, M. H. C.. Solução de sistemas lineares de grande porte com múltiplos lados direitos. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Michael Ferreira de Souza

MACULAN, N.LAVOR, C.XAVIER, A. E.PROTTI, F.; OLIVEIRA, A. R. L.; FAMPA, M. H. C.. Suavização hiperbólica aplicada à otimização de geometria molecular. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Michele da Silva Sousa

MACULAN, N.; BRITO, J. A. M.;XAVIER, A. E.; OLIVEIRA, P. R.;LAVOR, C.; MONTENEGRO, F.. Algoritmos de otimização para o problema de planejamento de redes celulares de terceira geração. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Jair da Silva

OLIVEIRA, A. R. L.; FAMPA, M. H. C.;LAVOR, C.; CARVALHO, M. F. H.; MORETTI, A. C.. Uma família de algoritmos para programação linear baseada no algoritmo de Von Neumann. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Tatiane da Silva Evangelista

LAVOR, C.; OLIVEIRA, A. R. L.;MACULAN, N.; FAMPA, M. H. C.;PORTUGAL, R.. Discriminação de estados quânticos via programação semidefinida. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Weber Figueiredo da Silva

PETRAGLIA, A.LAVOR, C.; GOMES, J. G. R. C.;MACULAN, N.; MOSNA, R. A.. Estruturas atômicas com álgebra geométrica. 2009. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: José Cláudio do Nascimento

Ramos, R. V.; ASSIS, F. M.;LAVOR, C.; SOUSA, P. B. M.; SILVA, J. B. R.; VASCONCELOS, H. M.. Protocolos quânticos para sistemas de prova de conhecimento nulo. 2009. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Fredson Braz Matos dos Santos

MACEDO, A. M. S.; ASSIS, F. M.;LAVOR, C.. Padrões de emaranhamento e efeitos de topologia em aglomerados de spin quânticos. 2009. Tese (Doutorado em Pós-graduação em Física) - Universidade Federal de Pernambuco.

Aluno: Carlos Magno Martins Cosme

PORTUGAL, R.; VIEIRA, P. C. M.; GIRALDI, G. A.;LAVOR, C.; LEAL, G. A. R.. Algoritmos quânticos para o problema do subgrupo oculto não abeliano. 2008. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Rex Antonio da Costa Medeiros

FREIRE, R. C. S.; MAIA JUNIOR, B.;LAVOR, C.; ROCHA, V. C.; ASSIS, F. M.. Zero-error capacity of quantum channels. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Paulo Benicio Melo de Sousa

R. V. Ramos; G. A. Barreto; COSTA FILHO, J. T.; G. C. Barroso; G. V. R. Viana;LAVOR, C.; A. C. R. Costa. Computação quântica: circuitos, jogos e aplicações. 2008. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Sissy da Silva Souza

OLIVEIRA, P. R.; J. M. Martínez; FAMPA, M. H. C.;LAVOR, C.; CRUZ NETO, J. X.. 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. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Amanda Castro Oliveira

PORTUGAL, R.; DONANGELO, R. J.; FRAGOSO, M. D.; DARDENNE, L.;LAVOR, C.; ABAL, G.. Simulação de caminhos quânticos em redes bidimensionais. 2007. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Marco Antônio Botelho Soares

BRITO, G. A.; MUSCARÁ, M. N.; MOREIRA, M. M. S. M.; VALE, M. L.;LAVOR, C.. Estudo do efeito do gel de alecrim pimenta e aroeira e seus princípios ativos isolados na doença periodontal experimental. 2007. Tese (Doutorado em Ciências Médicas) - Universidade Federal do Ceará.

Aluno: Sérgio Assunção Monteiro

OLIVEIRA, P. R.; FAMPA, M. H. C.; ABREU, N. M. M.; CAMPÊLO, M.;LAVOR, C.. Duas barreiras para programação semidefinida. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Lúcia de Souza

FAMPA, M. H. C.;XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F. M. P.;LAVOR, C.; BRITO, J. A. M.;MACULAN, N.. Um algoritmo utilizando programação semidefinida para o problema de dois níveis linear. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Wilson Ricardo de Matos Rabelo

MONKEN, C. H.; SANTOS, M. F.; PADUA, S.;LAVOR, C.; DAVIDOVICH, L.. Algoritmos para a informação quântica: discriminação de estados quânticos e modelo híbrido. 2006. Tese (Doutorado em Física) - Universidade Federal de Minas Gerais.

Aluno: Jair Cunha Filho

SANTOS, J. P. O.; MONDEK, P.; BARBOSA, R. M.; COSTA, S. I. R.;LAVOR, C.. Variações dos diagramas de Ferrers, partições planas e funções geradoras. 2006. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Luis Antonio Brasil Kowada

FIGUEIREDO, C. M. H.PORTUGAL, R.; BARBOSA, V. C.; DONANGELO, R. J.;LAVOR, C.CARVALHO, L. M.. Construção de algoritmos reversíveis e quânticos. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Denise Candal Reis Fernandes

FAMPA, M. H. C.;XAVIER, A. E.; OLIVEIRA, P. R.;RAUPP, F.; GRANVILLE, S.;LAVOR, C.. Estratégia ótima de oferta em mercados competitivos de energia. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: José André de Moura Brito

XAVIER, A. E.MACULAN, N.; LUNA, H. P. L.; SILVA, L. C.; DINIZ, P. S. R.; JARDIM, M. H. C.;LAVOR, C.. Suavização hiperbólica aplicada ao problema de localização de estações de rádio base. 2004. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Antonio Carlos Aido de Almeida

PALAZZO JR., R.; ALMEIDA, C.; UCHOA FILHO, B. F.; LEITE, J. R. R.;LAVOR, C.; PORTUGHEIS, J.. Códigos convolucionais quânticos concatenados. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

FEDERSON, M.; KOCHLOUKOV, P. E.;LAVOR, C.; NOBRE, S. R.; OLIVEIRA, C. R.. Professor Titular. 2024. Universidade Estadual Paulista.

LAVOR, C.. Promoção para Prof. Titular. 2022. Ecole Polytechnique de Montreal.

MACULAN, N.; FRANÇA, F. M. G.; SALES, C. L.;LAVOR, C.. Professor Titular. 2022. Universidade Federal do Ceará.

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

MANGIAVACCHI, N.;MACULAN, N.OCHI, L. S.; MOURA, C. A.;LAVOR, C.. Professor Titular. 2019. Universidade do Estado do Rio de Janeiro.

REGIANI, A. M.; ALMEIDA, M. P.; VELASQUEZ, J. A.; SILVA JR., C. A.;LAVOR, C.. Professor Titular. 2019. Universidade Federal de Santa Catarina.

BORTOLI, A. L.; MIYAGAKI, O.; BOURCHTEIN, A.;LAVOR, C.. Professor Titular. 2018. Universidade Federal do Rio Grande do Sul.

BARCELOS, C. A. Z.; SILVA NETO, A. J.; SILVA, G. N.; MACAU, E. E. N.;LAVOR, C.. Professor Titular. 2017. Universidade Federal de Uberlândia.

COUTINHO, S. C.;OCHI, L. S.; SOUZA, C. C.; MULLER, F. M.;LAVOR, C.. Professor Titular. 2017. Universidade Federal do Rio de Janeiro.

MOURA, C. A.; SZWARCFITER, J. L.; MIGON, H. S.; MIYAGAKI, O. H.;LAVOR, C.. Professor Titular. 2016. Universidade Federal Fluminense.

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

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

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

MOURA, C. A.; TOLEDO, R. C. P. L.;LAVOR, C.. Professor Adjunto. 2015. Universidade do Estado do Rio de Janeiro.

VENDITE, L.; MAIA JUNIOR, A.; BASSANEZI, R. C.; TREVISAN, V.;LAVOR, C.. Professor Doutor. 2012. Universidade Estadual de Campinas.

KLEIN, S.; ZIVIANI, N.;OCHI, L. S.LAVOR, C.; MARKENZON, L.. Professor Adjunto. 2009. Universidade Federal do Rio de Janeiro.

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

LAVOR, C.. Eleito Representante dos Professores Titulares na Congregação do IMECC. 2024. Universidade Estadual de Campinas.

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

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

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

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

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

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

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

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

Orientou

Fausto Marques Pinheiro Junior

Métodos Estatísticos em Geometria de Distâncias; Início: 2023; Dissertação (Mestrado profissional em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Andrês Rodrigues Oliveira

Geometria de Distâncias e o Alpha Fold; Início: 2023; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

João Alexandre Matta de Souza

Geometria Hiperbólica e Estrutura 3D de Proteínas; Início: 2024; Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Cássio Antonio Giatti

O Modelo Conforme em Geometria Molecular; Início: 2024; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Alysson Matos de Souza

Álgebra Geométrica em Dinâmica Molecular; Início: 2023; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Emerson Dutra

Geometria de Distâncias na Esfera; Início: 2022; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas; (Orientador);

Gabriel de Freitas Pinheiro

Teoria Espectral de Grafos e Geometria de Distâncias; Início: 2022; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Leandro Rocha

Simetrias em Geometria de Distâncias; Início: 2022; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas; (Orientador);

Rômulo da Silva Marques

Novas Ordens para o Problema do Loop Fechado; Início: 2021; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Laurindo Daniel Silva da Rocha

Coordenadas Conformes em Microscopia Eletrônica; Início: 2020; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas; (Orientador);

Sofia Machado Menezes

Modelos Euclidiano, Homogêneo e Conforme para o Espaço 3D; Início: 2024; Iniciação científica (Graduando em Matemática Aplicada e Computacional) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

GABRIEL PINESCHI BRAUN

New Methods for Determination of the 3D Structure of Proteins and Nanoparticles; 2024; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Carlile Campos Lavor;

Elizabeth Alejandra Ortiz Durán

Implementación del álgebra geométrica conforme en mathematica y su aplicación al problema de la geometria de distancias; 2023; Dissertação (Mestrado em Posgrado en Ciencias Matemáticas) - Universidad Nacional Autónoma de Mexico, ; Coorientador: Carlile Campos Lavor;

Alysson Matos de Souza

Álgebra Geométrica Conforme aplicada à atualização de estruturas 3D de proteínas; 2022; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Thiago Camargo Choquetta

Álgebra de Clifford aplicada à Geometria de Distâncias Moleculares; 2021; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Rômulo da Silva Marques

Um algoritmo polinomial para a ordenação de vértices em grafos de proteínas; 2020; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Cássio Antonio Giatti

Isometrias no R?3: modelos euclidiano e homogêneo; 2020; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Rodrigo Labiak

Simetrias em Geometria de Distâncias; 2017; Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlile Campos Lavor;

Ana Flávia Lima

Grafos rígidos e aplicações; 2015; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Douglas Silva Maioli

Estabilidade de sistemas lineares em problemas de geometria molecular; 2013; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, ; Coorientador: Carlile Campos Lavor;

Felipe Delfini Caetano Fidalgo

Algoritmos para problemas de geometria molecular; 2011; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Pedro Costa Nucci

Métodos computacionais para determinação da cadeia principal de proteínas baseados no problema molecular de geometria de distância; 2010; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Silas Sallaume

Cálculo de estruturas protéicas através da resolução do problema discreto de geometria das distâncias em moléculas; 2009; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Carlile Campos Lavor;

Warley Gramacho da Silva

Algoritmos para o cálculo de estruturas de proteínas; 2008; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Marcos Roberto da Silva Gonçalves

Métodos computacionais para determinação de pontos de intersecção de n esferas no R^n; 2008; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Campinas, ; Orientador: Carlile Campos Lavor;

Rafael Santos de Oliveira Alves

Álgebra geométrica e o algoritmo de Grover; 2008; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, ; Orientador: Carlile Campos Lavor;

Michael Ferreira de Souza

Uma nova metodologia para o cálculo da informação acessível; 2007; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Carlile Campos Lavor;

Leandro Bezerra de Lima

Aplicações de álgebra linear em ruídos quânticos; 2007; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Campinas, ; Orientador: Carlile Campos Lavor;

Ricardo dos Santos Carvalho

Extensão do algoritmo de construção geométrica para a determinação de estruturas moleculares; 2005; Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Wagner Alan Aparecido da Rocha

Ordenação em vértices de grafos de proteínas; 2022; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

VINÍCIUS RITER DE FARIA

Álgebra Geométrica e Matrizes de Distâncias; 2022; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Ana Flávia da Cunha Lima

Geometria de Distâncias e o Cálculo de Estruturas de Proteínas usando dados de RMN; 2021; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Jesus Marcos Camargo

Geometria de proteínas no espaço conforme; 2021; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Rodrigo Labiak

Geometria de Distâncias e o Problema do Loop Fechado; 2021; Tese (Doutorado em Doutorado em Matemática) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

[Nome removido após solicitação do usuário]

Interseção de Esferas e Ágebra Geométrica; 2019; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Nilson José Monteiro Moreira

Completamento de matrizes de posto reduzido: teoria, algoritmos e aplicações; 2018; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlile Campos Lavor;

Jose Vicente Cipriano de Souza

Álgebra geométrica conforme em geometria de distâncias com incertezas; 2017; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, ; Orientador: Carlile Campos Lavor;

Douglas Silva Maioli

Interseção de esferas no R?n e aplicações; 2017; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Ana Camila Rodrigues Alonso

Algoritmo branch and prune para escalonamento multidimensional; 2016; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Carlile Campos Lavor;

Felipe Delfini Caetano Fidalgo

Dividindo e conquistando com simetrias em geometria de distâncias; 2015; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Jorge Ferreira Alencar Lima

Geometria de distâncias euclidianas e aplicações; 2015; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Valter Soares de Camargo

Álgebra geométrica conforme e geometria de distâncias; 2015; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, ; Orientador: Carlile Campos Lavor;

Germano Abud de Rezende

Explorando a dualidade em geometria de distâncias; 2014; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlile Campos Lavor;

Bruno Dias Amaro

A soma dos maiores autovalores da matriz laplaciana sem sinal em famílias de grafos; 2014; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Rafael Santos de Oliveira Alves

Álgebra de Clifford aplicada ao cálculo de estruturas de moleculares; 2013; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Warley Gramacho da Silva

Algoritmos sequenciais e paralelos para problemas de geometria molecular; 2013; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Carlile Campos Lavor;

Douglas Soares Gonçalves

Métodos matemáticos em tomografia de estados quânticos; 2013; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Carlile Campos Lavor;

Ivan da Silva Sendin

Tratamento de incertezas no cálculo de estruturas de proteínas; 2012; Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlile Campos Lavor;

Nolmar Melo de Souza

Uma álgebra de Clifford de assinatura (n,3n) e os operadores densidade da teoria da informação quântica; 2011; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Carlile Campos Lavor;

Michael Ferreira de Souza

Suavização hiperbólica aplicada à otimização de geometria molecular; 2010; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Tatiane da Silva Evangelista

Discriminação de estados quânticos via programação semidefinida; 2009; Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Carlile Campos Lavor;

Weber Figueiredo da Silva

Estruturas atômicas com álgebra geométrica; 2009; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, ; Orientador: Carlile Campos Lavor;

Wanessa Carla Gazzoni

Caracterização de estados emaranhados; 2008; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlile Campos Lavor;

Giuliano Gadioli La Guardia

Códigos clássicos e quânticos; 2008; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlile Campos Lavor;

Andrés David Báez-Sánchez

2020; Universidade Estadual de Campinas, ; Carlile Campos Lavor;

Leandro Augusto Frata Fernandes (Lic

Sabática - UFF); 2018; Universidade Estadual de Campinas, ; Carlile Campos Lavor;

Luiz Mariano Paes de Carvalho Filho (Lic

Sabática - UERJ); 2018; Universidade Estadual de Campinas, ; Carlile Campos Lavor;

Michael Ferreira de Souza

2017; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Carlile Campos Lavor;

Warley Gramacho da Silva

2016; Université de Rennes I, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Carlile Campos Lavor;

Tiago Mendonça da Costa

2016; Universidade do Colorado - Denver, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Carlile Campos Lavor;

Rafael Santos de Oliveira Alves (Bolsa PNPD)

2015; Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Carlile Campos Lavor;

Rafael Santos de Oliveira Alves (Bolsa PRODOC)

2014; Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Carlile Campos Lavor;

Douglas Soares Gonçalves

2014; Université de Rennes I, Université de Rennes 1; Carlile Campos Lavor;

Michael Ferreira de Souza

2011; Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Carlile Campos Lavor;

Antonio Mucherino

2009; Ecole Polytechnique, Ecole Polytechnique - Paris; Carlile Campos Lavor;

Andrês Rodrigues Oliveira

Geometria de Distâncias e Aplicações; 2018; Iniciação Científica; (Graduando em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Guilherme Bighetti Platzeck

Uma abordagem combinatória para problemas de otimização de geometria molecular; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Fernando Nakatani de Oliveira Lopes

Algoritmos para o cálculo de estrutura de proteínas; 2011; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Thársis Tuani Pinto Souza

Algoritmos para cálculo de conformação molecular; 2009; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Thiago Resek Fabri dos Anjos

Aritmética intervalar aplicada a problemas de conformação molecular; 2009; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Rodrigo Shizuo Yasuda

Implementação de algoritmos para cálculo de estruturas moleculares; 2009; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Thiago Resek Fabri dos Anjos

Cálculo da capacidade de canais quânticos; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Carlile Campos Lavor;

Thársis Tuani Pinto Souza

Cálculo de geometria molecular; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Carlile Campos Lavor;

Pedro Costa Nucci

Determinação da estrutura tridimensional de moléculas utilizando técnicas de otimização; 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlile Campos Lavor;

Murilo Marcelino da Silva

O problema geométrico das distâncias moleculares; 2005; Iniciação Científica; (Graduando em Bacharelado em Matemática) - Universidade do Estado do Rio de Janeiro, Universidade do Estado do Rio de Janeiro; Orientador: Carlile Campos Lavor;

Michael Ferreira de Souza

Otimização global e computação quântica; 2004; Iniciação Científica; (Graduando em Bacharelado em Matemática) - Universidade do Estado do Rio de Janeiro, Universidade do Estado do Rio de Janeiro; Orientador: Carlile Campos Lavor;

Produções bibliográficas

  • ABUD, G. ; ALENCAR, J. ; LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . An impossible combinatorial counting method in distance geometry. DISCRETE APPLIED MATHEMATICS , v. 354, p. 83-93, 2024.

  • SOUZA, M. F. ; MAIA, N. ; MARQUES, R. ; LAVOR, C. . A branch-and-bound algorithm for the molecular ordered covering problem. JOURNAL OF COMPUTATIONAL BIOLOGY , v. 31, p. 1-11, 2024.

  • 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 , v. 41, p. 11-16, 2024.

  • HITZER, E. ; LAVOR, C. ; HILDENBRAND, D. . Current survey of Clifford geometric algebra applications. MATHEMATICAL METHODS IN THE APPLIED SCIENCES , v. 47, p. 1331-1361, 2024.

  • LIBERTI, L. ; IOMMAZZO, G. ; LAVOR, C. ; MACULAN, N. . Cycle-based formulations in distance geometry. Open Journal of Mathematical Optimization , v. 4, p. 1-16, 2023.

  • 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) , v. 22, p. 328-350, 2023.

  • DUXBURY, P. M. ; LAVOR, C. ; LIBERTI, L. ; SALLES NETO, L. L. . Unassigned distance geometry and molecular conformation problems. JOURNAL OF GLOBAL OPTIMIZATION , v. 83, p. 73-82, 2022.

  • 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 , v. 187, p. 115993-115998, 2022.

  • R. Alves ; HILDENBRAND, D. ; HRDINA, J. ; LAVOR, C. . An online calculator for quantum computing operations based on geometric algebra. Advances in Applied Clifford Algebras , v. 32, p. 1-12, 2022.

  • LABIAK, R. ; LAVOR, C. ; SOUZA, M. F. . Distance geometry and protein loop modeling. Journal of Computational Chemistry (Online) , v. 43, p. 349-358, 2022.

  • LAVOR, C. ; MARQUEZINO, F. ; OLIVEIRA, A. ; PORTUGAL, R. . A quantum approach to the discretizable molecular distance geometry problem. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) , v. 21, p. 239-258, 2022.

  • 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 , v. 389, p. 125586-125597, 2021.

  • SALLES NETO, L. L. ; LAVOR, C. ; LODWICK, W. . A note on the Cayley-Menger determinant and the molecular distance geometry problem. INFORMATION SCIENCES , v. 559, p. 1-7, 2021.

  • LAVOR, C. ; SOUZA, M. F. ; ARAGON, J. L. . Orthogonality of isometries in the conformal model of the 3D space. GRAPHICAL MODELS , v. 114, p. 101100-101106, 2021.

  • LAVOR, C. ; OLIVEIRA, A. ; ROCHA, W. ; SOUZA, M. J . On the optimality of finding DMDGP symmetries. COMPUTATIONAL & APPLIED MATHEMATICS , v. 40, p. 98-107, 2021.

  • 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 , v. 83, p. 2400-2426, 2021.

  • DUXBURY, P. M. ; LAVOR, C. ; SALLES NETO, L. L. . A conjecture on a continuous optimization model for the golomb ruler problem. RAIRO-OPERATIONS RESEARCH , v. 55, p. 2241-2246, 2021.

  • SALLES NETO, L. L. ; LAVOR, C. ; LODWICK, W. . A constrained interval approach to the generalized distance geometry problem. Optimization Letters , v. 14, p. 483-492, 2020.

  • ABUD, G. ; ALENCAR, J. ; LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . The k-discretization and k-incident graphs for discretizable distance geometry. Optimization Letters , v. 14, p. 469-482, 2020.

  • 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 , v. 592, p. 287-305, 2020.

  • LAVOR, C. . Comments on Distance Geometry and Data Science. Top , v. 28, p. 340-345, 2020.

  • LAVOR, C. ; R. Alves ; SOUZA, M. F. ; ARAGON, J. L. . NMR protein structure calculation and sphere intersections. Computational and Mathematical Biophysics , v. 8, p. 89-101, 2020.

  • ALENCAR, J. ; LAVOR, C. ; LIBERTI, L. . Realizing Euclidean distance matrices by sphere intersection. DISCRETE APPLIED MATHEMATICS , v. 256, p. 5-10, 2019.

  • LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . Amathematical programming formulation for the Hartree - Fock problem on open-shell systems. Optimization Letters , v. 13, p. 429-437, 2019.

  • 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 , v. 256, p. 91-104, 2019.

  • LAVOR, C. ; ALVES, R. . Oriented conformal geometric algebra and the molecular distance geometry problem. Advances in Applied Clifford Algebras , v. 29, p. 1-15, 2019.

  • LAVOR, C. ; SOUZA, M. F. ; CARVALHO, L. M. ; LIBERTI, L. . On the polynomiality of finding DMDGP re-orders. DISCRETE APPLIED MATHEMATICS , v. 267, p. 190-194, 2019.

  • 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) , v. 59, p. 4486-4503, 2019.

  • ALVES, R. ; LAVOR, C. ; SOUZA, C. ; SOUZA, M. F. . Clifford algebra and discretizable distance geometry. MATHEMATICAL METHODS IN THE APPLIED SCIENCES , v. 41, p. 3999-4346, 2018.

  • GONCALVES, D. S. ; AZEVEDO, C. L. N. ; LAVOR, C. ; GOMES-RUGGIERO, M. A. . Bayesian inference for quantum state tomography. JOURNAL OF APPLIED STATISTICS , v. 45, p. 1846-1871, 2018.

  • 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 , v. 71, p. 717-733, 2018.

  • 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 , v. 72, p. 109-127, 2018.

  • 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 , v. 37, p. 4989-4999, 2018.

  • 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 , v. 72, p. 55-70, 2018.

  • 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 OPERATIONS RESEARCH , v. 271, p. 161-203, 2018.

  • 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 , v. 24, p. 1023-1040, 2017.

  • ALVES, R. ; LAVOR, C. . Geometric algebra to model uncertainties in the discretizable molecular distance geometry problem. Advances in Applied Clifford Algebras , v. 27, p. 439-452, 2017.

  • 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 , v. 57, p. 371-418, 2017.

  • GONCALVES, D. S. ; MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . Recent advances on the interval distance geometry problem. JOURNAL OF GLOBAL OPTIMIZATION , v. 69, p. 525-545, 2017.

  • 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 , v. 415, p. 41-52, 2017.

  • MAIOLI, D. S. ; LAVOR, C. ; GONCALVES, D. S. . A note on computing the intersection of spheres in Rn. ANZIAM JOURNAL , v. 59, p. 271-279, 2017.

  • LIBERTI, L. ; LAVOR, C. . Six mathematical gems from the history of distance geometry. International Transactions in Operational Research , v. 23, p. 897-920, 2016.

  • GONCALVES, D. S. ; GOMES-RUGGIERO, M. A. ; LAVOR, C. . A projected gradient method for optimization over density matrices. Optimization Methods & Software (Print) , v. 31, p. 328-341, 2016.

  • 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 , v. 14, p. 337-376, 2016.

  • 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 , v. 54, p. 175-180, 2016.

  • CASSIOLI, A. ; GUNLUK, O. ; LAVOR, C. ; LIBERTI, L. . Discretization vertex orders in distance geometry. Discrete Applied Mathematics , v. 197, p. 27-41, 2015.

  • LAVOR, C. ; ALVES, R. ; FIGUEIREDO, W. ; PETRAGLIA, A. ; MACULAN, N. . Clifford Algebra and the discretizable molecular distance geometry problem. Advances in Applied Clifford Algebras , v. 25, p. 925-942, 2015.

  • 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 , v. 16, p. 1-15, 2015.

  • ALENCAR, JORGE ; BONATES, TIBÉRIUS ; LAVOR, CARLILE ; Liberti, Leo . An algorithm for realizing Euclidean distance matrices. Electronic Notes in Discrete Mathematics , v. 50, p. 397-402, 2015.

  • 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 , v. 165, p. 213-232, 2014.

  • LIBERTI, L. ; LAVOR, C. ; MACULAN, N. ; MUCHERINO, A. . Euclidean distance geometry and applications. SIAM Review (Print) , v. 56, p. 3-69, 2014.

  • LARA, P. ; PORTUGAL, R. ; LAVOR, C. . A new hybrid classical-quantum algorithm for continuous global optimization problems. Journal of Global Optimization , v. 60, p. 317-331, 2014.

  • 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 , v. 8360, p. 130-155, 2014.

  • COSTA, V. ; MUCHERINO, A. ; LAVOR, C. ; CASSIOLI, A. ; CARVALHO, L. M. ; MACULAN, N. . Discretization orders for protein side chains. Journal of Global Optimization , v. 60, p. 333-349, 2014.

  • GONCALVES, D. S. ; GOMES-RUGGIERO, M. A. ; LAVOR, C. . Global convergence of diluted iterations in maximum-likelihood quantum tomography. Quantum Information & Computation , v. 14, p. 966-980, 2014.

  • 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) , v. 9, p. 261-270, 2013.

  • LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . The interval BP algorithm for the discretizable molecular distance geometry problem with interval data. Journal of Global Optimization , v. 56, p. 855-871, 2013.

  • MELO, N. ; LAVOR, C. . A Clifford algebra of signature (n,3n) and the density operators of quantum information theory. Advances in Applied Clifford Algebras , v. 23, p. 143-152, 2013.

  • SOUZA, M. F. ; LAVOR, C. ; MURITIBA, A. ; MACULAN, N. . Solving the molecular distance geometry problem with inaccurate distance data. BMC Bioinformatics , v. 14, p. S71-S76, 2013.

  • GONCALVES, D. S. ; LAVOR, C. ; GOMES-RUGGIERO, M. A. ; CESARIO, A. T. ; VIANNA, R. O. ; MACIEL, T. O. . Quantum state tomography with incomplete data: maximum entropy and variational quantum tomography. Physical Review. A , v. 87, p. 052140-1-052140-6, 2013.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; MUCHERINO, A. . Recent advances on the discretizable molecular distance geometry problem. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH , v. 219, p. 698-706, 2012.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . Exploiting symmetry properties of the discretizable molecular distance geometry problem. Journal of Bioinformatics and Computational Biology (Print) , v. 10, p. 124200901-124200915, 2012.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; MUCHERINO, A. . The discretizable molecular distance geometry problem. Computational Optimization and Applications (Dordrecht. Online) , v. 52, p. 115-146, 2012.

  • LAVOR, C. ; LEE, J. ; JOHN, A. L. ; LIBERTI, L. ; MUCHERINO, A. ; SVIRIDENKO, M. . Discretization orders for distance geometry problems. Optimization Letters (Print) , v. 6, p. 783-796, 2012.

  • 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 , v. 12, p. 0775-0790, 2012.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . The discretizable distance geometry problem. Optimization Letters (Print) , v. 6, p. 1671-1686, 2012.

  • 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 , v. 22, p. 1-11, 2011.

  • LAVOR, C. ; MUCHERINO, A. ; LIBERTI, L. ; MACULAN, N. . On the computation of protein backbones by using artificial backbones of hydrogens. Journal of Global Optimization , v. 50, p. 329-344, 2011.

  • SOUZA, M. F. ; XAVIER, A. E. ; LAVOR, C. ; MACULAN, N. . Hyperbolic smoothing and penalty techniques applied to molecular structure determination. Operations Research Letters , v. 39, p. 461-465, 2011.

  • LAVOR, C. ; MUCHERINO, A. ; LIBERTI, L. ; MACULAN, N. . Discrete approaches for solving molecular distance geometry problems using NMR data. International Journal of Computational Bioscience , v. 1, p. 88-94, 2010.

  • ALVES, R. ; LAVOR, C. . Clifford algebra applied to Grover's algorithm. Advances in Applied Clifford Algebras , v. 20, p. 477-488, 2010.

  • LA GUARDIA, G. ; PALAZZO JR., R. ; LAVOR, C. . Nonbinary quantum Reed-Solomon codes. International Journal of Pure and Applied Mathematics , v. 65, p. 55-64, 2010.

  • LIBERTI, L. ; LAVOR, C. ; MUCHERINO, A. ; MACULAN, N. . Molecular distance geometry methods: from continuous to discrete. International Transactions in Operational Research , v. 18, p. 33-51, 2010.

  • LIBERTI, L. ; LAVOR, C. ; MACULAN, N. ; NASCIMENTO, M. A. C. . Reformulation in mathematical programming: an application to quantum chemistry. Discrete Applied Mathematics , v. 157, p. 1309-1318, 2009.

  • 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) , v. 27, p. 3505-3512, 2009.

  • LIBERTI, L. ; LAVOR, C. ; MACULAN, N. ; MARINELLI, F. . Double variable neighbourhood search with smoothing for the molecular distance geometry problem. Journal of Global Optimization , v. 43, p. 207-218, 2009.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . On the definition of artificial backbones for the discretizable molecular distance geometry problem. Mathematica Balkanica (Sofiâ) , v. 23, p. 289-302, 2009.

  • 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 , v. 185, p. 1265-1273, 2008.

  • LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . A branch-and-prune algorithm for the molecular distance geometry problem. International Transactions in Operational Research , v. 15, p. 1-17, 2008.

  • 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 , v. 6, p. 427-436, 2008.

  • CARVALHO, R. S. ; LAVOR, C. ; PROTTI, F. . Extending the geometric build-up algorithm for the molecular distance geometry problem. Information Processing Letters , v. 108, p. 234-237, 2008.

  • LAVOR, C. . Analytic evaluation of the gradient and Hessian of molecular potential energy functions. Physica. D, Nonlinear phenomena (Print) , v. 227, p. 135-141, 2007.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; NASCIMENTO, M. A. C. . Solving Hartree-Fock systems with global optimization methods. Europhysics Letters (Print) , v. 77, p. 50006p1-50006p5, 2007.

  • LAVOR, C. ; CARVALHO, L. M. ; PORTUGAL, R. ; MOURA, C. A. . Complexity of Grover´s algorithm: an algebraic approach. International Journal of Applied Mathematics , v. 20, p. 801-814, 2007.

  • 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 , v. 103, p. 500-504, 2005.

  • BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . A GA-simplex hybrid algorithm for global minimization of molecular potential energy functions. Annals of Operations Research , v. 138, p. 189-202, 2005.

  • LAVOR, C. ; MACULAN, N. . A function to test methods applied to global minimization of potential energy of molecules. Numerical Algorithms , v. 35, p. 287-300, 2004.

  • C.B.P. de Souza ; L.M.B. de Melo ; G.P.B. Cabrera ; M. Palatnick ; LAVOR, C. . Improving methods for epidemiological control of canine visceral leishmaniasis based on a mathematical model. Impact on the incidence of the canine and human disease. Anais da Academia Brasileira de Ciências , v. 76, p. 583-593, 2004.

  • LAVOR, C. . A deterministic approach for global minimization of molecular potential energy functions. International Journal of Quantum Chemistry , v. 95, p. 336-343, 2003.

  • FERNANDES, L. A. F. ; LAVOR, C. ; OLIVEIRA NETO, M. M. . Álgebra Geométrica e Aplicações. 2a. ed. São Carlos: SBMAC, 2021.

  • MARQUEZINO, F. L. ; PORTUGAL, R. ; LAVOR, C. . A Primer on Quantum Computing. 1a. ed. New York: SpringerBriefs in Computer Science, 2019.

  • LAVOR, C. . Rigidez em Grafos de Proteínas. 1a. ed. Rio de Janeiro: 32o. Colóquio Brasileiro de Matemática (IMPA), 2019. 56p .

  • LAVOR, C. ; XAMBO-DESCAMPS, S. ; ZAPLANA, I. . A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry. 1a. ed. New York: SpringerBriefs in Mathematics, 2018.

  • LAVOR, C. ; GOMES, F. A. M. (Org.) . Advances in Mathematics and Applications. 1a. ed. New York: Springer, 2018.

  • LAVOR, C. ; LIBERTI, L. ; LODWICK, W. ; COSTA, T. M. . An Introduction to Distance Geometry applied to Molecular Geometry. 1a. ed. Berlin: SpringerBriefs in Computer Science, 2017.

  • LAVOR, C. ; MACULAN, N. ; SOUZA, M. F. ; ALVES, R. . Álgebra e Geometria no Cálculo de Estrutura Molecular. 1a. ed. Rio de Janeiro: 31o. Colóquio Brasileiro de Matemática (IMPA), 2017.

  • LIBERTI, L. ; LAVOR, C. . Euclidean Distance Geometry. 1a. ed. Berlin: Springer, 2017.

  • LAVOR, C. ; LIBERTI, L. . Um Convite à Geometria de Distâncias. 1a. ed. São Carlos: SBMAC, 2014.

  • MUCHERINO, A. (Org.) ; LAVOR, C. (Org.) ; LIBERTI, L. (Org.) ; MACULAN, N. (Org.) . Distance Geometry: Theory, Methods and Applications. 1a. ed. Berlin: Springer, 2013.

  • PORTUGAL, R. ; LAVOR, C. ; CARVALHO, L. M. ; MACULAN, N. . Uma Introdução à Computação Quântica. 2a. ed. São Carlos: SBMAC, 2012.

  • LAVOR, C. ; ALVES, M. M. S. ; SIQUEIRA, R. M. ; COSTA, S. I. R. . Uma Introdução à Teoria de Códigos. 1a. ed. São Carlos: SBMAC, 2006.

  • LIBERTI, L. ; IOMMAZZO, G. ; LAVOR, C. ; MACULAN, N. . A cycle-based formulation for the distance geometry problem. In: C. Gentile; G. Stecca; P. Ventura. (Org.). Graphs and Combinatorial Optimization: from Theory to Applications. 1a.ed.Heidelberg: Springer, 2021, v. , p. 93-106.

  • LAVOR, C. ; ALVES, R. . Recent advances on oriented conformal geometric algebra applied to molecular distance geometry. In: S. Xambó-Descamps. (Org.). Systems, Patterns and Data Engineering with Geometric Calculi. 1a.ed.Heidelberg: Springer, 2021, v. , p. 19-30.

  • LIBERTI, L. ; LAVOR, C. . Open research areas in distance geometry. In: P. Pardalos; A. Migdalas. (Org.). Open Problems in Optimization and Data Analysis. 1a.ed.New York: Springer, 2018, v. , p. 183-223.

  • GONCALVES, D. S. ; NICOLAS, J. ; MUCHERINO, A. ; LAVOR, C. . Finding optimal discretization orders for molecular distance geometry by answer set programming. In: S. Fidanova. (Org.). Recent Advances in Computational Optimization. 1ed.Suíca: Springer, 2016, v. 610, p. 1-15.

  • NUCCI, P. ; NOGUEIRA, L. T. ; LAVOR, C. . Solving the discretizable molecular distance geometry problem by multiple realization trees. In: A. Mucherino; C. Lavor; L. Liberti; N. Maculan. (Org.). Distance Geometry: Theory, Methods and Applications. 1ed.Berlin: Springer, 2013, v. , p. 157-172.

  • LIBERTI, L. ; LAVOR, C. ; MUCHERINO, A. . The discretizable molecular distance geometry problem seems easier on proteins. In: A. Mucherino; C. Lavor; L. Liberti; N. Maculan. (Org.). Distance Geometry: Theory, Methods and Applications. 1ed.Berlin: Springer, 2013, v. , p. 45-58.

  • LIBERTI, L. ; LAVOR, C. . On a relationship between graph realizability and distance matrix completion. In: A. Migdalas; A. Sifaleras; C. Georgiadis; J. Papathanasiou; E. Stiakakis. (Org.). Optimization Theory, Decision Making, and Operations Research Applications. 1ed.New York: Springer, 2013, v. 31, p. 39-48.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . On the discretization of distance geometry problems. In: M. Deza; M. Petitjean; K. Markov. (Org.). Mathematics of Distances and Applications. 1ed.Sofia: ITHEA, 2012, v. , p. 160-168.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Molecular distance geometry problem. In: C.A. Floudas; P.M. Pardalos. (Org.). Encyclopedia of Optimization (2nd edition). New York: Springer, 2009, v. , p. 2304-2311.

  • LAVOR, C. . On generating instances for the molecular distance geometry problem. In: L. Liberti; N. Maculan. (Org.). Global Optimization: from Theory to Implementation. 1aed.New York: Springer, 2006, v. 84, p. 405-414.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Computational experience with the molecular distance geometry problem. In: J. Pinter. (Org.). Global Optimization: Scientific and Engineering Case Studies. 1aed.New York: Springer, 2006, v. 85, p. 213-225.

  • GIRALDI, G. A. ; LAVOR, C. ; PORTUGAL, R. . A formal approach to quantum genetic algorithms. In: S. Shannon. (Org.). Trends in Quantum Computing Research. 1aed.Hauppauge: Nova Science Publishers, 2006, v. , p. 135-147.

  • LAVOR, C. ; MACULAN, N. . Reducing the cost of evaluation of the gradient and Hessian of molecular potential energy functions. In: C. A. Floudas; P. M. Pardalos. (Org.). Frontiers in Global Optimization. Dordrecht: Kluwer Academic Publishers, 2004, v. 74, p. 275-287.

  • BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . Computational experiments with an adaptive genetic algorithm for global minimization of potential energy functions. In: Christodoulos A. Floudas; Panos M. Pardalos. (Org.). Frontiers in Global Optimization. Dordrecht: Kluwer Academic Publishers, 2004, v. 74, p. 71-82.

  • RITER, V. ; ALVES, R. ; LAVOR, C. . Geometric algebra and distance matrices. In: Proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra (ICACGA), 2024, Denver. Lecture Notes in Computer Science. Berlin: Springer, 2024. v. 13771. p. 88-98.

  • HRDINA, J. ; HILDENBRAND, D. ; NAVRAT, A. ; STEINMETZ, C. ; ALVES, R. ; LAVOR, C. ; VASIK, P. ; ERYGANOV, I. . Quantum register algebra: the basic concepts. In: Proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra (ICACGA), 2024, Denver. Lecture Notes in Computer Science. Berlin: Springer, 2024. v. 13771. p. 112-122.

  • ROCHA, W. ; LAVOR, C. ; LIBERTI, L. ; MALLIAVIN, T. . Pseudo-dihedral angles in proteins providing a new description of the Ramachandran map. In: The 6th International Conference on Geometric Science of Information, 2023, Saint-Malo. Lecture Notes in Computer Science. Berlin: Springer, 2023. v. 14072. p. 511-519.

  • SOUZA, M. J. ; MAIA, N. ; LAVOR, C. . The ordered covering problem in distance geometry. In: The International Symposium on Bioinformatics Research and Applications (ISBRA), 2023, Wrocław. Lecture Notes in Bioinformatics. Berlin: Springer, 2023. v. 14248. p. 255-266.

  • HILDENBRAND, D. ; STEINMETZ, C. ; ALVES, R. ; HRDINA, J. ; LAVOR, C. . An online calculator for qubits based on geometric algebra. In: Computer Graphics International, 2020, Genebra. Proc. of the CGI 2020. Berlin: Lecture Notes in Computer Science, 2020. v. 12221. p. 526-537.

  • 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. In: Conference on Computer Science and Information Systems, 2020, Sofia. Proceedings of the IEEE FedCSIS20. Los Alamitos: IEEE Computer Society, 2020. v. 21. p. 289-294.

  • SOUZA, M. F. ; LAVOR, C. ; ALVES, R. . Modeling the molecular distance geometry problem using dihedral angles. In: International Symposium on Bioinformatics Research and Applications, 2017, Honolulu. Proceedings of the ISBRA 2017. Berlin: Lecture Notes in Bioinformatics, 2017. v. 10330. p. 270-278.

  • R. Alves ; SOUZA, C. ; LAVOR, C. . Advances on the geometric algebra approach to the discretizable molecular distance geometry problem (DMDGP). In: 33rd Computer Graphics International, 2016, Creta. Proceedings of the ACM CGI'16. New York: ACM, 2016. p. 85-88.

  • MUCHERINO, A. ; SILVA, W. G. ; LIN, J-H. ; LAVOR, C. . A new approach to the discretization of multidimensional scaling. In: Federated Conference on Computer Science and Information Systems, 2016, Gdańsk. Proceedings of the IEEE FedCSIS16. Los Alamitos: IEEE Computer Society, 2016. p. 591-599.

  • LIBERTI, L. ; SWIRSZCZ, G. ; LAVOR, C. . Distance geometry on the sphere. In: Japanese Conference on Discrete and Computational Geometry and Graphs, 2016, Kyoto. Proceedings of the JCDCGG 2015. Berlin: Lecture Notes in Computer Science, 2016. v. 9943. p. 204-215.

  • GONCALVES, D. S. ; MUCHERINO, A. ; LAVOR, C. . An adaptive branching scheme for the branch & prune algorithm applied to distance geometry. In: Conference on Computer Science and Information Systems, 2014, Warsaw. Proceedings of the IEEE FedCSIS14. Los Alamitos: IEEE Computer Society, 2014. p. 463-469.

  • ALENCAR, J. ; LAVOR, C. ; BONATES, T. O. . A combinatorial approach to multidimensional scaling. In: 3rd International Congress on Big Data, 2014, Anchorage. Proceedings of the IEEE BigData2014. Los Alamitos: IEEE Computer Society, 2014. p. 562-569.

  • LIBERTI, L. ; LAVOR, C. ; ALENCAR, J. ; REZENDE, G. . Counting the number of solutions of K_DMDGP instances. In: Geometric Science of Information, 2013, Paris. Proceedings of the GSI 2013. Berlin: Lecture Notes in Computer Science, 2013. v. 8085. p. 224-230.

  • GONCALVES, D. S. ; MUCHERINO, A. ; LAVOR, C. . Energy-based pruning devices for the BP algorithm for distance geometry. In: Federated Conference on Computer Science and Information Systems, 2013, Krakov. Proceedings of the IEEE FedCSIS13. Los Alamitos: IEEE Computer Society, 2013.

  • 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. In: Federated Conference on Computer Science and Information Systems, 2012, Wroclaw. Proceedings of the IEEE FedCSIS12. Los Alamitos: IEEE Computer Society, 2012.

  • SILVA, W. G. ; MUCHERINO, A. ; LAVOR, C. ; MACULAN, N. . A parallel BP algorithm for the discretizable distance geometry problem. In: 26th IEEE International Parallel and Distributed Processing Symposium, 2012, Shanghai. Proceedings of the IEEE IPDPS12. Los Alamitos: IEEE Computer Society, 2012. p. 1756-1762.

  • MUCHERINO, A. ; LAVOR, C. ; MALLIAVIN, T. ; LIBERTI, L. ; NILGES, M. ; MACULAN, N. . Influence of pruning devices on the solution of molecular distance geometry problems. In: 10th International Symposium on Experimental Algorithms, 2011, Kolimpari Chania. Proceedings of the 10th SEA. Heidelberg: Lecture Notes in Computer Science, 2011. v. 6630. p. 206-217.

  • LIBERTI, L. ; MASSON, B. ; LEE, J. ; LAVOR, C. ; MUCHERINO, A. . On the number of solutions of the discretizable molecular distance geometry problem. In: 5th Annual International Conference on Combinatorial Optimization and Applications, 2011, Zhangjiajie. Proceedings of the COCOA 2011. Heidelberg: Lecture Notes in Computer Science, 2011. v. 6831. p. 322-342.

  • LIBERTI, L. ; LAVOR, C. ; MUCHERINO, A. . An exponential algorithm for the discretizable molecular distance geometry problem is polynomial on proteins. In: 7th International Symposium on Bioinformatics Research and Applications, 2011, Changsha. Proceedings of the ISBRA 2011. Changsha: Central South University, 2011. p. 40-43.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . A symmetry-driven BP algorithm for the discretizable molecular distance geometry problem. In: IEEE International Conference on Bioinformatics and Biomedicine, 2011, Atlanta. Proceedings of the IEEE BIBM 2011. Los Alamitos: IEEE Computer Society, 2011. p. 390-395.

  • MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. ; TALBI, E. . A parallel version of the branch and prune algorithm for the molecular distance geometry problem. In: ACS/IEEE International Conference on Computer Systems and Applications, 2010, Hammamet. Proceedings of the IEEE AICCSA10. Los Alamitos: IEEE Computer Society, 2010. p. 1-6.

  • MUCHERINO, A. ; LIBERTI, L. ; LAVOR, C. . MD-jeep: an implementation of a branch and prune algorithm for distance geometry problems. In: Third International Congress on Mathematical Software, 2010, Kobe. Proceedings of the ICMS10. Kobe: Lecture Notes in Computer Science, 2010. v. 6327. p. 186-197.

  • LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . On the solution of molecular distance geometry problems with interval data. In: IEEE International Conference on Bioinformatics and Biomedicine, 2010, Hong Kong. Proceedings of the IEEE BIBM 2010. Los Alamitos: IEEE Computer Society, 2010. p. 77-82.

  • LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. ; MACULAN, N. . On a discretizable subclass of instances of the molecular distance geometry problem. In: 24th Annual ACM Symposium on Applied Computing, 2009, Honolulu. Proceedings of the ACM 24th SAC. Honolulu: University of Hawaii at Manoa, 2009.

  • MUQUERINO, A. ; LAVOR, C. ; MACULAN, N. . The molecular distance geometry problem applied to protein conformations. In: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009, Paris. Proceedings of the 8th CTW. Paris: Ecole Polytechnique (Paris), 2009. p. 337-340.

  • MUQUERINO, A. ; LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem. In: 11th Annual Conference on Genetic and Evolutionary Computation, 2009, Montreal. Proceedings of the 11th GECCO. New York: ACM, 2009. p. 333-340.

  • LAVOR, C. ; MUQUERINO, A. ; LIBERTI, L. ; MACULAN, N. . Computing artificial backbones of hydrogen atoms in order to discover protein backbones. In: International Multiconference on Computer Science and Information Technology, 2009, Mragowo. Proceedings of the IEEE IMCSIT09. Los Alamitos: IEEE Computer Society, 2009. p. 759-764.

  • MUQUERINO, A. ; LAVOR, C. . The branch and prune algorithm for the molecular distance geometry problem with inexact distances. In: International Conference on Bioinformatics and Biomedicine, 2009, Veneza. Proceedings of the ICBB09. Paris: World Academy of Science, Engineering and Technology, 2009. p. 349-353.

  • LAVOR, C. ; MUQUERINO, A. ; LIBERTI, L. ; MACULAN, N. . An artificial backbone of hydrogens for finding the conformation of protein molecules. In: IEEE International Conference on Bioinformatics and Biomedicine, 2009, Washington. Proceedings of the IEEE BIBM 2009. Los Alamitos: IEEE Computer Society, 2009. p. 152-155.

  • EVANGELISTA, T. S. ; LAVOR, C. . Semidefinite programming applied to quantum state discrimination. In: XIV Latin Ibero-American Congress on Operations Research, 2008, Cartagena de Indias. Proceedings of the XIV CLAIO. Cartagena de Indias: Universidad del Norte, 2008.

  • 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. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande: UFCG, 2007.

  • 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. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande: UFCG, 2007.

  • 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. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande: UFCG, 2007.

  • SOUZA, M. F. ; LAVOR, C. ; PORTUGAL, R. ; MACULAN, N. . Cálculo da informação acessível via branch-and-bound e aritmética intervalar. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande: UFCG, 2007.

  • KOWADA, L.A.B. ; FIGUEIREDO, C. M. H. ; PORTUGAL, R. ; LAVOR, C. . Aplicação do algoritmo de Grover para problemas NP-completos. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande: UFCG, 2007.

  • GAZZONI, W. C. ; LAVOR, C. ; PALAZZO JR., R. . Uma proposta de critério de separabilidade para estados quânticos com 3 q-bits. In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ. Pelotas: UCPel, 2006. p. 275-285.

  • SOUZA, M. F. ; LAVOR, C. ; PORTUGAL, R. . O problema do cálculo da informação acessível. In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ. Pelotas: Universidade Católica de Pelotas, 2006. p. 255-263.

  • LAVOR, C. . Um passeio pela teoria da informação (clássica e quântica). In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ. Pelotas: Universidade Católica de Pelotas, 2006. p. 53-66.

  • LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Grover algorithm applied to the molecular distance geometry problem. In: VII Brazilian Congress of Neural Networks, 2005, Natal. Proceedings of the VII CBRN. Natal: Universidade Federal do Rio Grande do Norte, 2005.

  • LAVOR, C. ; CARVALHO, L. M. ; MACULAN, N. . Evaluating the Hessian of potential energy functions with a quadratic complexity in terms of molecule size. In: XII Latin-Ibero-American Congress on Operations Research, 2004, Habana. Proceedings of the XII CLAIO. Habana: Universidad de la Habana, 2004.

  • LAVOR, C. ; PORTUGAL, R. ; CARVALHO, L. M. ; MACULAN, N. . Uma nova demonstração da complexidade do algoritmo de Grover. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais do XXXV SBPO, 2003. p. 2058-2067.

  • LAVOR, C. ; PORTUGAL, R. ; CARVALHO, L. M. ; MACULAN, N. . Um algoritmo quântico (baseado em ensembles) de complexidade O(logN) para um problema de busca em uma lista com N elementos. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais do XXXV SBPO, 2003. p. 2068-2077.

  • LAVOR, C. ; L.R.U. Manssur ; PORTUGAL, R. . Quantum computation and database search. In: Workshop de Grade Compuational e Aplicações, 2003, Petrópolis. Anais do Workshop de Grade Compuational e Aplicações, 2003. p. 117-133.

  • LAVOR, C. ; CARVALHO, L. M. ; MONTENEGRO, F. ; MACULAN, N. . A brief overview of computational complexity. In: First Meeting of the Quantum Information Institute, 2002, Belo Horizonte. Proceedings of the First Meeting of the Quantum Information Institute, 2002. p. 33-37.

  • BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . A hybrid genetic algorithm for global minimization of molecular potential energy functions. In: XI Latin-Ibero-American Congress on Operations Research, 2002, Concepción. Proceedings of the XI CLAIO. Concepción: Universidad de Concepción, 2002.

  • LAVOR, C. ; MACULAN, N. . A branch and bound method for molecular structure determination using interval analysis. In: X Latin-Ibero-American Congress on Operations Research, 2000, Mexico City. Proceedings of the X CLAIO. Mexico: Mexican Institute for Operation Research and Systems, 2000.

  • BARBOSA, H. ; RAUPP, F. ; LAVOR, C. ; LIMA, H. ; MACULAN, N. . A hybrid genetic algorithm for finding stable conformations of small molecules. In: VIth Brazilian Symposium on Neural Networks, 2000, Rio de Janeiro. Proceedings of the SBRN 2000. Los Alamitos: IEEE Computer Society, 2000. p. 90-94.

  • 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 , 2025.

  • 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 , 2024.

Outras produções

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

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

LAVOR, C. . Membro do Comitê Científico do LVI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2024.

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

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

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

LAVOR, C. ; GARCIA, R. A. ; KARAS, E. W. ; MAIA, L. A. ; MEYER, J. F. C. A. . COORDENADOR do Comitê Julgador do Prêmio Elon Lages Lima (SBM - SBMAC). 2023.

LAVOR, C. . Membro do Comitê Científico do LV Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2023.

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

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

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

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

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

LAVOR, C. . Membro do Comitê Científico do 4th BRICS Mathematics Conference. 2021.

LAVOR, C. . Membro do Comitê Científico do 5th Brazil-China Symposium on Applied and Computational Mathematics. 2021.

LAVOR, C. . Membro do Comitê Científico do 14th Workshop on Computational Optimization (WCO). 2021.

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

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

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

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

LAVOR, C. . Membro do Comitê Científico do 13th Workshop on Computational Optimization (WCO). 2020.

LAVOR, C. . Membro do Comitê Científico do International Conference on Industry 4.0 and Smart Systems. 2020.

LAVOR, C. . Membro do Comitê Científico do 5th International Symposium on Uncertainty Quantification and Stochastic Modeling. 2020.

LAVOR, C. . Membro do Comitê Científico do 12th Workshop on Computational Optimization (WCO). 2019.

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

LAVOR, C. . Membro do Comitê Científico do LI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2019.

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

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

LAVOR, C. . Membro do Comitê Científico do 11th Workshop on Computational Optimization (WCO). 2018.

LAVOR, C. . Membro do Comitê Científico do L Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2018.

LAVOR, C. . CHAIR of the Invited Section Lectures on 'Mathematical Aspects of Computer Science' (ICM). 2018.

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

LAVOR, C. . Membro do Comitê Científico do 10h Workshop on Computational Optimization (WCO). 2017.

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

LAVOR, C. . Membro do Comitê Científico do XLIX Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2017.

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

LAVOR, C. . Membro do Comitê Científico do 9th Workshop on Computational Optimization (WCO). 2016.

LAVOR, C. . COORDENADOR do Comitê Científico do Workshop Distance Geometry Day in Rennes (DGD). 2016.

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

LAVOR, C. . Membro do Comitê Científico do 8th Workshop on Computational Optimization (WCO). 2015.

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

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

LAVOR, C. . Membro do Comitê Científico do 7th Workshop on Computational Optimization (WCO). 2014.

LAVOR, C. . COORDENADOR do Comitê Científico do Workshop on Many Faces of Distances (MFD). 2014.

LAVOR, C. . COORDENADOR do Comitê Científico do Workshop on Distance Geometry and Applications (DGA). 2013.

LAVOR, C. . Membro do Comitê Científico do 6th Workshop on Computational Optimization (WCO). 2013.

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

LAVOR, C. . Membro do Comitê Científico do 5th Workshop on Computational Optimization (WCO). 2012.

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

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

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.

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

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

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

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

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

Projetos de pesquisa

  • 2024 - Atual

    Um novo mapa de Ramachandran para resolver o DMDGP aplicado a proteínas, Descrição: Projeto CNPq - Bolsas no País (proc. 300809/2024-7). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador.

  • 2023 - 2024

    XLII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Descrição: Projeto CNPq - Organização de Reunião Científica (proc. 404789/2022-6). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2019 - 2023

    Geometria de distâncias e álgebra geométrica para o cálculo de estrutura 3D de proteínas, Descrição: Projeto Universal do CNPq (Faixa C) (proc. 424507/2018-8). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2019 - Atual

    Algoritmos em 5D para a Determinação de Estrutura de Proteínas, Descrição: Bolsa de Produtividade em Pesquisa - CNPq (proc. 310153/2018-2). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2018 - 2020

    Uma abordagem em 5D para o cálculo de estrutura de proteínas, Descrição: Projeto Auxílio à Pesquisa - FAPESP (proc. 2017/22465-6). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2018 - 2018

    7th Conference on Applied Geometric Algebras in Computer Science and Engineering, Descrição: Projeto FAPESP - Organização de Reunião Científica (proc. 2017/25755-5). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador.

  • 2018 - 2018

    7th Conference on Applied Geometric Algebras in Computer Science and Engineering, Descrição: Programa de Apoio a Eventos da CAPES (proc. 88881.155314/2017-01). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2015 - 2019

    Molecular Distance Geometry Problem: Teoria e Algoritmos (clássicos e quânticos), Descrição: Bolsa de Produtividade em Pesquisa - CNPq (proc. 305944/2014-2). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2014 - 2018

    Controle de incerteza em problemas de geometria molecular, Descrição: Projeto PVE do CNPq (proc. 400754/2014-2). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - 2017

    Geometria de distâncias aplicada ao cálculo de estruturas 3D de proteínas, Descrição: Projeto Universal do CNPq (Faixa C) (proc. 459492/2014-4). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - 2015

    Muitas Faces da Distância, Descrição: Projeto de Apoio a Eventos Científicos do CNPq (proc. 440298/2014-8). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2012 - 2014

    Modelagem computacional para o cálculo de estruturas de proteínas através de dados de RMN, Descrição: Projeto Universal do CNPq (Faixa B) (proc. 470290/2011-0). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2011 - 2014

    Uma abordagem combinatória para o cálculo de estruturas de proteínas, Descrição: Projeto CTINFO do CNPq (proc. 559964/2010-2). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2010 - 2011

    Problemas de geometria molecular: uma abordagem combinatória, Descrição: Projeto Supervisor de Pós-Doutorado concedido pelo CNPq (proc. 500306/2010-9). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2009 - 2013

    Otimização de geometria molecular aplicada ao cálculo de estrutura de proteínas, Descrição: Projeto Orientador de Doutorado concedido pelo CNPq (proc. 578959/2008-9). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2009 - 2011

    Métodos combinatórios para o cálculo de estruturas de proteínas através de dados de RMN, Descrição: Projeto Auxílio à Pesquisa - FAPESP (proc. 2009/05470-0). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2008 - 2011

    Métodos de otimização para problemas em conformação de proteínas e informação quântica, Descrição: Projeto Jovens Pesquisadores do CNPq (proc. 559637/2008-0). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2009

    Cálculo de estruturas de proteínas através de dados de ressonância magnética nuclear, Descrição: Projeto Auxílio à Pesquisa - FAPESP (proc. 2007/07230-0). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2007 - 2010

    Emaranhamento e capacidade de canais quânticos, Descrição: Projeto Orientador de Doutorado concedido pela FAPESP (proc. 2006/58413-5). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2007 - 2009

    Algoritmos para o cálculo de geometria molecular e de capacidade de canais quânticos, Descrição: Projeto Universal do CNPq (Faixa B) (proc. 471002/2007-0). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlile Campos Lavor - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios

2024

INVITED EDITOR (et al.), Mathematical Methods in the Applied Sciences, JCR = 2.9.

2024

INVITED EDITOR (et al.), IEEE Signal Processing Magazine, JCR = 14.9.

2024

INVITED SPEAKER - 9th European Congress of Mathematics (Mini-Symposium on Geometric Algebra), European Mathematical Society.

2024

TOP DOWNLOADED ARTICLE - "Current survey of Clifford geometric algebra applications", Mathematical Methods in the Applied Sciences.

2024

PRÊMIO ZEFERINO VAZ, UNICAMP.

2023

INVITED SPEAKER - China-Brazil Operations Research Road-to-Future Forum for Maculan's 80th Birthday, Operations Research Society of China.

2023

BOLSISTA 1B (CNPq) - Comitê de Ciências da Computação, CNPq.

2022

INVITED EDITOR (et al.), Journal of Global Optimization, JCR = 1.8.

2021

INVITED SPEAKER - Workshop on Distance Geometry, Semidefinite Programming and Applications, The Fields Institute for Research in Mathematical Sciences (Toronto, Canadá).

2021

CONFERÊNCIA DE ABERTURA - XL Congresso Nacional de Matemática Aplicada e Computacional, SBMAC.

2021

PRÊMIO BEATRIZ NEVES - 1o. Lugar (aluno de IC "Andrês Rodrigues Oliveira"), XL CNMAC.

2021

PRÊMIO ODELAR LEITE LINHARES - Menção Honrosa (aluno de Mestrado "Rômulo da Silva Marques"), XL CNMAC.

2021

PRÊMIO ELON LAGES LIMA (pela obra "Álgebra Geométrica e Aplicações", co-autoria com L.A.F. Fernandes e M.M. Oliveira), SBM / SBMAC.

2021

CONFERÊNCIA DE ABERTURA - LIII Simpósio Brasileiro de Pesquisa Operacional, SOBRAPO.

2020

INVITED EDITOR (et al.), Advances in Applied Cliiford Algebras, JCR = 1.5.

2020

INVITED EDITOR (et al.), Optimization Letters, JCR = 1.6.

2020

MEMBRO ELEITO, Centro de Lógica, Epistemologia e História da Ciência - UNICAMP.

2019

PRESIDENTE DA SBMAC (Sociedade Brasileira de Matemática Aplicada e Computacional, biênio 2018 - 2019).

2019

DIMACS Workshop CHAIR - Optimization in Distance Geometry, Rutgers University (Center for Discrete Mathematics and Theoretical Computer Science).

2019

BOLSISTA 1B (CNPq) - Comitê de Ciências da Computação.

2019

PLENARY SPEAKER - BRICS Mathematics Conference, (Kazan, Rússia).

2019

DESTAQUE DO ANO - Academia Cearense de Matemática.

2019

ARTIGO DE CAPA - Journal of Chemical Information and Modeling (JCR 5.6), American Chemical Society.

2018

AGACSE GENERAL CHAIR, 7th Conf. on Applied Geometric Algebras in Computer Science and Eng. (1a. vez no Hemisfério Sul).

2018

DISTINÇÃO HONORÍFICA (juntamente com J. L. Barbosa, D. Figueiredo, M. Peixoto e E. Teixeira), Academia Cearense de Matemática.

2018

PRÊMIO "Waldyr Rodrigues Jr." (trabalho apresentado no AGACSE 2018 pelo Pós-Doutorando "Rafael Santos de Oliveira Alves"), 7th Conference on Applied Geometric Algebras in Computer Science and Engineering.

2018

INVITED SPEAKER - PACM Colloquium, Princeton University (Program in Applied and Computational Mathematics).

2017

EDITOR-CHEFE (SBMAC SpringerBriefs in Mathematics), 2016 - 2017, SPRINGER.

2017

CÁTEDRA IBERO-AMERICANA, Unicamp e Universitat Politècnica de Catalunya.

2017

INVITED SPEAKER - Physikzentrum Bad Honnef, University of Bonn (German Physical Society).

2017

ACADÊMICO ELEITO, Academia Cearense de Matemática.

2016

INVITED EDITOR (et al.), International Transactions in Operational Research, JCR = 3.1.

2016

INVITED SPEAKER - DIMACS, Rutgers University (Center for Discrete Mathematics and Theoretical Computer Science).

2015

BOLSISTA 1C (CNPq) - Comitê de Ciências da Computação.

2015

NOTABLE ARTICLE (19th Annual Best of Computing), ACM Computing Reviews.

2015

PROF. TITULAR (aprovado em concurso público, média final 9.9, 2o. lugar dentre 6 candidatos), UNICAMP.

2014

ARTIGO DE CAPA - SIAM REVIEW, Society for Industrial and Applied Mathematics.

2014

TOP 4 BEST PAPERS (apresentado no MFD 2014 pelo aluno de Doutorado "Felipe Delfini Caetano Fidalgo"), Workshop on Many Faces of Distances.

2014

INVITED EDITOR (et al.), Discrete Applied Mathematics, JCR = 1.1.

2013

BEST PAPER (apresentado no DGA 2013 pelo aluno de Doutorado "Jorge Ferreira Alencar Lima"), Workshop on Distance Geometry and Applications.

2013

PRÊMIO MÉRITO CIENTÍFICO (aluno de IC "Guilherme Bighetti Platzeck"), XXI Congresso de Iniciação Científica da UNICAMP.

2012

PARANINFO (Curso de Licenciatura em Matemática), UNICAMP.

2012

PROMOÇÃO POR MÉRITO (Prof. Assoc. I para Prof. Assoc. III, último nível da categoria), UNICAMP.

2011

BOLSISTA 1D (CNPq) - Comitê de Ciências da Computação.

2009

PRÊMIO BEATRIZ NEVES - 2o. Lugar (aluno de IC "Pedro Costa Nucci"), XXXII CNMAC.

2008

PRÊMIO BABBAGE (aluno de IC "Thiago Resek Fabri dos Anjos"), Instituto de Computação (UNICAMP).

2007

PRÊMIO BEATRIZ NEVES - Menção Honrosa (aluno de IC "Thiago Resek Fabri dos Anjos"), XXX Congresso Nacional de Matemática Aplicada e Computacional.

2006

PROF. LIVRE - DOCENTE, UNICAMP.

2004

APROVADO (1o. LUGAR), concurso público para Professor Doutor, IMECC - UNICAMP.

2003

APROVADO (1o. LUGAR), concurso público para Professor Adjunto, IME - UERJ.

1988

APROVADO (1o. LUGAR GERAL), concurso vestibular, Universidade Estadual do Ceará.

1987

MEDALHA CORREIA LIMA (1o. LUGAR), Exército Brasileiro.

1987

PRÊMIO ALUNO MAIS DISTINTO (NPOR), Exército Brasileiro.

Histórico profissional

Endereço profissional

  • Universidade Estadual de Campinas, Instituto de Matemática Estatística e Ciência da Computação. , Rua Sérgio Buarque de Holanda, 651, Cidade Universitária, 13083859 - Campinas, SP - Brasil, Telefone: (19) 35216016

Experiência profissional

2024 - Atual

Universidade Federal do Ceará

Vínculo: , Enquadramento Funcional:

2013 - 2014

Duke University

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante

2012 - 2012

Universite de Rennes I

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante

2010 - 2010

Institut Pasteur

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante

2005 - Atual

Universidade Estadual de Campinas

Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular (MS - 6), Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 07/2005

    Pesquisa e desenvolvimento, Instituto de Matemática Estatística e Ciência da Computação.,Linhas de pesquisa

  • 08/2023 - 12/2023

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Geometria Analítica

  • 08/2023 - 12/2023

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico

  • 08/2023 - 12/2023

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2022 - 12/2022

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Computacionais de Álgebra Linear

  • 08/2022 - 12/2022

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Métodos Computacionais de Álgebra Linear

  • 03/2022 - 07/2022

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Geometria Analítica

  • 08/2021 - 12/2021

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Métodos Computacionais de Álgebra Linear

  • 08/2021 - 12/2021

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Computacionais de Álgebra Linear

  • 08/2019 - 12/2019

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas

  • 08/2019 - 12/2019

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas Discretas

  • 03/2019 - 07/2019

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática

  • 08/2018 - 12/2018

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Geometria de Distâncias

  • 08/2018 - 12/2018

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Geometria de Distâncias

  • 03/2018 - 07/2018

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Geometria Analítica e Vetores

  • 08/2017 - 12/2017

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas

  • 08/2017 - 12/2017

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas Discretas

  • 08/2016 - 12/2016

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Geometria de Distâncias: Teoria e Aplicações

  • 11/2014 - 10/2016

    Direção e administração, Instituto de Matemática Estatística e Ciência da Computação.,Cargo ou função, Diretor Associado do Instituto de Matemática, Estatística e Computação Científica (IMECC).

  • 03/2016 - 07/2016

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 03/2015 - 07/2015

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 08/2014 - 12/2014

    Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2014 - 12/2014

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 03/2013 - 07/2013

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Matemática Básica

  • 03/2013 - 07/2013

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 09/2012 - 04/2013

    Direção e administração, Instituto de Matemática Estatística e Ciência da Computação.,Cargo ou função, Chefe do Departamento de Matemática Aplicada.

  • 08/2012 - 12/2012

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 05/2011 - 09/2012

    Direção e administração, Instituto de Matemática Estatística e Ciência da Computação.,Cargo ou função, Vice-Chefe do Departamento de Matemática Aplicada.

  • 03/2012 - 07/2012

    Ensino, Física, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática

  • 08/2011 - 12/2011

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2011 - 12/2011

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 03/2011 - 07/2011

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Geometria Analítica e Vetores

  • 03/2011 - 07/2011

    Ensino, Física, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática

  • 06/2007 - 05/2011

    Conselhos, Comissões e Consultoria, Instituto de Matemática Estatística e Ciência da Computação.,Cargo ou função, Membro da Sub-comissão de Pós-graduação do Departamento de Matemática Aplicada.

  • 03/2010 - 07/2010

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 03/2010 - 07/2010

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos da Matemática

  • 08/2009 - 12/2009

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo I

  • 08/2009 - 12/2009

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada

  • 03/2009 - 07/2009

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos da Matemática

  • 03/2009 - 07/2009

    Ensino, Física, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática

  • 08/2007 - 12/2007

    Ensino, Engenharia Mecatrônica, Nível: Graduação,Disciplinas ministradas, Álgebra Linear

  • 10/2005 - 12/2007

    Conselhos, Comissões e Consultoria, Instituto de Matemática Estatística e Ciência da Computação, Departamento de Matemática Aplicada.,Cargo ou função, Membro da Comissão de Pós-graduação do Mestrado Profissional em Matemática.

  • 03/2007 - 07/2007

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos da Matemática

  • 08/2006 - 12/2006

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Matemática Discreta

  • 03/2006 - 07/2006

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Matemática Aplicada (Introdução à Teoria da Computação e Informação Quântica)

  • 03/2006 - 07/2006

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas Vetoriais

  • 03/2006 - 07/2006

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática

  • 08/2005 - 12/2005

    Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Telemática III (Introdução à Teoria da Computação e Informação Quântica)

  • 08/2005 - 12/2005

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Álgebra Linear

2008 - 2009

Ecole Polytechnique

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista do CNRS, Regime: Dedicação exclusiva.

2005 - 2005

Politecnico Di Milano

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.

2007 - 2008

Universidad Politécnica de Madrid

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista da Fundación Carolina, Regime: Dedicação exclusiva.

2002 - 2005

Universidade do Estado do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 03/2004 - 07/2004

    Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Análise Funcional Aplicada

  • 03/2004 - 07/2004

    Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Tópicos Especiais de Matemática Aplicada

  • 03/2004 - 07/2004

    Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização,Disciplinas ministradas, Análise Combinatória e Probabilidade

  • 08/2003 - 12/2003

    Ensino, Bacharelado em Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação Quântica

  • 03/2003 - 07/2003

    Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Programação Linear

  • 03/2003 - 07/2003

    Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização,Disciplinas ministradas, Análise Combinatória e Probabilidade

  • 08/2002 - 12/2002

    Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização,Disciplinas ministradas, Análise Combinatória e Probabilidade

  • 08/2002 - 12/2002

    Ensino, Bacharelado em Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação Quântica

  • 03/2002 - 07/2002

    Ensino, Engenharia Química, Nível: Graduação,Disciplinas ministradas, Métodos Matemáticos Aplicados à Engenharia Química

2008 - 2008

Universidade Federal do Rio de Janeiro

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista da FAPERJ, Regime: Dedicação exclusiva.

2001 - 2002

Universidade Federal Fluminense

Vínculo: Bolsista recém-doutor do CNPq, Enquadramento Funcional: Bolsista recém-doutor, Regime: Dedicação exclusiva.

Atividades

  • 08/2001 - 12/2001

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise e Projeto de Algoritmos

2018 - 2018

Princeton University

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante

2020 - 2021

Universidad Nacional Autonoma de Mexico

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante

2000 - Atual

Sociedade Brasileira de Matemática Aplicada e Computacional

Vínculo: Associado e Ex-Presidente, Enquadramento Funcional: Associado e Ex-Presidente