Renato Portugal

Prof. Renato Portugal é pesquisador Titular do LNCC/MCTI atuando na área de Computação Quântica, em particular, Algoritmos Quânticos. Ele possui Bacharelado em Física pela PUC-Rio (1981), mestrado (1984) e doutorado (1988) em Física pelo Centro Brasileiro de Pesquisas Físicas (CBPF). Realizou pós-doutoramento na Universidade de Waterloo e na Queen's University at Kingston no Canadá. Atualmente é Cientista do Nosso Estado pela Faperj, pesquisador 1D do CNPq, sócio efetivo da SBC e da SBMAC e é membro do corpo editorial da revista Natural Computing. Já orientou 17 dissertações de mestrado (uma delas ganhou o prêmio SBMAC), 13 teses de doutorado (uma delas ganhou o prêmio Capes) e supervisionou atividade de pós-doutorado no LNCC de pelo menos 14 pesquisadores nas áreas de computação quântica e computação algébrica. Foi o coordenador geral do III Workshop-Escola de Computação e Informação Quântica e publicou vários livros textos nas áreas de computação algébrica e computação quântica, em especial, o livro 'Quantum Walks and Search Algorithms' pela Springer. Publicou mais de 120 trabalhos científicos completos em revistas e anais, um deles vencedor do prêmio 'Howard E. Brandt Best Paper' da Springer-Nature. Atualmente tem atuado principalmente nos seguintes temas: algoritmos de computação quântica, análise e simulação de passeios quânticos e códigos quânticos de correção de erros.

Informações coletadas do Lattes em 06/09/2024

Acadêmico

Formação acadêmica

Doutorado em Física

1984 - 1988

Centro Brasileiro de Pesquisas Físicas
Título: Modelos Cosmológicos em Regime de Magnetohidrodinâmica
Orientador: Ivano Damião Soares e Jayme Tiomno
, Ano de obtenção: 1988. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Cosmologia; Magnetohidrodinâmica.Grande área: Ciências Exatas e da Terra

Mestrado em Física

1982 - 1984

Centro Brasileiro de Pesquisas Físicas
Título: Modelos Cosmológicos Tipo Bianchi I, II, VIII e XI, Ano de Obtenção: 1984
Orientador: Ivano Damião Soares
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Cosmologia; Equações de Einstein-Maxwell; Magnetohidrodinâmica.Grande área: Ciências Exatas e da Terra

Graduação em Bacharelado em Física

1978 - 1981

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Pós-doutorado

2007 - 2008

Pós-Doutorado. , University of Waterloo, U.WATERLOO, Canadá. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

1998 - 1998

Pós-Doutorado. , Queen's University at Kingston, QUEEN'S, Canadá. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

1996 - 1998

Idiomas

Inglês

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

Espanhol

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

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.

Organização de eventos

Renato Portugal ; S. Malta . Jornada de Iniciação Científica do LNCC. 2011. (Outro).

Renato Portugal . III Workshop-Escola de Computação e Informação Quântica. 2010. (Congresso).

Renato Portugal . Jornada de Iniciação Científica do LNCC. 2010. (Outro).

Renato Portugal . Jornada de Iniciação Científica do LNCC. 2009. (Outro).

Francisco Marcos de Assis ; Bernardo Lula Junior ; Aércio Ferreira de Lima ; Renato Portugal ; Outros . II Workshop-Escola de Computação e Informação Quântica. 2007. (Congresso).

Antonio Carlos da Rocha Costa ; Renato Portugal . I Workshop-Escola de Computação e Informação Quântica. 2006. (Congresso).

Participação em eventos

Conference on Computational Interdisciplinary Sciences. Quantum Search on Two-dimensional Lattice with the Staggered Model. 2016. (Congresso).

Conference on the Theory of Quantum Computation, Communication and Cryptography. Moments of Coinless Quantum Walks. 2015. (Congresso).

V Workshop-school on Quantum Computation and Information (WECIQ 2015). Quantum Walks. 2015. (Congresso).

Quantum Information Processing. Spatial Search on Grids with Minimum Memory. 2014. (Congresso).

Primeiro Encontro Temático de Computação Quântica.Spatial Quantum Search with Minimal Memory. 2013. (Encontro).

Quantum Information Processing. Discrete-Time Quantum Walks on Fractals. 2013. (Congresso).

XIII Semana de Matemática.Códigos Quânticos Corretores de Erros. 2013. (Encontro).

Conference on Computational Interdisciplinary Sciences (CCIS). Quantum Computing: Concepts and Applications. 2012. (Congresso).

IV Workshop-school on Quantum Computation and Information (WECIQ 2012).Quantum Algorithms. 2012. (Oficina).

XXXIV Congresso Nacional de Matemática Aplicada e Computacional. Decoherence in Szegedy's Quantum Walk. 2012. (Congresso).

Conference on the Theory of Quantum Computation, Communication and Cryptography. Quantum Walks in Hierarchical Regular Networks. 2011. (Congresso).

Quantum Information Processing (QIP).Decoherence in Szegedy's Quantum Walk. 2011. (Oficina).

1o Encontro em Teoria dos Códigos e Criptografia.Códigos Quânticos. 2010. (Encontro).

Conference on Computational Interdisciplinary Sciences (CCIS). Search Problems in Quantum Computation. 2010. (Congresso).

III Workshop-Escola de Computação e Informação Quântica. Spatial quantum search in a triangular network. 2010. (Congresso).

XXXIII Congresso Nacional de Matemática Aplicada e Computacional. Algoritmos Quânticos de Busca. 2010. (Congresso).

IX Workshop do Curso de Computação Aplicada.DESAFIOS DA COMPUTAÇÃO QUÂNTICA. 2009. (Oficina).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular. 2009. (Simpósio).

XXIX Congresso da Sociedade Brasileira de Computação. Decoherence in Search Algorithms. 2009. (Congresso).

Quantum Information and Graph Theory: Emerging Connections. 2008. (Encontro).

II Workshop on Nanotechnology and Biologically Inspired Computing - NanoBio2007.Quantum Computing and Reversible Computing. 2007. (Oficina).

Workshop-Escola de Computação e Informação Quântica.Computação Quântica. 2007. (Encontro).

2nd LNCC Meeting on Computational Modelling. 2006. (Encontro).

Workshop-Escola de Computação e Informação Quântica. Algoritmos Quânticos. 2006. (Congresso).

Congresso Nacional de Matemática Aplicada e Computacional. Quantum Algorithms for the Graph Isomorphism Problem. 2005. (Congresso).

Algebraic Graph Theory Journey. 2004. (Encontro).

Congresso Nacional de Matemática Aplicada e Computacional. Uma Introdução à Computação Quântica. 2004. (Congresso).

IV Encontro Regional de Matematica Aplicada e Computacional.Computação Quântica. 2004. (Encontro).

NanoBio2004. Computação Quântica. 2004. (Congresso).

Congresso Nacional de Matemática Aplicada e Computacional. Shor's Algorithms and Applications to Break the Protocols of Classical Crytography. 2003. (Congresso).

Physics of Information. Algorithms based on Quantum Random Walk. 2003. (Congresso).

Tenth Marcel Grossmann Meeting on General Relativity. Calculation of Riemann Invariants via Group Theory Techniques. 2003. (Congresso).

Workshop em Grade Computacional e Aplicações. Quantum Computation and Database Search. 2003. (Congresso).

Congresso Nacional de Matemática Aplicada e Computacional. Simulação de Computador Quântico. 2002. (Congresso).

6th IMACS Conference on Applicatins of Computer Algebra ACA 2000. Application of Computational Group Theory for Tensor Simplification. 2000. (Congresso).

Participação em bancas

Aluno: Miguel Barbosa Brandão

Outros;Renato Portugal. Algoritmo quântico para encontrar a moda estatística. 2018. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

Aluno: André L

Renato Portugal; Outros. F. Albuquerque. High-Performance Simulation of Interacting Multiparticle Quantum Walks with Apache Spark. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Geane Fayer

Renato Portugal; Outros. Análise de Riscos Aplicada aos Aspectos Hídricos de Siderúgicas. 2018. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

Aluno: Talita H

Renato Portugal; Outros. G. Frinzi. Método DIMAIC para aumento da confiabilidade de resultados em projetos. 2018. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

Aluno: Alexandre Santiago de Abreu

