Carlile Campos Lavor

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1C

  • Endereço para acessar este CV: http://lattes.cnpq.br/2019624495480547
  • Última atualização do currículo em 22/11/2018


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 (com destaque para Columbia University, Duke University, École Polytechnique, IBM TJ Watson Research Center, Institut Pasteur, MIT e University of Cambridge) 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. É o atual Presidente da Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC), biênio 2018-2019. (Texto informado pelo autor)


Identificação


Nome
Carlile Campos Lavor
Nome em citações bibliográficas
LAVOR, C.;LAVOR, CARLILE

Endereço


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


Formação acadêmica/titulação


1997 - 2001
Doutorado em Computação (COPPE - UFRJ).
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Uma abordagem determinística para a minimização global da energia potencial de moléculas, Ano de obtenção: 2001.
Orientador: 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
1992 - 1996
Graduação em Matemática (UNICAMP).
Universidade Estadual de Campinas, UNICAMP, Brasil.


Pós-doutorado e Livre-docência


2006
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Combinatória, Ano de obtenção: 2006.
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


Atuação Profissional



Duke University, DUKE, Estados Unidos.
Vínculo institucional

2013 - 2014
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante


Université de Rennes I, RENNES 1, França.
Vínculo institucional

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


Institut Pasteur, PASTEUR, França.
Vínculo institucional

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


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

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

Atividades

07/2005 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática Estatística e Ciência da Computação, .

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

Ecole Polytechnique, POLYTECHNIQUE, França.
Vínculo institucional

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


Politecnico di Milano, POLIMI, Itália.
Vínculo institucional

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


Universidad Politécnica de Madrid, UPM, Espanha.
Vínculo institucional

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


Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Vínculo institucional

2002 - 2005
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, Bacharelado em Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação Quântica
08/2002 - 12/2002
Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização

Disciplinas ministradas
Análise Combinatória e Probabilidade
03/2002 - 07/2002
Ensino, Engenharia Química, Nível: Graduação

Disciplinas ministradas
Métodos Matemáticos Aplicados à Engenharia Química

Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

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


Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

2001 - 2002
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


Linhas de pesquisa


1.
Geometria de Distâncias
2.
Álgebra Geométrica
3.
Geometria de Proteínas
4.
Computação Quântica


Projetos de pesquisa


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.
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.
2018 - Atual
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: Em andamento; Natureza: Pesquisa.
2015 - Atual
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: Em andamento; Natureza: Pesquisa.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.


Membro de corpo editorial


2007 - Atual
Periódico: Journal of Universal Computer Science


Revisor de periódico


2004 - Atual
Periódico: Journal of Global Optimization
2006 - Atual
Periódico: Journal of the Brazilian Computer Society
2007 - Atual
Periódico: Journal of Universal Computer Science
2009 - Atual
Periódico: European Journal of Operational Research
2011 - Atual
Periódico: International Transactions in Operational Research
2012 - Atual
Periódico: Mathematical Reviews
2012 - Atual
Periódico: Computational and Applied Mathematics
2013 - Atual
Periódico: Advances in Applied Clifford Algebras
2013 - Atual
Periódico: IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print)
2014 - Atual
Periódico: IEEE Signal Processing Magazine (Print)
2014 - Atual
Periódico: Discrete Mathematics
2013 - Atual
Periódico: Discrete Applied Mathematics
2016 - Atual
Periódico: Digital Signal Processing (Print)
2017 - Atual
Periódico: Optimization Letters
2018 - Atual
Periódico: Natural Computing


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra Geométrica.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Geometria de Proteínas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Quântica.
4.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria de Distâncias.


Idiomas


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


Prêmios e títulos


2018
PRESIDENTE DA SBMAC (Sociedade Brasileira de Matemática Aplicada e Computacional, biênio 2018 - 2019), SBMAC.
2018
EDITOR CONVIDADO (et al.), "Optimization Letters" (JCR = 1.31), Special Issue on "Applications of Distance Geometry".
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, Assembleia Legislativa - CE (um dos 6 matemáticos cearenses homenageados, dentre J. L. Barbosa, D. Figueiredo, M. Peixoto e E. Teixeira), Academia Cearense de Matemática (ACM).
2018
PRÊMIO "Waldyr Rodrigues Jr. - BEST POSTER" (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
CÁTEDRA IBERO-AMERICANA, Unicamp e Universitat Politècnica de Catalunya (UPC - Espanha).
2017
INVITED SPEAKER - Physikzentrum Bad Honnef, University of Bonn (German Physical Society).
2017
ACADÊMICO ELEITO, Academia Cearense de Matemática (ACM).
2016
EDITOR CONVIDADO (et al.), "International Transactions in Operational Research" (JCR = 1.745), Special Issue on "Many Faces of Distances".
2016
INVITED SPEAKER - DIMACS, Rutgers University (Center for Discrete Mathematics and Theoretical Computer Science).
2016
EDITOR-CHEFE (SBMAC SpringerBriefs in Mathematics), 2016 - 2017, SPRINGER.
2015
BOLSISTA 1C (CNPq) - Comitê de Ciências da Computação, CNPq.
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 (SIAM).
2014
TOP 4 BEST PAPERS (apresentado no MFD 2014 pelo aluno de Doutorado "Felipe Delfini Caetano Fidalgo"), Workshop on Many Faces of Distances.
2014
EDITOR CONVIDADO (et al.), "Discrete Applied Mathematics" (JCR = 0.956), Special Issue on "Distance Geometry and Applications".
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 Iniciação Científica "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, CNPq.
2009
PRÊMIO BEATRIZ NEVES - 2o. Lugar (aluno de Iniciação Científica "Pedro Costa Nucci"), XXXII Congresso Nacional de Matemática Aplicada e Computacional.
2008
PRÊMIO BABBAGE (aluno de Iniciação Científica "Thiago Resek Fabri dos Anjos"), Instituto de Computação (UNICAMP).
2007
PRÊMIO BEATRIZ NEVES - Menção Honrosa (aluno de Iniciação Científica "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 MS-3, 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á - UECE.
1987
MEDALHA CORREIA LIMA (1o. LUGAR), Exército Brasileiro.
1987
PRÊMIO ALUNO MAIS DISTINTO (NPOR), Exército Brasileiro.


Produções



Produção bibliográfica
Citações

SCOPUS

Outras
Total de trabalhos:100
Total de citações:2570
GOOGLE SCHOLAR (Fator H = 28)  Data: 22/11/2018

Artigos completos publicados em periódicos

1.
ALVES, R.2018ALVES, 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.

2.
GONCALVES, D. S.2018GONCALVES, 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.

3.
FIDALGO, F.2018FIDALGO, 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.

4.
WORLEY, B.2018WORLEY, 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.

5.
MOREIRA, N.2018MOREIRA, 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.

6.
SANTIAGO, C. P.2018SANTIAGO, 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.

7.
BILLINGE, S. J.2018BILLINGE, 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.

8.
AGRA, A.2017AGRA, 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.

9.
ALVES, R.2017ALVES, 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.

10.
DAMBROSIO, C.2017DAMBROSIO, 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.

11.
GONCALVES, D. S.2017GONCALVES, 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.

12.
COSTA, T. M.2017COSTA, 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.

13.
MAIOLI, D. S.2017MAIOLI, 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.

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

15.
GONCALVES, D. S.2016GONCALVES, 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.

16.
BILLINGE, S. J.2016BILLINGE, 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.

17.
AMARO, BRUNO2016AMARO, 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.

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

19.
LAVOR, C.2015LAVOR, 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.

20.
CASSIOLI, A.2015CASSIOLI, 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.

21.
ALENCAR, JORGE2015ALENCAR, 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.

22.
LIBERTI, L.2014LIBERTI, 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.

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

24.
LARA, P.2014LARA, 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.

25.
SEO, J.2014SEO, 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.

26.
COSTA, V.2014COSTA, 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.

27.
GONCALVES, D. S.2014GONCALVES, 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.

28.
SALLAUME, S.2013SALLAUME, 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.

29.
LAVOR, C.;LAVOR, CARLILE2013 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.

30.
MELO, N.2013MELO, 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.

31.
SOUZA, M. F.2013SOUZA, 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.

32.
GONCALVES, D. S.2013GONCALVES, 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.

33.
LAVOR, C.;LAVOR, CARLILE2012LAVOR, 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.

34.
MUCHERINO, A.2012MUCHERINO, 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.

35.
LAVOR, C.;LAVOR, CARLILE2012 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.

36.
LAVOR, C.;LAVOR, CARLILE2012LAVOR, 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.

37.
GONCALVES, D. S.2012GONCALVES, 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.

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

39.
EVANGELISTA, T. S.2011EVANGELISTA, 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.

40.
LAVOR, C.;LAVOR, CARLILE2011LAVOR, 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.

41.
SOUZA, M. F.2011SOUZA, 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.

42.
LAVOR, C.;LAVOR, CARLILE2010LAVOR, 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.

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

44.
LA GUARDIA, G.2010LA 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.

45.
LIBERTI, L.2010LIBERTI, 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.

46.
LIBERTI, L.2009LIBERTI, 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.

47.
PALATNIK-DE-SOUSA, C. B.2009PALATNIK-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.

48.
LIBERTI, L.2009LIBERTI, 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.

49.
MUCHERINO, A.2009MUCHERINO, 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.

50.
DRAZIC, M.2008DRAZIC, 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.

51.
LIBERTI, L.2008LIBERTI, 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.

52.
KOWADA, L.A.B.2008KOWADA, 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.

53.
CARVALHO, R. S.2008CARVALHO, 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.

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

55.
LAVOR, C.;LAVOR, CARLILE2007LAVOR, 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.

56.
LAVOR, C.;LAVOR, CARLILE2007LAVOR, 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.

57.
LAVOR, C.;LAVOR, CARLILE2005LAVOR, 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.

58.
BARBOSA, H.2005BARBOSA, 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.

59.
LAVOR, C.;LAVOR, CARLILE2004 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.

60.
C.B.P. de Souza2004C.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.

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

Livros publicados/organizados ou edições
1.
LAVOR, C.; MACULAN, N. ; SOUZA, M. F. ; ALVES, R. . Álgebra e Geometria no Cálculo de Estrutura Molecular. 2a. ed. Rio de Janeiro: 31o. Colóquio Brasileiro de Matemática (IMPA), 2018. 110p .

2.
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. 121p .

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

4.
FERNANDES, L. A. F. ; LAVOR, C. ; OLIVEIRA NETO, M. M. . Álgebra Geométrica e Aplicações. 1a. ed. São Carlos: SBMAC, 2017. 139p .

5.
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. 54p .

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

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

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

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

10.
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. 90p .

Capítulos de livros publicados
1.
LIBERTI, L. ; LAVOR, C. . Open research areas in distance geometry. In: A. Migdalas and P. Pardalos. (Org.). Open Problems in Mathematics, Optimization, and Data Science. 1a.ed.Berlin: Springer, 2018, v. , p. 1-40.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

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

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

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

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

Artigos aceitos para publicação
1.
SALLES NETO, L. L. ; LAVOR, C. ; LODWICK, W. . A constrained interval approach to the generalized distance geometry problem. Optimization Letters, 2019.

2.
ALENCAR, J. ; LAVOR, C. ; LIBERTI, L. . Realizing Euclidean distance matrices by sphere intersection. DISCRETE APPLIED MATHEMATICS, 2019.

3.
LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . A mathematical programming formulation for the Hartree-Fock Problem on open-shell systems. Optimization Letters, 2019.

4.
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, 2019.

5.
LAVOR, C.; ALVES, R. . Oriented conformal geometric algebra and the molecular distance geometry problem. Advances in Applied Clifford Algebras, 2019.

6.
ABUD, G. ; ALENCAR, J. ; LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . The k-discretization and k-incident graphs for discretizable distance geometry. Optimization Letters, 2019.


Produção técnica
Trabalhos técnicos
1.
LAVOR, C.. Membro do Comitê Científico do 9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS). 2018.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

25.
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.

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

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

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

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

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



Bancas



Participação em bancas de trabalhos de conclusão
Teses de doutorado
1.
Ramos, R. V.; PORTUGAL, R.; MEDEIROS, F. N. S.; SILVA, J. B. R.; LAVOR, C.. Participação em banca de Paulo Regis Menezes Souza. 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á.

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

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

4.
MACULAN, N.; OLIVEIRA, P. R.; XAVIER, A. E.; CRUZ NETO, J. X.; LAVOR, C.. Participação em banca de João Benicio de Melo Neto. 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.

5.
Ramos, R. V.; SILVA, J. B. R.; NASCIMENTO, J. C.; PORTUGAL, R.; LAVOR, C.. Participação em banca de Fernando Vasconcelos Mendes. 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á.

6.
ABREU, N. M. M.; MARKENZON, L.; LAVOR, C.; WAGA, C. F. E. M.; JUSTEL, C. M.; FREITAS, M. A. A.. Participação em banca de Beatriz Malajovich. 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.

7.
PORTUGAL, R.; GIRALDI, G. A.; LAVOR, C.; MARQUEZINO, F. L.. Participação em banca de Pedro Carlos da Silva Lara. 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.

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

9.
ANDRADE, A. A.; BRACCIALI, C. F.; PALAZZO JR., R.; COSTA, S. I. R.; LAVOR, C.. Participação em banca de Eduardo Rogerio Favaro. 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.

10.
LAVOR, C.; COSTA, S. I. R.; MOSNA, R. A.; PORTUGAL, R.; MACULAN, N.. Participação em banca de Nolmar Melo de Souza. Uma álgebra de Cliff ord 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.

11.
FRIEDLANDER, A.; LAVOR, C.; SANTOS, L. T.; BISCH, P. M.; MACULAN, N.. Participação em banca de Paulo Sergio da Silva Gouveia. 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.

12.
MACULAN, N.; CARVALHO, L. M.; XAVIER, A. E.; LAVOR, C.; OCHI, L. S.; FAMPA, M. H. C.. Participação em banca de Valéria Saldanha Motta. 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.

13.
MACULAN, N.; LAVOR, C.; XAVIER, A. E.; PROTTI, F.; OLIVEIRA, A. R. L.; FAMPA, M. H. C.. Participação em banca de 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.

14.
MACULAN, N.; BRITO, J. A. M.; XAVIER, A. E.; OLIVEIRA, P. R.; LAVOR, C.; MONTENEGRO, F.. Participação em banca de Michele da Silva Sousa. 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.

15.
OLIVEIRA, A. R. L.; FAMPA, M. H. C.; LAVOR, C.; CARVALHO, M. F. H.; MORETTI, A. C.. Participação em banca de Jair da Silva. 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.

16.
LAVOR, C.; OLIVEIRA, A. R. L.; MACULAN, N.; FAMPA, M. H. C.; PORTUGAL, R.. Participação em banca de 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.

17.
PETRAGLIA, A.; LAVOR, C.; GOMES, J. G. R. C.; MACULAN, N.; MOSNA, R. A.. Participação em banca de 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.

18.
Ramos, R. V.; ASSIS, F. M.; LAVOR, C.; SOUSA, P. B. M.; SILVA, J. B. R.; VASCONCELOS, H. M.. Participação em banca de José Cláudio do Nascimento. Protocolos quânticos para sistemas de prova de conhecimento nulo. 2009. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

19.
MACEDO, A. M. S.; ASSIS, F. M.; LAVOR, C.. Participação em banca de Fredson Braz Matos dos Santos. 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.

20.
PORTUGAL, R.; VIEIRA, P. C. M.; GIRALDI, G. A.; LAVOR, C.; LEAL, G. A. R.. Participação em banca de Carlos Magno Martins Cosme. 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.

21.
FREIRE, R. C. S.; MAIA JUNIOR, B.; LAVOR, C.; ROCHA, V. C.; ASSIS, F. M.. Participação em banca de Rex Antonio da Costa Medeiros. Zero-error capacity of quantum channels. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

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

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

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

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

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

27.
FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F. M. P.; LAVOR, C.; BRITO, J. A. M.; MACULAN, N.. Participação em banca de Ana Lucia de Souza. 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.

28.
MONKEN, C. H.; SANTOS, M. F.; PADUA, S.; LAVOR, C.; DAVIDOVICH, L.. Participação em banca de Wilson Ricardo de Matos Rabelo. 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.

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

30.
FIGUEIREDO, C. M. H.; PORTUGAL, R.; BARBOSA, V. C.; DONANGELO, R. J.; LAVOR, C.; CARVALHO, L. M.. Participação em banca de Luis Antonio Brasil Kowada. 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.

31.
FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F.; GRANVILLE, S.; LAVOR, C.. Participação em banca de Denise Candal Reis Fernandes. 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.

32.
XAVIER, A. E.; MACULAN, N.; LUNA, H. P. L.; SILVA, L. C.; DINIZ, P. S. R.; JARDIM, M. H. C.; LAVOR, C.. Participação em banca de José André de Moura Brito. 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.

33.
PALAZZO JR., R.; ALMEIDA, C.; UCHOA FILHO, B. F.; LEITE, J. R. R.; LAVOR, C.; PORTUGHEIS, J.. Participação em banca de Antônio Carlos Aido de Almeida. Códigos convolucionais quânticos concatenados. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Professor titular
1.
BORTOLI, A. L.; MIYAGAKI, O.; BOURCHTEIN, A.; LAVOR, C.. Professor Titular. 2018. Universidade Federal do Rio Grande do Sul.

2.
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.

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

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

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

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

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

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

4.
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.

Outras participações
1.
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.

2.
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.

3.
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á.

4.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
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).

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