Renato Portugal; Outros. Tesselações em Grafos e suas Aplicação em Computação Quântica. 2017. Dissertação (Mestrado em Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Marcos de ANdrade Lopes

Renato Portugal; Outros. Evolução do rouge no aço inoxidável AISI 316L utulizado em sistemas industriais.. 2017. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

Aluno: Sérgio de Souza Raposo

N. Nedjah;Renato Portugal; Outros. Coprocessador para operações quânticas. 2012. Dissertação (Mestrado em Engenharia Eletrônica) - Universidade do Estado do Rio de Janeiro.

Aluno: Carlos Eduardo Hirakawa

S. F. RutzRenato Portugal; Outros. Modelando Evolução por Endossimbiose. 2010. Dissertação (Mestrado em Curso de Mestrado e Doutorado da UERJ) - Universidade do Estado do Rio de Janeiro.

Aluno: Marcos Garcia Todorov

Marcelo Fragoso; João B. R. do Val; Jack Baczynski;Renato Portugal. Controle H-infinito de Sistemas Lineares com Infinitos Saltos Markovianos via Realimentação de Saída. 2007. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Flávio Almeida Lemos

A. G. M. Neves;Renato Portugal; Outros. Modos de vibração da membrana elíptica e problemas de Sturm-Liouville acoplados. 2007. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais.

Aluno: Omar Paranaiba Vilela Neto

Marco A. C. Pacheco; Carlos Roberto Hall Barbosa;Renato Portugal; Maurício Pamplona Pires; Rodrigo Prioli Menezes. Simulação e Síntese Automática de Circuitos de Autômatos Celulares com Pontos Quânticos Através de Técnicas Inteligentes. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Rafael Bernardo Teixeira

Celina Miraglia Herrera de FigueiredoRenato Portugal; Carlos Martinhon. Cortes-Estrela e Cortes-Clique Sanduíche. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Edmar José do Nascimento

Renato Portugal; Outros. Contribuição para a Distribuição Quântica de Chaves com Variáveis Contínuas. 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Sebastián Alberto Grillo

Renato Portugal; Outros. A Reformulation of Quantum Query Model. 2017. Tese (Doutorado em Programa de Engenharia da COPPE - UFRJ) - Universidade Federal do Rio de Janeiro.

Aluno: Fernando V

Renato Portugal; Outros. Mendes. Teleportação de Portas Quânticas. 2015. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Antonio Campello

Costa, S.;Renato Portugal; Outros. Lattices, Projections and Applications to Information Theory. 2014. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Iury Steiner de Oliveira Bezerra

Marco A. C. Pacheco;Renato Portugal; Outros. Investigação de um Modelo ab Initio para Cálculos de Estrutura Eletrônica de Átomos por Algoritmos Evolutivos, Wavelets e Polinômios de Laguerre. 2014. Tese (Doutorado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Cleomar Pereira da Silva

Marco A. C. Pacheco;Renato Portugal; Outros. Programação Genética Maciçamente Paralela em GPUs. 2014. Tese (Doutorado em Doutorado em Engenharia Elétrica - Pontifícia Universidade Católica, RJ) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Douglas Soares Conçalves

Ruggiero, M. G.;C. C. LavorRenato Portugal; Outros. Métodos Matemáticos em Tomografia de Estados Quânticos. 2013. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Elloá Barreto Guedes da Costa

Francisco Marcos de Assis;Renato Portugal; Outros. Capacidade Quântica deSigilo Erro-zero e Informação Acessível Erro-zero de Fontes Quânticas. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: David Sena Oliveira

Rubens Viana Ramos;Renato Portugal; Outros. Entrelaçamento de estados puros de 4 e 6 qubits via negatividade. 2012. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Gilson Oliveira dos Santos

Francisco Marcos de Assis;Renato Portugal; Outros. Proteção da Informação Contra a Ocorrência de Erros Computacionais e Apagamentos. 2012. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Nolmar Melo de Souza

Carlile Campos LavorRenato Portugal; Outros. Uma Álgebra de Clifford de Assinatura (n,3n) e os Operadores Densidade da Teoria da Informação Quântica. 2011. Tese (Doutorado em Doutorado em Matemática) - Universidade Estadual de Campinas.

Aluno: Douglas Mota Dias

Marco A. C. Pacheco;Renato Portugal; Outros. Programação Genética Linear com Inspiração Quântica. 2010. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Tatiane da Silva Evangelista

Carlile Campos LavorRenato Portugal; Outros. Discriminação de estados quânticos via programação semidefinida. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

Aluno: Andre Vargas Abs da Cruz

Marley M. B. R. Vellasco; Marco A. C. Pacheco; Valmir C. Barbosa;Renato Portugal; Leandro dos Santos Coelho; Karla T. F. Leite; Carlos R. H. Barbosa; Yvan J. T. Valdivia. Algoritmos Evolutivos com Inspiração Quântica para Problemas com Representação Numérica. 2007. Tese (Doutorado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Gerusa Alexsandra de Araújo

J. Koiller;Renato Portugal; Outros. Um Modelo para o Movimento Flagelar. 2004. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

Aluno: Sérgio Eduardo Silva Duarte

L. Mota; J. Koiller;Renato Portugal; Raul Oscar Vallejos; Maria Eulalia Vares. Abordagem não classificatória para solução e análise de equações diferenciais ordinárias. 2003. Tese (Doutorado em Física) - Centro Brasileiro de Pesquisas Físicas.

Aluno: Cleomar Pereira da Silva

Marco A. C. Pacheco;Renato Portugal; Outros. Investigação da Convergência em Programação Genética com Inspiração Quântica. 2013. Exame de qualificação (Doutorando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Elloá B

Renato Portugal; Outros. Guedes. Capacidade Quântica de Sigilo Erro-Zero e Informação Acessível de Fontes Quânticas Erro-Zero. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Gilson Oliveira dos Santos

Renato Portugal; Outros. Construção de Decodificadores para Correção de Erros Computacionais e Apagamentos Quânticos. 2011. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: David Sena Oliveira

Rubens Viana Ramos;Renato Portugal; Outros. Estudos sobre Entrelaçamento com Quatro Qubits. 2009. Exame de qualificação (Doutorando em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: João Luzeilton de Oliveira

Rubens Viana Ramos;Renato Portugal; Outros. Ferramentas Algébricas para o Estudo de Emaranhamento de Estados Quânticos. 2009. Exame de qualificação (Doutorando em Engenharia de Teleinformática) - Universidade Federal do Ceará.

Aluno: Susan Wouters

G. A. R. Leal;Renato Portugal; Outros. Grupos Nilpotentes. 2009. Exame de qualificação (Doutorando em Doutorado em Matemática) - Universidade Federal do Rio de Janeiro.

Aluno: Rex Antonio da Costa Medeiros

Francisco Marcos de Assis;Renato Portugal; Outros. Zero-Error Capacity of Quantum Channels. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Juliana Kaizer Vizzotto

Antonio Carlos da Rocha Costa; Alvaro Freitas Moreira; Renata Hax Sander Reiser; Edward Hermann Haeusler;Renato Portugal. An Algebra of Quantum Programming. 2005. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luis Antonio Brasil Kowada

Celina Miraglia Herrera de FigueiredoRenato Portugal; Valmir C. Barbosa;R. J. DonangeloCarlile Campos Lavor. Computação Reversível e Quântica. 2004. Exame de qualificação (Doutorando em Sistemas de Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia.

Aluno: Franklin de Lima Marquezino

Gerson Nunes da Cunha;Renato Portugal; Gustavo Haubrich; José Carlos Tavares da Silva; José Abdalla Helayël Neto. Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída. 2004. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Católica de Petrópolis.

Aluno: Rui Rodrigues de Mello Junior

Renato Portugal; Outros. Banca de Avaliação de Promoção ao Nível de Professor Titular da Coppe. 2015. Universidade Federal do Rio de Janeiro.

Renato Portugal; Outros. Concurso público para professor de carreira superior. 2016. Universidade Federal de Juiz de Fora.

Renato Portugal; Outros. Concurso de Professor Adjunto da Área de Ciência da Computação. 2013. Universidade Federal de São Paulo.

Renato Portugal; Outros. Paralelização e Otimização de Software Científico. 2012. Laboratório Nacional de Computação Científica.

Raul Antonino Feijóo;Renato Portugal; Maurício Vieira Kritz; Luiz Carlos Trevelin; Luiz Marcos Garcia Gonçalves; G. L. Souza Filho. Pesquisa e desenvolvimento em ambiente virtual, sistemas multimídia e sistemas distribuídos. 2004. Laboratório Nacional de Computação Científica.

Renato Portugal; A. E. Xavier; L. M. Carvalho. Concurso Público para Professor Adjunto UERJ na área de Computação Quâtica e Otimização. 2003. Universidade do Estado do Rio de Janeiro.

Renato Portugal; Outros. Pesquisa e Desenvolvimento em Reconstrução de Geometrias e Visualização Científica.. 2002. Laboratório Nacional de Computação Científica.

Renato Portugal; Outros. Coordenador do Premio de Tese de Doutorado Odelar Leite Linhares da SBMAC. 2014. Sociedade Brasileira de Matemática Aplicada e Computacional.

Renato Portugal; Outros. Prêmio Gilberto Velho de Teses. 2013. Universidade Federal do Rio de Janeiro.

Orientou

Liliana Souza do Carmo

Computação Quântica Adiabática; Início: 2023; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Bruno Guingo

Redes neurais quânticas; Início: 2021; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica; (Orientador);

Gustavo A

Bezerra; Computação quântica; Início: 2021; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Paulo Motta

Início: 2021; Laboratório Nacional de Computação Científica;

Gabriel Moyses Delfino

Distribuição quântica de chaves; 2024; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

Gustavo Bezerra

Computação quântica; 2019; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

Felipe Soares

Modelo de manutenção baseada na condição para os trocadores de calor de um sistema de compressão de ar; 2018; Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, ; Orientador: Renato Portugal;

Cauê Teixeira

Standard deviation of a staggered quantum walk on a line of diamonds; 2018; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Natasha do Nascimento Paiva

Análise da Conversão de Algoritmos Criptográficos para a Forma Normal Conjuntiva; 2017; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Jorge Varella

Playout em Cloud Usando Criptografia de Curva Elíptica; 2017; Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, ; Orientador: Renato Portugal;

Boaz Avellar Jr

Aplicação de Métodos Bayesianos e Redes Neurais Artificiais na Inferência Probabilística de Insuficiência Cardíaca; 2016; Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, ; Orientador: Renato Portugal;

Aaron Bruno Leão

Um novo simulador de caminhadas quânticas; 2015; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Daniel Gaspar Gonçalves de Souza

Passeios Aleatórios Clássicos e Quânticos em Tapetes de Sierpiński; 2014; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Juan del Carmen Grados Vásquez

Estudo Comparativo de Algoritmos de Decodifição para Códigos de Goppa Aplicados no McEliece; 2012; 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: Renato Portugal;

Pedro Carlos da Silva Lara

Paralelização Eficiente para o Algoritmo de Exponenciação Modular; 2011; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Raqueline Azevedo Medeiros Santos

Cadeias de Markov Quânticas; 2010; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

Edinelço Dalcumune

Algoritmos Quânticos para o Problema de Isomorfismo de Grafos; 2008; 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: Renato Portugal;

Tharso Dominisini Fernandes

O Problema do Subgrupo Oculto em Grupos Nilpotentes; 2008; 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: Renato Portugal;

Michael Ferreira de Souza

Uma Nova Metodologia para o Cálculo da Informação Acessível; 2007; 45 f; 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: Renato Portugal;

Fábio Borges de Oliveira

Análise da Segurança de Criptografia e Esteganografia em Sequências de Imagens; 2007; 100 f; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

Franklin de Lima Marquezino

A Transformada de Fourier Quântica Aproximada e sua Simulação; 2006; 115 f; 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: Renato Portugal;

Demerson Nunes Gonçalves

Transformada de Fourier Quântica no Grupo Diedral; 2005; 90 f; 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: Renato Portugal;

Jean Faber Ferreira de Abreu

Computação Quânticas em Sistemas Abertos e uma Aplicação ao Modelo Biológico de Fröhlich; 2004; 76 f; Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Frank Acasiete

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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Pedro G

H; Lugão; Análise assintótica de passeios quânticos para algoritmos de busca com múltiplos marcados; 2023; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Cauê Teixeira

Caminhando em vértices e arestas com o passeio quântico contínuo no tempo; 2022; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Juan del Carmen Grados Vásquez

Post-Quantum Cryptography: An Efficient Differential Fault Analysis Attack and a New One-Time Signature Scheme; 2018; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Bruno Chagas

Caminhada Quântica Escalonada em Grade Hexagonal; 2018; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Tharso Dominisini Fernandes

Modelo de Caminhadas Quânticas Escalonado; 2017; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

Pedro Carlos da Silva Lara

Algoritmo Quânticos para Otimização; 2015; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Raqueline Azevedo Medeiros Santos

Algoritmos Baseados em Cadeias de Markov Quânticas; 2014; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Douglas Frederico Guimaraes Santiago

Códigos Quânticos de Correção de Erros do Tipo CWS; 2013; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Jalil Khatibi Moqadam

Análise da Implementação da Porta Toffoli em Sistemas com Imperfeições; 2013; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Susan Wouters

Unidades em Álgebras de Octônios; 2011; Tese (Doutorado em Matemática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Renato Portugal;

Franklin de Lima Marquezino

Análise, simulalações e aplicações algorítmicas de Caminhadas Quânticas; 2010; 0 f; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Demerson Nunes Gonçalves

Algoritmos Quânticos para Problemas em Teoria de Grupos Computacional; 2009; 0 f; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Renato Portugal;

Carlos Magno Martins Cosme

Transformada de Fourier em Grupos Não Comutativos; 2008; 0 f; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, ; Orientador: Renato Portugal;

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, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Renato Portugal;

Luis Antonio Brasil Kowada

Construção de Algoritmos Reversíveis e Quânticos; 2006; 149 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Renato Portugal;

Jean Faber Ferreira de Abreu

Jogos Quânticos a Partir de Hamiltonianos Biofísicos e um Critério de Otimização Sub-neuronal da Informação; 2005; 175 f; Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato Portugal;

Jalil Khatibi Moqadam

2021; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

PEDRO CONTINO DA SILVA COSTA

2018; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Pascal Philipp

2016; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Luís Tarrataca

2016; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Raqueline Azevedo Medeiros Santos

2015; Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Renato Portugal;

Luís Tarrataca

2014; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Jalil Kathibi Moqadam

2014; Laboratório Nacional de Computação Científica, Ministério da Ciência, Tecnologia e Inovação; Renato Portugal;

Franklin de Lima Marquezino

2011; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Nolmar Melo de Souza

2011; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Amanda Castro Oliveira

2007; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Jean Faber Ferreira de Abreu

2006; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Fernando Deeke Sasse

2006; Laboratório Nacional de Computação Científica, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Renato Portugal;

Carlile Campos Lavor

2003; Laboratório Nacional de Computação Científica, ; Renato Portugal;

Leon Ricardo Ururahy Manssur

2003; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Gino J

Añaños; 2001; Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Renato Portugal;

Carolina Coelho

Passeios aleatórios clássicos e quânticos; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Católica de Petrópolis; Orientador: Renato Portugal;

Franklin de Lima Marquezino

Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída; 2004; 60 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Católica de Petrópolis; Orientador: Renato Portugal;

Rui Rodrigues de Mello Junior

Paulo Ricardo Borré Reis

Introdução à Computação Quântica; 2017; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Edgard Winter da Costa

Computação Quântica; 2015; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Igor de Souza Costa

Computação Quântica e Geração de Números Aleatórios; 2014; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Daniel Gaspar Gonçalves de Souza

Algoritmos Quânticos; 2012; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Debora Carolina Kreischer

Implementação em Maple para Geometria Analítica; 2011; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Guilherme de Oliveira Ferreira

O Código Quântico de Shor para Correção de Erros; 2011; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Jorge Luiz Ferreira da Silva Junior

Algoritmos Quânticos de Busca; 2011; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Vitor Pires de Castro

Análise da Oscilação de Membranas e Placas no Maple; 2011; Iniciação Científica; (Graduando em Engenharia) - Universidade Católica de Petrópolis, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Silas Pereira Lima Filho

Algoritmo de Grover; 2010; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

André da Silva Leite

Protocolos Quânticos para troca segura de chaves; 2007; Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Alexandre Souza

Computação Algébrica; 1995; 0 f; Iniciação Científica; (Graduando em Física) - Centro Brasileiro de Pesquisas Físicas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renato Portugal;

Emir Debastiani

Marcos Vinicius Carvalho Ramos Dias

Jovens Talentos: Computação e Física; 2017; Orientação de outra natureza - Universidade Católica de Petrópolis, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Renato Portugal;

Produções bibliográficas

BEZERRA, GUSTAVO A. ; SANTOS, RAQUELINE A. M. ; Portugal, Renato . Quantum counting on the complete bipartite graph. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION , v. 1, p. 2450027, 2024.
LUGÃO, PEDRO H. G. ; Portugal, Renato . Quantum search by continuous-time quantum walk on t-designs. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) , v. 23, p. 140, 2024.
SILVA, CAUÊ F. TEIXEIRA DA ; Posner, Daniel ; Portugal, Renato . Walking on vertices and edges by continuous-time quantum walk. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) , v. 22, p. 93, 2023.
DE SOUZA BARBOSA, ANDERSON ; DE LIMA MARQUEZINO, FRANKLIN ; Portugal, Renato . Steane code analysis by randomized benchmarking. RAIRO-OPERATIONS RESEARCH , v. 57, p. 905-912, 2023.
TANAKA, HAJIME ; SABRI, MOHAMED ; Portugal, Renato . Spatial search on Johnson graphs by continuous-time quantum walk. Quantum Information Processing , v. 21, p. 74, 2022.
LAVOR, CARLILE ; MARQUEZINO, FRANKLIN ; OLIVEIRA, ANDRÊS ; Portugal, Renato . A quantum approach to the discretizable molecular distance geometry problem. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) , v. 21, p. 239, 2022.
Abreu, Alexandre ; Cunha, Luís ; FIGUEIREDO, CELINA ; MARQUEZINO, FRANKLIN ; Posner, Daniel ; Portugal, Renato . Total tessellation cover: Bounds, hardness, and applications. DISCRETE APPLIED MATHEMATICS , v. 323, p. 149-161, 2022.
TANAKA, HAJIME ; SABRI, MOHAMED ; Portugal, Renato . Spatial search on Johnson graphs by discrete-time quantum walk. Journal of Physics A-Mathematical and Theoretical , v. 55, p. 255304, 2022.
Abreu, Alexandre ; Cunha, Luís ; de Figueiredo, Celina ; Kowada, Luis ; MARQUEZINO, FRANKLIN ; Portugal, Renato ; Posner, Daniel . A computational complexity comparative study of graph tessellation problems. THEORETICAL COMPUTER SCIENCE , v. 858, p. 81-89, 2021.
BEZERRA, G. A. ; LUGÃO, P. H. G. ; Portugal, R. . Quantum-walk-based search algorithms with multiple marked vertices. PHYSICAL REVIEW A , v. 103, p. 062202-1-062202-10, 2021.
CAÇÃO, RAFAEL ; CORTEZ, LUCAS ; DE FARIAS, ISMAEL ; KOZYREFF, ERNEE ; KHATIBI MOQADAM, JALIL ; Portugal, Renato . Quantum Walk on the Generalized Birkhoff Polytope Graph. Entropy , v. 23, p. 1239, 2021.
Abreu, A. ; Cunha, L. ; DE FIGUEIREDO, C. ; Kowada, L. ; MARQUEZINO, F. ; Posner, D. ; Portugal, R. . The graph tessellation cover number: Chromatic bounds, efficient algorithms and hardness. THEORETICAL COMPUTER SCIENCE , v. 801, p. 175-191, 2020.
ACASIETE, F. ; AGOSTINI, F. P. ; MOQADAM, J. KHATIBI ; Portugal, R. . Implementation of quantum walks on IBM quantum computers. Quantum Information Processing , v. 19, p. 1-20, 2020.
CHAGAS, BRUNO ; Portugal, Renato . Discrete-Time Quantum Walks on Oriented Graphs. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , v. 315, p. 26-37, 2020.
VALLEJO, ANDRÉS ; ROMANELLI, ALEJANDRO ; DONANGELO, RAÚL ; Portugal, Renato . Entropy production in the quantum walk. PHYSICAL REVIEW A , v. 99, p. 032319, 2019.
COUTINHO, GABRIEL ; Portugal, Renato . Discretization of continuous-time quantum walks via the staggered model with Hamiltonians. Natural Computing , v. 18, p. 403-409, 2019.
HIGUCHI, YUSUKE ; Portugal, Renato ; SATO, IWAO ; SEGAWA, ETSUO . Eigenbasis of the evolution operator of 2-tessellable quantum walks. LINEAR ALGEBRA AND ITS APPLICATIONS , v. 583, p. 257-281, 2019.
COSTA, PEDRO C. S. ; DE MELO, FERNANDO ; Portugal, Renato . Multiparticle quantum walk with a gaslike interaction. PHYSICAL REVIEW A , v. 100, p. 042320, 2019.
KONNO, NORIO ; Portugal, Renato ; SATO, IWAO ; SEGAWA, ETSUO . Partition-based discrete-time quantum walks. Quantum Information Processing , v. 17, p. 100, 2018.
ROMANELLI, ALEJANDRO ; DE LIMA MARQUEZINO, FRANKLIN ; Portugal, Renato ; DONANGELO, RAUL . The energy cost of quantum information losses. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS , v. 497, p. 1-8, 2018.
Portugal, Renato . Element distinctness revisited. Quantum Information Processing , v. 17, p. 163, 2018.
BOETTCHER, STEFAN ; LI, SHANSHAN ; FERNANDES, THARSO D. ; Portugal, Renato . Complexity bounds on quantum search algorithms in finite-dimensional networks. PHYSICAL REVIEW A , v. 98, p. 012320, 2018.
COSTA, PEDRO C. S. ; Portugal, Renato ; DE MELO, FERNANDO . Quantum walks via quantum cellular automata. Quantum Information Processing , v. 17, p. 226, 2018.
CHAGAS, BRUNO ; Portugal, Renato ; BOETTCHER, STEFAN ; SEGAWA, ETSUO . Staggered quantum walk on hexagonal lattices. PHYSICAL REVIEW A , v. 98, p. 052310, 2018.
Borges, Fábio ; Lara, Pedro ; Portugal, Renato . Parallel algorithms for modular multi-exponentiation. Applied Mathematics and Computation , v. 292, p. 406-416, 2017.
PHILIPP, PASCAL ; Portugal, Renato . Exact simulation of coined quantum walks with the continuous-time model. Quantum Information Processing (Print) , v. 16, p. 14, 2017.
KHATIBI MOQADAM, J. ; DE OLIVEIRA, M. C. ; Portugal, R. . Staggered quantum walks with superconducting microwave resonators. PHYSICAL REVIEW B , v. 95, p. 144506, 2017.
Portugal, R. ; DE OLIVEIRA, M. C. ; MOQADAM, J. K. . Staggered quantum walks with Hamiltonians. PHYSICAL REVIEW A , v. 95, p. 012328, 2017.
Portugal, Renato ; SEGAWA, ETSUO . Connecting Coined Quantum Walks with Szegedy's Model. Interdisciplinary Information Sciences , v. 23, p. 119-125, 2017.
BOETTCHER, STEFAN ; LI, SHANSHAN ; Portugal, Renato . Renormalization of the unitary evolution equation for coined quantum walks. Journal of Physics. A, Mathematical and Theoretical (Print) , v. 50, p. 125302, 2017.
Portugal, R. ; FERNANDES, T. D. . Quantum search on the two-dimensional lattice using the staggered model with Hamiltonians. PHYSICAL REVIEW A , v. 95, p. 042341, 2017.
Portugal, Renato . Establishing the equivalence between Szegedy?s and coined quantum walks using the staggered model. Quantum Information Processing (Print) , v. 14, p. 1387-1409, 2016.
Portugal, R. ; SANTOS, R. A. M. ; FERNANDES, T. D. ; GONÇALVES, D. N. . The staggered quantum walk model. Quantum Information Processing (Print) , v. 15, p. 85-101, 2016.
Portugal, Renato . Staggered quantum walks on graphs. PHYSICAL REVIEW A , v. 93, p. 062335, 2016.
DÍAZ, NICOLÁS ; DONANGELO, RAUL ; Portugal, Renato ; ROMANELLI, ALEJANDRO . Transient temperature and mixing times of quantum walks on cycles. PHYSICAL REVIEW A , v. 94, p. 012305, 2016.
A. Ambainis ; R. Portugal ; N. Nahimov . Spatial Search on Grids with Minimum Memory. Quantum Information & Computation , v. 15, p. 1233-1247, 2015.
Portugal, Renato ; BOETTCHER, STEFAN ; FALKNER, STEFAN . One-dimensional coinless quantum walks. Physical Review. A , v. 91, p. 052319, 2015.
BOETTCHER, STEFAN ; FALKNER, STEFAN ; Portugal, Renato . Relation between random walks and quantum walks. Physical Review. A , v. 91, p. 052330, 2015.
MOQADAM, JALIL KHATIBI ; Portugal, Renato ; DE OLIVEIRA, MARCOS CESAR . Quantum walks on a circle with optomechanical systems. Quantum Information Processing (Print) , v. 14, p. 3595-3611, 2015.
SANTOS, RAQUELINE AZEVEDO MEDEIROS ; Portugal, Renato ; BOETTCHER, STEFAN . Moments of coinless quantum walks on lattices. Quantum Information Processing (Print) , v. 14, p. 3179-3191, 2015.
LARA, P. ; LEÃO, A. ; Portugal, R. . Simulation of Quantum Walks using HPC. Journal of Computational Interdisciplinary Sciences , v. 6, p. 21, 2015.
SANTOS, RAQUELINE AZEVEDO MEDEIROS ; Portugal, Renato ; FRAGOSO, MARCELO DUTRA . Decoherence in quantum Markov chains. Quantum Information Processing (Dordrecht. Online) , v. 13, p. 559-572, 2014.
BOETTCHER, STEFAN ; FALKNER, STEFAN ; Portugal, Renato . Renormalization and scaling in quantum walks. Physical Review. A , v. 90, p. 032324, 2014.
ROMANELLI, ALEJANDRO ; DONANGELO, RAUL ; Portugal, Renato ; MARQUEZINO, FRANKLIN DE LIMA . Thermodynamics of N -dimensional quantum walks. PHYSICAL REVIEW. A, ATOMIC, MOLECULAR, AND OPTICAL PHYSICS (ONLINE) , v. 90, p. 022329, 2014.
SANTIAGO, DOUGLAS F. G. ; Portugal, Renato ; MELO, NOLMAR . Non-Pauli observables for CWS codes. Quantum Information Processing (Dordrecht. Online) , v. 12, p. 1871-1884, 2013.
MARQUEZINO, FRANKLIN ; Portugal, Renato ; BOETTCHER, STEFAN . Spatial search algorithms on Hanoi networks. Physical Review. A, Atomic, Molecular, and Optical Physics (Online) , v. 87, p. 012329, 2013.
MOQADAM, JALIL KHATIBI ; Portugal, Renato ; SVAITER, NAMI FUX ; CORRÊA, GILBERTO DE OLIVEIRA . Analyzing the Toffoli gate in disordered circuit QED. Physical Review. A , v. 87, p. 042324, 2013.
LARA, PEDRO CARLOS S. ; Portugal, Renato ; BOETTCHER, STEFAN . QUANTUM WALKS ON SIERPINSKI GASKETS. International Journal of Quantum Information , v. 11, p. 1350069, 2013.
LARA, PEDRO C. S. ; Portugal, Renato ; LAVOR, CARLILE . A new hybrid classical-quantum algorithm for continuous global optimization problems. Journal of Global Optimization , v. 60, p. 317-331, 2013.
BOETTCHER, S ; FALKNER, S ; PORTUGAL, R . Renormalization group for quantum walks. JOURNAL OF PHYSICS. CONFERENCE SERIES (PRINT) , v. 473, p. 012018, 2013.
Lara, Pedro ; Borges, Fábio ; PORTUGAL, RENATO ; Nedjah, Nadia . Parallel modular exponentiation using load balancing without precomputation. Journal of Computer and System Sciences (Print) , v. 78, p. 575-582, 2012.
ABAL, G. ; DONANGELO, R. ; FORETS, M. ; R. Portugal . Spatial quantum search in a triangular network. MSCS. Mathematical Structures in Computer Science (Print) , v. 22, p. 521-531, 2012.
F. L. Marquezino ; Renato Portugal ; F. D. Sasse . Obtaining the Quantum Fourier Transform from the classical FFT with QR decomposition. Journal of Computational and Applied Mathematics , v. 235, p. 74-81, 2010.
R. A. M. Santos ; Renato Portugal . QUANTUM HITTING TIME ON THE COMPLETE GRAPH. International Journal of Quantum Information , v. 08, p. 881-894, 2010.
F. L. Marquezino ; Renato Portugal ; G. Abal . Mixing times in quantum walks on two-dimensional grids. Physical Review. A , v. 82, p. 042341, 2010.
G. Abal ; R. J. Donangelo ; F. L. Marquezino ; Renato Portugal . Spatial search on a honeycomb network. MSCS. Mathematical Structures in Computer Science (Print) , v. 20, p. 999-1009, 2010.
A. Kempf ; Renato Portugal . Group velocity of discrete-time quantum walks. Physical Review. A , v. 79, p. 052317, 2009.
F. L. Marquezino ; Renato Portugal ; G. Abal ; R. J. Donangelo . Mixing times in quantum walks on the hypercube. Physical Review. A , v. 77, p. 042312-1-042312-8, 2008.
Franklin de Lima Marquezino ; Renato Portugal . The QWalk simulator of quantum walks. Computer Physics Communications , v. 179, p. 1, 2008.
Luis Antonio Brasil Kowada ; Carlile Campos Lavor ; Renato Portugal ; Celina Miraglia Herrera de Figueiredo . A New Quantum Algorithm for Solving the Minimum Searching Problem. International Journal of Quantum Information , v. 6, p. 427-436, 2008.
J. M. Martín-García ; D. Yllanes ; Renato Portugal . The Invar tensor package: Differential invariants of Riemann. Computer Physics Communications , v. 179, p. 1, 2008.
J. M. Martín-García ; Renato Portugal ; L. R. U. Manssur . The Invar Tensor Package. Computer Physics Communications , v. 177, p. 640-648, 2007.
Carlile Campos Lavor ; L. M. Carvalho ; Renato Portugal ; C. A. Moura . Complexity of Grover´s algorithm: an algebraic approach. International Journal of Applied Mathematics , v. 20, p. 801-814, 2007.
Jean Faber Ferreira de Abreu ; Renato Portugal ; L. P. Rosa . Information processing in brain microtubules. Biosystems (Amsterdam. Print) , Holanda, v. 83, n.1, p. 1-9, 2006.
J. Faber ; Renato Portugal ; L. P. Rosa . Quantum games in open systems using biophysical Hamiltonians. Physics Letters. A (Print) , v. 357, n.6, p. 433-437, 2006.
Amanda Castro Oliveira ; Renato Portugal ; R. J. Donangelo . Decoherence in two-dimensional quantum walks. Physical Review. A, Atomic, Molecular, and Optical Physics (Online) , v. 74, p. 12312, 2006.
Luis Antonio Brasil Kowada ; Renato Portugal ; Celina Miraglia Herrera de Figueiredo . Reversible Karatsuba's Algorithm. Journal of Universal Computer Science (Print) , v. 12, n.5, p. 499-511, 2006.
L. R. U. Manssur ; R. Portugal . The Canon package: A fast kernel for tensor manipulators. COMPUTER PHYSICS COMMUNICATIONS , v. 157, p. 180, 2004.
L. R. U. Manssur ; Renato Portugal . Stochastic simulation of quantum computation. Europhysics Letters (Print) , v. 63, n.4, p. 492-497, 2003.
L. R. U. Manssur ; Renato Portugal ; B. F. Svaiter . Group-theoretic Approach for Symbolic Tensor Manipulation. International Journal of Modern Physics C , v. 14, n.7, p. 859-879, 2002.
A. Hatzinikitas ; Renato Portugal . The d=6 Trace Anomaly from Quantum Field Theory Four-Loop Graphs in one Dimension. Nuclear Physics. B , EUA, v. 613, p. 237-259, 2001.
D. Frenkel ; Renato Portugal . Algebraic methods to compute Mathieu functions. Journal of Physics. A, Mathematical and General (Print) (Cessou em 2006. Cont. ISSN 1751-8113 Journal of Physics. A, Mathematical and Theoretical (Pri , v. 34, p. 3541-3551, 2001.
A. Malbuisson ; Renato Portugal ; N. F. Svaiter . A Non-perturbative Solution of the Zero-Dimensional lambda phi 4 Field Theory. Physica. A , v. 292, p. 485-493, 2001.
P. Antonelli ; N. Maculan ; Renato Portugal ; S. F. Rutz ; S. Sabau . Transient-States Analysis of a 2-species Dynamical Ecological Model via KCC-Theory. Nonlinear Studies - The international journal , Holanda, v. 8, p. 283-296, 2001.
S. F. Rutz ; Renato Portugal . FINSLER: a Computer Algebra Package for Finsler Geometries. Nonlinear Analysis. Theory, Methods and Applications , v. 47, n.9, p. 6121-6134, 2001.
Renato Portugal . The Riegeom Package: Abstract Tensor Calculations. Computer Physics Communications , Holanda, v. 126, p. 261-268, 2000.
S. Lipshitz ; Renato Portugal ; J. Vanderkooy . Using Computer Algebra to Explore Soud-wave Propagation in Spherical Cavities. Journal of Computing and Information Science in Engineering , Estados Unidos, v. 2, n.2, p. 84-94, 2000.
Renato Portugal ; L. Golebiowski ; D. Frenkel . Oscillation Of Membranes Using Computer Algebra. American Journal of Physics , USA, v. 67, n.JUNE, p. 534-537, 1999.
D. Frenkel ; L. Golebiowski ; Renato Portugal . Computer Algebra Takes On The Vibrating Membrane Problem. Journal of Computing and Information Science in Engineering , v. 1, n.2, 1999.
Renato Portugal . Algorithmic Simplification of Tensor Expressions. Journal of Physics. A, Mathematical and General , v. 32, p. 7779-7789, 1999.
Renato Portugal . An Algorithm To Simplify Tensor Expressions. Computer Physics Communications , Holanda, v. 115, p. 215-230, 1998.
Renato Portugal ; S. Sautú . Applications of Maple to General Relativity. Computer Physics Communications , The Netherlands, v. 105, p. 233-253, 1997.
Renato Portugal . Dirac Equation In Spatially Homogeneous Cosmological Models. Il Nuovo Cimento della Società Italiana di Fisica. B (Testo stampato) , Italia, v. 112, p. 1625-1636, 1997.
Renato Portugal . Exact Solutions Of The Dirac Equations In An Anisotropic Cosmological Background. Journal of Mathematical Physics , v. 26, p. 4296, 1995.
Renato Portugal . Maxwell'S Equations In Spatially Homogeneous Cosmological Models. Astrophysics and Space Science , v. 232, p. 27-36, 1995.
J. V. Domingos ; R. M. Doria ; Renato Portugal . Omega Matrix Of Generalized Gauge Models. Acta Physica Hungarica. Heavy Ion Physics (Print) , Hungria, v. 73, n.2-4, p. 205-223, 1993.
Renato Portugal ; I. D. Soares . Magnetohydrodynamic Cosmologies. The Astrophysical Journal , v. 380, p. 330-333, 1991.
J. A. S. Lima ; Renato Portugal ; I. Waga . Bulk Viscosity And Deflationary Universe. Brazilian Journal of Physics , Brasil, v. 20, n.2, p. 187, 1990.
J. A. S. Lima ; Renato Portugal ; I. Waga . Bulk-Viscosity-Driven Asymmetric Inflationary Universe. Physical Review D , USA, v. 37, n.10, p. 2755-2760, 1988.
Renato Portugal ; I. D. Soares . Magnetohydrodynamic Cosmologies With A Bertotti-Robinson-Like Limit. The Astrophysical Journal , v. 316, p. 483-488, 1987.
DE LIMA MARQUEZINO, FRANKLIN ; Portugal, Renato ; LAVOR, CARLILE . SpringerBriefs in Computer Science. 1. ed. Springer International Publishing, 2019.
R Portugal . Quantum Walks and Search Algorithms. 2. ed. Springer, 2018. 303p .
Portugal, R. . Quantum Walks and Search Algorithms. 1. ed. New York: Springer, 2013. 222p .
Portugal, R. ; D. N. Gonçalves . Códigos Quânticos Corretores de Erros. 1. ed. São Carlos: SBMAC, 2012. 86p .
Renato Portugal . Algoritmos Quânticos de Busca. 1. ed. São Carlos: SBMAC, 2010. v. 1. 137p .
C. C. Lavor (Org.) ; F. L. Marquezino (Org.) ; D. N. Gonçalves (Org.) ; Renato Portugal (Org.) . Anais do III Workshop-Escola de Computação e Informação Quântica. 1. ed. Petrópolis: LNCC, 2010. v. 1. 218p .
Renato Portugal ; Carlile Campos Lavor ; L. M. Carvalho ; N. Maculan . Uma Introdução à Computação Quântica. 1. ed. São Paulo: SBMAC, 2004. v. 100. 62p .
Renato Portugal . Introdução A Programação Em Maple. 1. ed. Rio de Janeiro: Editora CBPF, 1996. v. 1. 220p .
Portugal, Renato ; MARQUEZINO, FRANKLIN . Introdução à Programação de Computadores Quânticos. Jornada de Atualização em Informática 2019. 1ed.: SBC, 2019, v. , p. 1-51.
Abreu, Alexandre ; Cunha, Luís ; Fernandes, Tharso ; de Figueiredo, Celina ; Kowada, Luis ; MARQUEZINO, FRANKLIN ; Posner, Daniel ; Portugal, Renato . The Graph Tessellation Cover Number: Extremal Bounds, Efficient Algorithms and Hardness. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10807, p. 1-13.
G. Giraldi ; C. C. Lavor ; Renato Portugal . A Formal Approach to Quantum Genetic Algorithms. In: Susan Shannon. (Org.). Trends in Quantum Computing Research. : Nova Science Publishers, 2006, v. , p. 135-147.
Renato Portugal ; S. F. Rutz . Computer Algebra for Finsler Geometry. In: Peter Antonelli. (Org.). A Handbook on Finler Geometry. 1ed.Alberta, Canadá: Kluwer, 2003, v. 1, p. 332-401.
MOTTA, PAULO ; BEZERRA, GUSTAVO A. ; SANTOS, ANDERSON F.P. ; Portugal, Renato . Hiperwalk: Simulation of Quantum Walks with Heterogeneous High-Performance Computing. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, Bellevue. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023. p. 424.
Abreu, A. ; Cunha, L. ; T.D. Fernandes ; Figueiredo, C. ; Kowada, L. ; F. L. Marquezino ; Posner, D. ; R Portugal . The Graph Tessellation Cover Number: Extremal Bounds, Efficient Algorithms and Hardness. In: 13th Latin American Symposium, 2018, Buenos Aires. LATIN 2018: Theoretical Informatics, 2018. v. 10807. p. 1-13.
SILVA, CAUE' F. TEIXEIRA DA ; Posner, Daniel ; Portugal, Renato . Staggered quantum walk on a line of diamonds. In: CNMAC 2018 XXXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2018, Campinas, 2018. v. 6.
SILVA, C. T. ; Posner, D. ; PORTUGAL, R. . On the characterization of 3-tessellable graphs. In: XXXVIII CNMAC, 2018, Campinas. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2018. v. 6. p. 010308-1.
Abreu, A. ; Cunha, L. F. ; T.D. Fernandes ; Figueiredo, C. ; Kowada, Luis ; F. L. Marquezino ; Posner, Daniel ; R. Portugal . Bounds and Complexity for the Tessellation Problem. In: 7th Latin-American Workshop on Cliques in Graphs, 2017, La Plata. Annals of 7th Latin-American Workshop on Cliques in Graphs - Matemática Contemporânea, 2017. v. 45. p. 22-30.
D. N. Gonçalves ; R. Portugal ; T.D. Fernandes . An Efficient Quantum Algorithm for the Hidden Subgroup Problem over some Non-Abelian Groups. In: Congresso de Matemática Aplicada e Computacional, 2015, Vitória. Anais do CMAC, 2015. v. 1. p. 1.
R. A. M. Santos ; R. Portugal ; S. Boettcher . Mean square displacement of the coinless quantum walk on the line. In: V Workshop-Escola de Computação e Informação Quântica, 2015, Campina Grande. Anais do V WECIQ, 2015.
VASQUEZ, JUAN DEL CARMEN GRADOS ; BORGES, FABIO ; Portugal, Renato ; Lara, Pedro . An Efficient One-Bit Model for Differential Fault Analysis on Simon Family. In: 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 2015, Saint Malo. 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 2015. p. 61.
P. C. S. Lara ; A.B. Leão ; R. Portugal . Simulation of Quantum Walks using HPC. In: Conference of Computational Interdisciplinary Science, 2014, Asuncion. Proceeding of the 3rd Conference of Computational Interdisciplinary Sciences, 2014. v. 5. p. 230.
P. C. S. Lara ; C. C. Lavor ; Renato Portugal . A Classical-Quantum algorithm for Continuous Global Optimization Problems. In: Global Optimization Workshop 2012, 2012, Natal. Annals of Global Optimization Workshop 2012, 2012. v. 1.
J. G. Vasquez ; R. Portugal . Estudo Comparativo de Algoritmos de Decodificação para Códigos de Goppa Aplicados no McEliece. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.
Fábio Borges ; PETZOLDT, A. ; R. Portugal . Small Private Keys for Systems of Multvariate Quadratic Equations using Symmetric Cryptography. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.
D. F. G. Santiago ; Portugal, R. ; Melo, N. . Non-Pauli Observables for CWS Codes. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 17-22.
F. L. Marquezino ; Portugal, R. ; S. Boettcher . Spatial Search Algorithms on Hanoi Networks. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 56-61.
P. C. S. Lara ; R. Portugal ; S. Boettcher . Quantum Walks on Sierpinski Gaskets. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 62-66.
R. A. M. Santos ; R. Portugal . Simulations of Quantum Markov Chains on Percolation Graphs. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 105-109.
R. A. M. Santos ; R. Portugal . Decoherence in Szegedy's Quantum Walk. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.
Franklin de Lima Marquezino ; Renato Portugal ; S. Boettcher . Quantum search algorithms on hierarchical networks. In: IEEE Information Theory Workshop (ITW), 2011, Paraty. Proc. IEEE Information Theory Workshop, 2011. v. 1. p. 247-251.
D. N. Gonçalves ; Renato Portugal . Algoritmos Quânticos em Tempo Sub-exponencial para 2-Grupos. In: XXXIII Congresso Nacional de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII CNMAC, 2010. v. 1. p. 1.
Fábio Borges ; Renato Portugal ; P. C. S. Lara . Paralelização para o Algoritmo de Exponenciação Modular. In: XXXIII Congresso Nacional de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII CNMAC, 2010. v. 1. p. 1.
D. N. Gonçalves ; Renato Portugal . O Problema do Subgrupo Oculto para uma Classe de Grupos Não-Comutativos. In: III Wokshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 21-30.
G. Abal ; R. J. Donangelo ; M. Forets ; Renato Portugal . Spatial quantum search in a triangular network. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 73-82.
R. A. M. Santos ; Renato Portugal . Quantum Hitting Time on the Cycle. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 83-91.
G. Abal ; R. J. Donangelo ; Franklin de Lima Marquezino ; Amanda Castro Oliveira ; Renato Portugal . Decoherence in Search Algorithms. In: SEMISH 2009 (CSBC), 2009, Bento Gonçalves. Anais do XXIX Congresso da Sociedade Brasileira de Computação, 2009.
P. C. S. Lara ; Fábio Borges ; Renato Portugal . Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular. In: IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2009, Campinnas. Anais do SBSeg, 2009. v. 1. p. 1-10.
Demerson Nunes Gonçalves ; Renato Portugal ; Carlos Magno Martins Cosme . Solutions to the Hidden Subgroup Problem on some Metacyclic Groups. In: 4th Workshop on Theory of Quantum Computation, Communication and Criptography, 2009, Waterloo. Lectures Notes in Computing Science (LNCS), 2009. v. 5906. p. 1-9.
Demerson Nunes Gonçalves ; Renato Portugal ; Carlos Magno Martins Cosme . Algoritmos Quânticos para uma Classe de Produtos Semidiretos de Grupos. In: XXXI Congresso de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC, 2008. v. 1. p. 159-163.
Luis Antonio Brasil Kowada ; Celina Miraglia Herrera de Figueiredo ; Renato Portugal ; Carlile Campos Lavor . Aplicação do Algoritmo de Grover para Problemas NP-Completos. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 21-30.
Michael Ferreira de Souza ; Carlile Campos Lavor ; Renato Portugal ; N. Maculan . Cálculo da informação acessível via branch-and-bound e aritm´etica intervalar. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 31-40.
Carlos Magno Martins Cosme ; Renato Portugal . O Problema do Subgrupo Oculto em uma Classe de Produto Semidireto de Grupos. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 80-89.
Franklin de Lima Marquezino ; Renato Portugal . QWalk: Simulador de Caminhadas Quânticas. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 123-132.
Fábio Borges ; Portugal, R. ; Jauvane C. Oliveira . Steganography with Public-Key Cryptography for Videoconference. In: XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Anais do XXX CNMAC, 2007. v. 1. p. 1-6.
Jean Faber Ferreira de Abreu ; Renato Portugal ; L. P. Rosa . Quantum Channels as Quantum Games. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 219-228.
Michael Ferreira de Souza ; Carlile Campos Lavor ; Renato Portugal . O problema do cálculo da informação acessível. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 255-264.
Amanda Castro Oliveira ; Renato Portugal ; R. J. Donangelo . Two-Dimensional Quantum Walks with Boundaries. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 211-218.
Renato Portugal ; Carlos Magno Martins Cosme ; Demerson Nunes Gonçalves . Algoritmos Quânticos. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIC2006, 2006. v. 1. p. 67-100.
C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Quantum Computing and Database Search. In: Workshop em Grade Computacional e Aplicações, 2003, Petrópolis. Proceedings do Workshop em Grade Computacional e Aplicações, 2003. v. 1.
J. Faber ; L. P. Rosa ; Renato Portugal . Information processing in brain microtubules. In: Quantum Mind 2003 - Consciousness, Quantum Physics and the Brain, 2003, Tucson. Proceedings of Quantum Mind 2003, 2003. v. 1.
C. C. Lavor ; N. Maculan ; Renato Portugal . O Algoritmo de Brüschweiler. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais da SBPO, 2003. v. 22.
C. C. Lavor ; N. Maculan ; Renato Portugal . O Algoritmo de Grover. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais da SBPO, 2003. v. 22.
F. Haas ; Renato Portugal . Computacao Algébrica e Simetrias de Lie. In: XXIV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2001, Belo Horizonte. Minicurso do XXIV CNMAC, 2001.
Renato Portugal ; Carlile Campos Lavor ; L. M. Carvalho . Quantum Algorithms for the Graph Isomorphism Problem. In: CNMAC, 2005, São Paulo, 2005.
L. M. Carvalho ; Carlile Campos Lavor ; Renato Portugal . Representações de um q-bit: propriedades e visualização. In: XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo, 2005.
D. G. G. Souza ; R. Portugal ; D. N. Gonçalves . Sieve Algorithm for the Hidden Subgroup Problem on Semidirect Product Groups. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 152.
Melo, N. ; D. F. G. Santiago ; R. Portugal . Detecting Errors In a Non Binary Quantum Code. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 156.
D. G. G. Souza ; D. N. Gonçalves ; Renato Portugal . Algoritmo quântico com espaço de dados polinomial para o problema do subgrupo oculto sobre grupos metacíclicos. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 213-214.
D. F. G. Santiago ; Renato Portugal . ?Codeword Stabilized Quantum Codes? e Algoritmos com Inspiração Genética. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 203-204.
Amanda Castro Oliveira ; R. J. Donangelo ; Renato Portugal . Simulation of the Double Slit Experiment with Quantum Walkers. In: Quantum Optics IV, 2008, Florianópolis. Program and Book of Abstracts, 2008. v. 1.
Amanda Castro Oliveira ; Franklin de Lima Marquezino ; Renato Portugal ; R. J. Donangelo . Comparative behavior of the two-dimensional quantum walker with diferent sources of noise. In: XXXI Encontro nacional de Física da Matéria Condensada, 2008, Águas de Lindóia. Resumos do XXXI Encontro nacional de Física da Matéria Condensada, 2008. v. 1.
Demerson Nunes Gonçalves ; Carlos Magno Martins Cosme ; Renato Portugal . Um Algoritmo Quântico Eficiente para o PSE em Zm semidireto Zp. In: CNMAC, 2006, Campinas, 2006.
Demerson Nunes Gonçalves ; Renato Portugal . Transformada de Fourier em Grupos Não-comutativos. In: XXVII Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre, 2004.
C. C. Lavor ; N. Maculan ; Renato Portugal . Shor's Algorithms and Applications to Break the Protocols of Classical Cryptography. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto. Anais do XXVI CNMAC, 2003. v. 1. p. 1-10.
L. R. U. Manssur ; Renato Portugal . Group-theoretic approach for symbolic tensor manipulation. In: Encontro Nacional de Partículas e Campos, 2002, São Lourenço, 2002.
Renato Portugal ; L. R. U. Manssur ; R. S. Silva ; F. L. Marquezino . Simulação de Computação Quântica. In: XXV CNMAC, 2002, Nova Friburgo, 2002.
Renato Portugal . Application of Computational Group Theory for Tensor Simplification. In: 6th IMACS Conference on Applications of Computer Algebra, 2000, Saint Petersburg. Proceedings of the 6th IMACS Conference on Applications of Computer Algebra, 2000. v. 1. p. 18.
Renato Portugal ; S. Sautú . O Pacote Riemann. In: XVI Encontro Nacional de Física de Partículas e Campos, 1995, Caxambú, 1995.
Portugal, R. . A matemática da computação quântica. 2018. (Apresentação de Trabalho/Conferência ou palestra).
Franklin de Lima Marquezino ; PORTUGAL, RENATO ; S. Boettcher . Quantum Walks in Hierarchical Regular Networds. 2011. (Apresentação de Trabalho/Congresso).
Portugal, R. . DESAFIOS DA COMPUTAÇÃO QUÂNTICA. 2009. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

J. M. Martín-García ; Renato Portugal ; L. R. U. Manssur . The Invar Tensor Package. 2007.

L. R. U. Manssur ; Renato Portugal . The Canon Package. 2003.

D. Frenkel ; Renato Portugal ; E. Cheb-Terrab . Mathieu Functions. 2003.

Renato Portugal ; S. F. Rutz . The Finsler Package. 2003.

Renato Portugal . The Riegeom Package. 2000.

Renato Portugal ; S. Sautú . The Riemann Package. 1997.

Renato Portugal . Zeros of Bessel and Related Functions. 1997.

Portugal, R. ; F. L. Marquezino . Introdução à programação de computadores quânticos. 2019. (Curso de curta duração ministrado/Outra).

R Portugal . Introdução à computação quântica. 2018. (Curso de curta duração ministrado/Outra).

R. Portugal . Códigos Quânticos Corretores de Erros. 2012. (Curso de curta duração ministrado/Outra).

R. Portugal . Quantum Computing: Concepts and Applications. 2012. (Curso de curta duração ministrado/Outra).

R. Portugal . Códigos Quânticos Corretores de Erros. 2012. (Curso de curta duração ministrado/Outra).

Portugal, R. . Algoritmos Quânticos de Busca. 2010. (Curso de curta duração ministrado/Outra).

Portugal, R. . Códigos Quânticos. 2010. (Curso de curta duração ministrado/Outra).

Antonio Carlos da Rocha Costa ; Renato Portugal . Anais do Workshop-Escola de Computação e Informação Quântica. 2006. (Editoração/Anais).

C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Shor's Algorithm for Factoring Large Integers. 2003 (Relatório Técnico) .

C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Grover's Algorithm: Quantum Database Search. 2003 (Relatório Técnico) .

C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Stochastic Simulation of Quantum Computation. 2003 (Relatório Técnico) .

Renato Portugal . Algorithms To Find Zeros Of Bessel And Airy Functions. 1997 (SOFTWARE) .

Renato Portugal . Introducao Ao Maple. 1996 (APOSTILA DIDATICA) .

Projetos de pesquisa

2023 - Atual

CNPq/Sempi: APLICAÇÕES INDUSTRIAIS DA COMPUTAÇÃO QUÂNTICA, Descrição: A computação quântica está em um momento de transição no qual já podemos visualisar aplicações práticas, porém ainda sem trazer resultados concretos, já que os computadores quânticos disponíveis têm um taxa de erro muito alta. Este é o ponto certo para um tipo de pesquisa científica que analise o potencial prático desta área. O projeto 'Aplicações Industriais da Computação Quântica' se encaixa neste contexto, juntando uma rede de pesquisadores que pode contribuir com o conhecimento teórico nas áreas de aprendizagem de máquina, otimização, teoria de grafos, algoritmos e computação de alto desempenho com pesquisadores do Senai- Cimatec lidando diretamente com as necessidades da indústria brasileira em recursos computacionais, que extrapolam o que os supercomputadores podem oferecer. As respostas para estas necessidades requerem pesquisa de ponta em software quântico, já disponíveis nas Universidades e centros de pesquisas brasileiros, de encontro com os problemas específicos delineados pelas empresas. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (8) / Doutorado: (13) . , Integrantes: Renato Portugal - Coordenador / Outros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2022 - Atual

Faperj CNE: Computação Quântica para Busca e Otimização, Descrição: O projeto de pesquisa Computação Quântica para Busca e Otimização visa ao desenvolvimento de novos algoritmos quânticos para problemas de otimização de portfólios e matrizes energéticas e para problemas de busca espacial em grafos. Estes algoritmos e protocolos serão implementados nos computadores quânticos disponibilizados pela IBM e serão simulados usando recursos de computação de alto desempenho. A simulação requer o desenvolvimento e extensão de programas de computação paralela, que é uma da metas deste projeto. Para implementar os algoritmos de otimização, usamos o protocolo QAOA, desenvolvido por um grupo de pesquisadores do MIT em 2014. Para os algoritmos de busca, usamos o passeio quântico escalonado, que é uma nova versão a tempo discreto de passeios quânticos, útil tanto nos problemas de busca quanto na implementação física em laboratórios, desenvolvido pelo autor deste projeto junto com colaboradores. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante deste projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (5) . , Integrantes: Renato Portugal - Coordenador.
2018 - 2022

CIENTISTA DO NOSSO ESTADO: Algoritmos Quânticos: Desenvolvimento, Análise e Implementação, Descrição: O projeto de pesquisa Algoritmos Quânticos: Desenvolvimento, Análise e Implementação se insere na área de Computação Quântica e visa ao desenvolvimento de novos algoritmos quânticos para o problema da distinção de elementos e para problemas de busca espacial em grafos. Além disso, visa também à análise de passeios quânticos em grafos, construção de um simulador usando computação de alto desempenho e implementação dos algoritmos em computadores quânticos de 5, 16 e 20 qubits disponibilizados pela IBM. Usamos o passeio quântico escalonado, que é uma nova versão a tempo discreto de passeios quânticos, útil tanto nos problemas de busca quanto na implementação física em laboratórios, desenvolvido pelo autor deste projeto junto com colaboradores. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante deste projeto.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato Portugal - Coordenador., Financiador(es): FAPERJ - Outra.
2014 - 2018

Projeto CAPES/UDELAR: Análise da Termodinâmica de Passeios Quânticos e Aplicações em Algoritmos de Busca, Descrição: Projeto de intercâmbio de pesquisadores e alunos de pós-graduação entre o LNCC, UFRJ e Universidad de la Republica (Udelar) atráves de missões de trabalho de duas semanas e missões de estudo de três meses.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Raul Donangelo - Integrante / Alejandro Romanelli - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
2014 - 2018

Projeto Ciencia sem Fronteiras PVE: Analyzing the Computational Performance of Quantum Walk Based Algorithms on Structured Graphs, Descrição: Temos como objetivo geral o estudo do desempenho de algoritmos de busca quântica e sua dependência na forma da estrutura. Ao contrário dos algoritmos clássicos, a interferência quântica e a necessidade de preservar a coerência em ambientes potencialmente irregulares e desordenados podem representar desafios significativos para um algoritmo quântico. Vamos analisar a interação entre a interferência quântica e o meio ambiente e seu efeito sobre a complexidade algorítmica usando tanto métodos analíticos quanto simulações. Em particular, nos aventuramos em explorar a eficácia de técnicas baseadas no grupo de renormalização (GR) para a análise de algoritmos quânticos. GR é uma ideia vencedora de prêmio Nobel de Física usado amplamente em Física Estatística para analisar fenômenos críticos de escala e é a chave para a noção física de universalidade. GR permite categorizar os processos com diversos detalhes microscópicos em classes de universalidade exibindo relações idênticas de escala macroscópica, semelhante à complexidade algorítmica. Uma dessas classes, por exemplo, .... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (7) . , Integrantes: Renato Portugal - Coordenador / Outros - Integrante / Stefan Boettcher - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2014 - 2016

PAPD - Parceria Capes/FAPERJ: Algoritmos de Busca Baseados em Passeios Quânticos, Descrição: O Programa de Apoio ao Pós-Doutorado no Rio de Janeiro (PAPDRJ) concede bolsas de valor R$ 4.100 mensais com duração de cinco anos com taxa de bancada de R$ 1.000 mensais. O projeto "Algoritmos de Busca Baseados em Passeios Quânticos" usa o passeio quântico desenvolvido por Patel e colaboradores, conhecido como passeio quântico sem moeda. Este passeio quântico foi proposto originalmente em uma malha bidimensional e recebeu pouca atenção. Recentemente, dois resultados mostraram que esta versão de passeio quântico é promissora para a formulação de novos algoritmos quânticos mais eficientes. O foco deste projeto é explorar esta nova versão, analisar seu comportamento em diversos grafos e desenvolver novos algoritmos para o problema de busca espacial, avaliação de fórmulas booleanas e propor implementações físicas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (3) . , Integrantes: Renato Portugal - Coordenador / Raqueline A. M. Santos - Integrante.
2014 - 2016

Projeto Ciência Sem Fronteiras BJT-B - Algoritmos de Busca Baseados em Passeios Quânticos, Descrição: A tecnologia quântica está amadurecendo e agora é possível construir um dispositivo computacional quântico cujo desempenho ultrapassa os seus equivalentes clássicos. Um computador quântico recentemente lançado pela companhia canadense D-Wave é capaz de resolver problemas de optimização ao evoluir adiabaticamente um estado inicial previamente conhecido em direção ao estado fundamental de um Hamiltoniano que codifica a solução do problema. Este projeto pretende explorar o ambiente de evolução quântica adiabática de forma a desenvolver algoritmos potencialmente práticos de busca em grafos. Em particular, iremos focar em algoritmos de busca em árvores, que permitem a análise de espaços de busca cuja dimensão cresce de forma exponencial. Estes algoritmos são utilizados em diversas aplicações desde algoritmos de xadrez a sistemas computacionais aplicados à medicina. Os algoritmos quânticos de busca em árvore têm ganho quadrático relativamente às suas versões clássicas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Renato Portugal - Coordenador / Luís Tarrataca - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2016

Projeto Universal: Algoritmos Quânticos e Híbridos, Descrição: O projeto de pesquisa Algoritmos Quânticos e Híbridos se insere na área de Computação Quântica e visa ao desenvolvimento de novos algoritmos quânticos para problemas de busca em grafos, problema do subgrupo oculto e algoritmos híbridos clássico-quânticos. Nos problemas de busca, usamos a metodologia dos Passeios Quânticos que é uma ferramenta importante na área de Cadeias de Markov Quânticas. Nos algoritmos híbridos, substituímos subrotinas clássicas tipicamente ineficientes por subrotinas quânticas com foco em problemas de otimização global. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante deste projeto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Outros - Integrante / Carlile Lavor - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2016

CIENTISTA DO NOSSO ESTADO: Algoritmos Quânticos e Híbridos, Descrição: As bolsas "Cientistas do Nosso Estado", ou "Bolsas de Bancada para Projetos ? BBP" destinam-se a apoiar, por meio de concorrência, projetos coordenados por pesquisadores de reconhecida liderança em sua área, com vínculo empregatício em instituições de ensino e pesquisa sediadas no estado do Rio de Janeiro. As propostas selecionadas receberão recursos mensais por 36 meses, visando prover apoio para o desenvolvimento de seus projetos de pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Renato Portugal - Coordenador / Outros - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2012 - 2013

Projeto Universal: Algoritmos Quânticos e Códigos Corretores de Erros, Descrição: O projeto de pesquisa "Algoritmos Quânticos e Códigos Corretores de Erros" se insere na área de Computação Quântica e visa tanto ao desenvolvimento de novos algoritmos quânticos para problemas de busca em grafos e para o problema do subgrupo oculto como à análise e construção de códigos quânticos corretores de erros. Nos problemas de busca, usamos a metodologia dos Passeios Quânticos que é uma ferramenta importante na área de Cadeias de Markov Quânticas. Na correção de erros, usamos a metodologia CWS que permite a codificação e decodificação de códigos corretores não-lineares com parâmetros superiores aos códigos estabilizadores. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante desse projeto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (5) . , Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Outros - Integrante / Carlile Campos Lavor - Integrante / Douglas F. G. Santiago - Integrante / Nolmar Melo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2013

PDI: Computação e Comunicação Quântica, Descrição: Esse projeto tem como objetivo desenvolver pesquisa na área de computação e comunicação quântica com foco: (1) na elaboração e análise de novos algoritmos quânticos, que têm aplicações práticas relevantes, como para problemas de busca em grafos e problemas combinatoriais expressos em termos da teoria de grupos computacionais, (2) na elaboração e análise de novos códigos quânticos de correção de erros, com aplicações práticas para o funcionamento do computador quântico e para a comunicação segura de dados usando princípios quânticos, (3) na elaboração de um novo tipo de algoritmo para o problema da distância na geometria molecular. O projeto se encaixa no "Grande Desafio: Impactos para a área da computação da transição do silício para novas tecnologias" e analisa as consequências de importantes propostas para substituir a tecnologia baseada em silício: a computação quântica e a computação reversível. Os temas escolhidos nesse projeto terão uso prático imediato quando o computador quântico sair dos domínios dos laboratórios de Física. Nesse momento, o investimento em um projeto de pesquisa básica em computação quântica é estratégico para o país criar no futuro próximo novas empresas baseadas nessa nova tecnologia.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) . , Integrantes: Renato Portugal - Coordenador / Outros - Integrante / Carlile Lavor - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / Raul Donangelo - Integrante / Demerson N. Gonçalves - Integrante / Guilherme Augusto de la Rocque Leal - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2012

Algoritmos Quânticos para o Problema do Subgrupo Oculto, Descrição: Propomos investigar o uso de Passeios Aleatórios Quânticos ao Problema do Subgrupo Oculto. algoritmos quânticos eficientes para certas instâncias do Problema do Subgrupo Oculto. Vamos nos concentrar na classe de grupos nilpotentes, que são os candidatos mais naturais no estágio atual da pesquisa nesta vertente da Computação Quântica. Nossa estratégia é generalizar os métodos já desenvolvidos para este problema e investigar o uso de novos métodos, a saber, a transformada de Fourier não-abeliana e passeios aleatórios quânticos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato Portugal - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7
2009 - 2011

Projeto Universal: Algoritmos Quânticos, Descrição: Sabemos que a lei de Moore está dando seu suspiro final. Técnicas de paralelização estão sendo usadas como último recurso para manter o status quo da tecnologia baseada em silício. A miniaturização dos chips está chegando ao ponto que efeitos quânticos danosos não podem mais ser evitados. Apesar da importância da computação nos mais variados aspectos da sociedade moderna, a real potencialidade dos computadores está além do horizonte visível. É neste contexto que se insere a pesquisa básica na computação quântica. Se as flutuações quânticas estão se tornando o pior inimigo para o desenvolvimento da capacidade dos computadores, então não está na hora de domar os efeitos quânticos para desenvolver máquinas mais rápidas? Um hardware que use as propriedades quânticas para processamento de informação requer inevitavelmente um novo tipo de software. Uma vez que a mudança do paradigma ocorreu na base, toda a estrutura da teoria deve ser generalizada ou modificada. Esta generalização está longe de ser trivial, por duas razões basicamente. Primeiro, os algoritmos quânticos não podem ter a mesma eficiência dos clássicos, pois isso não justifica a construção do computador quântico. Segundo, os algoritmos usam as características mais intrincadas da mecânica quântica e são formulados usando áreas avançadas da matemática. É neste contexto que se insere a presente proposta. Este projeto visa desenvolver pesquisa básica em Computação Quântica com foco nos seguintes objetivos: 1. Desenvolver novos algoritmos quânticos baseados em passeios aleatórios quânticos. 2. Desenvolver novos algoritmos quânticos baseados na metodologia do ?Problema do Subgrupo Oculto?; 3. Desenvolver novos protocolos de correção quântica de erros usando o método de operadores na representação de Heisenberg. Este projeto dá continuidade a projetos anteriores, em particular, ao projeto financiado pelo edital CT-Info no 07/2007 dentro de um dos grandes desafios apontados pela SBC: ?Impactos para a área da computaç. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Renato Portugal - Coordenador / Demerson Nunes Gonçalves - Integrante / Carlile Campos Lavor - Integrante / Raul Donangelo - Integrante / Gonzalo Abal - Integrante / Kempf, A. - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
2007 - 2009

CT-Info: Computação e Comunicação Quântica, Descrição: Este projeto visa desenvolver pesquisa básica em Computação Quântica e Comunicação Quântica com foco nos seguintes objetivos: 1. Desenvolver novos algoritmos quânticos baseados na metodologia do ?Problema do Subgrupo Oculto?; 2. Desenvolver novos algoritmos para o cálculo da capacidade de canais quânticos; 3. Desenvolver novos algoritmos quânticos baseados em passeios aleatórios quânticos. O projeto se encaixa dentro do desafio ?Impactos para a área da computação da transição do silício para novas tecnologias?.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (7) . , Integrantes: Renato Portugal - Coordenador / Carlile Campos Lavor - Integrante / Amanda Castro Oliveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2007

Simulação Estocástica de Computação Quântica, Descrição: Investigamos em primeiro lugar a possibilidade de simulação eficiente de algoritmos quânticos usando a decomposição de Hubbard-Stratonovich, que consiste num método estocástico que lineariza as interações de portas quânticas emaranhadas introduzindo integrais em campos auxiliares. Pretendemos analisar os algoritmos quânticos que tem ganho exponencial em relação aos equivalentes clássicos, como os algoritmos de Shor, e em particular a transformada de Fourier quântica em grupos. Recentemente um grande esforço tem sido despendido no desenvolvimento de algoritmos baseados em caminho aleatórios quânticos (quantum random walks). Um resultado relevante foi mostrado recentemente (2001) que o tempo de alcance (hitting time) de um extremo a outro do hipercubo cresce polinomialmente com o número de vértices no caso quântico, enquanto que no caso clássico cresce exponencialmente. Temos interesse não só na simulação desse tipo de algoritmos, como também no desenvolvimento de novos algoritmo baseados em caminho aleatórios quânticos, em particular, algoritmos para encontrar cliques em grafos. Esse projeto envolve colaboração com pesquisadores de outras instituições (UERJ, CBPF, UNISINOS) e alunos de mestrado e doutoramento. Seus resultados serão apresentados em conferências nacionais e internacionais, e serão publicados em revistas com corpo editorial, como tem sido nossa prática, como pode ser visto nos documentos anexos. Nosso conhecimento dessa área também são transmitidos em cursos de pós-graduação de computação quântica e trabalhos de divulgação na área.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato Portugal - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2002 - 2004

Invariantes Diferenciais do Tensor de Riemann, Descrição: Usar os algoritmos da Teoria de Grupo Computacional para gerar uma manipulação eficiente de expressões tensoriais. Obter bases para os invariantes diferenciais usando algoritmos para bases canônicas transversas de classes laterais duplas de subgrupos do grupo simétrico. Implementar na linguagem Maple os algoritmos desenvolvidos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato Portugal - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
1990 - 2001

Outros, como participante, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato Portugal - Integrante / Outros - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

Prêmios

2017

Howard E. Brandt Best Paper Award, Springer Nature Group.

2012

Prêmio Capes de Tese 2011 - Orientador da melhor tese de doutorado interdisciplinar, CAPES.

2010

Prêmio Odelar Leite Linhares SBMAC - Orientador da melhor dissertação, SBMAC.

1996

Professor Homenageado, Formandos da Engenharia Elétrica da PUC-Rio.

Histórico profissional

Endereço profissional

Laboratório Nacional de Computação Científica, Coordenação de Ciência da Computação. , Rua Getúlio Vargas 333, Quitandinha, 25651-070 - Petropolis, RJ - Brasil - Caixa-postal: 95113, Telefone: (24) 22336069, Ramal: 6069, Fax: (24) 22315595, URL da Homepage:

Experiência profissional

2014 - Atual

Universidade Católica de Petrópolis

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 10

1998 - 1998

Queen's University at Kingston

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

Atividades

03/1998 - 12/1998
Pesquisa e desenvolvimento, Department Of Physics.,Linhas de pesquisa

1996 - 1998

University of Waterloo

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

Atividades

12/1996 - 02/1998
Pesquisa e desenvolvimento, Faculty Of Mathematics, Department Of Applied Mathematics.,Linhas de pesquisa

1995 - 1997

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Outro, Enquadramento Funcional: Professor Adjunto, Carga horária: 12

Atividades

03/1995 - 12/1996
Ensino, Bacharelado em Física, Nível: Graduação,Disciplinas ministradas, Tópicos de Física, Métodos Matemáticos para Física e Engenharia

1985 - 1989

Universidade Federal Fluminense

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

Atividades

03/1985 - 02/1989
Pesquisa e desenvolvimento, Centro de Estudos Gerais, Departamento de Física.,Linhas de pesquisa
07/1985 - 12/1988
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Física XII, Teoria da Relatividade, Física I, Laboratório de Física XI
08/1985 - 10/1988
Extensão universitária .,Atividade de extensão realizada, COSMOLOGIA.

1999 - Atual

Laboratório Nacional de Computação Científica

Vínculo: , Enquadramento Funcional: Pesquisador Titular, Carga horária: 40

Atividades

03/2001
Ensino, Modelagem Computacional, Nível: Pós-Graduação,Disciplinas ministradas, Computação Quântica I, Computação Quântica II, Matemática Discreta, Teoria de Grupos Computacionais
10/1999
Pesquisa e desenvolvimento, Coordenação de Ciência da Computação, Ministério da Ciência e Tecnologia.,Linhas de pesquisa

1988 - 1999

Centro Brasileiro de Pesquisas Físicas

Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador Adjunto, Carga horária: 40

Atividades

12/1988 - 09/1999
Pesquisa e desenvolvimento, Laboratório de Cosmologia e Física Experimental de Altas Energias, Ministério da Ciência e Tecnologia.,Linhas de pesquisa
03/1999 - 06/1999
Ensino, Física, Nível: Pós-Graduação,Disciplinas ministradas, Tensores, Formas e Espinores, Gravitação

2021 - Atual

Centro Universitário SENAI CIMATEC

Vínculo: Bolsista, Enquadramento Funcional: Consultoria de computação quântica, Carga horária: 10