3.
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).

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

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

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

7.
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).

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

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

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

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

12.
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).

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

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

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

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

17.
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).

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

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

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

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

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

23.
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).

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

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

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

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

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

29.
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).

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

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

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

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

34.
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).

35.
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).

36.
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).

37.
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).

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

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

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

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

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

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

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

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

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

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


Organização de eventos, congressos, exposições e feiras
1.
LAVOR, C.. Conference on Applied Geometric Algebras in Computer Science and Engineering (AGACSE). 2018. (Outro).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Rômulo da Silva Marques. Rigidez em Grafos. Início: 2018. Dissertação (Mestrado profissional em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Thiago Camargo Choquetta. Matemática Reversa. Início: 2018. Dissertação (Mestrado profissional em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Tese de doutorado
1.
Vinícius Riter de Faria. Álgebra Geométrica e Geometria Molecular. Início: 2018. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Jesus Marcos Camargo. Geometria de Proteínas em 5D. Início: 2017. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Rodrigo Labiak. Geometria de Distâncias e Álgebra Geométrica. Início: 2017. Tese (Doutorado em Doutorado em Matemática) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

4.
Wagner Alan Aparecido da Rocha. Um Novo Sistema de Coordenadas para Geometria de Proteínas. Início: 2017. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

5.
Marcelo Santos Carielo. Interseção de Esferas via Ágebra Geométrica. Início: 2016. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

6.
Ana Flávia da Cunha Lima. Geometria de Distâncias em Nanotecnologia. Início: 2016. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

7.
Carlos Renato Medeiros. Geometria de Distâncias na Esfera. Início: 2015. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Iniciação científica
1.
Andrês Rodrigues Oliveira. Geometria de Distâncias e Aplicações. Início: 2018. Iniciação científica (Graduando em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
Ana Flavia 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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

Tese de doutorado
1.
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.

2.
José 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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
Nolmar Melo de Souza. Uma álgebra de Cliff ord 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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

Supervisão de pós-doutorado
1.
Luiz Mariano Paes de Carvalho Filho (Lic. Sabática - UERJ). 2018. Universidade Estadual de Campinas, . Carlile Campos Lavor.

2.
Leandro Augusto Frata Fernandes (Lic. Sabática - UFF). 2018. Universidade Estadual de Campinas, . Carlile Campos Lavor.

3.
Michael Ferreira de Souza. 2017. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Carlile Campos Lavor.

4.
Tiago Mendonça da Costa. 2016. Universidade do Colorado - Denver, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Carlile Campos Lavor.

5.
Warley Gramacho da Silva. 2016. Université de Rennes I, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Carlile Campos Lavor.

6.
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.

7.
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.

8.
Douglas Soares Gonçalves. 2014. Université de Rennes I, Université de Rennes 1. Carlile Campos Lavor.

9.
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.

10.
Antonio Mucherino. 2009. Ecole Polytechnique, Ecole Polytechnique - Paris. Carlile Campos Lavor.

Iniciação científica
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.




Página gerada pelo Sistema Currículo Lattes em 10/12/2018 às 18:36:42