Mauricio Ayala Rincon http://lattes.cnpq.br/8466420403941522

Última atualização do Lattes: 29.11.2023

Nomes de citação: M. Ayala-Rincón / AYALARINCON, M / Ayala-Rincon, M. / Ayala-Rincón, Mauricio / AYALA-RINCON, MAURICIO / AYALA-RINC´N, MAURICIO / AYALA-RINC'N, MAURICIO
Mestrado: 29
Doutorado: 13
Pos-Doutorado: 4
Outras: 56
  • Software (15)+
    • Ano
      2020
      Título
      DEPENDENCY PAIRS - formalização em PVS da correção da automação da terminação de sistemas de reescrita por pares dependentes - Parte de NASA LaRC PVS library
    • Ano
      2020
      Título
      NOMINAL - ORTHOGONALITY - formalização em PVS da correção de mecanismos de raciocínio equacional nominal
    • Ano
      2013
      Título
      ORTHOGONALITY - formalização em PVS do teorema de confluência de sistemas de rescrita ortogonais - Parte de NASA LaRC PVS library
    • Ano
      2012
      Título
      Formalização da segurança do modelo criptográfico de Dolev Yao em PVS
    • Ano
      2011
      Título
      UNIFICATION, uma teoria PVS para unificação em sistemas de primeira ordem - Parte de NASA LaRC PVS library
    • Ano
      2010
      Título
      Terminação pelo "size-change principle" via grafos de contextos de chamados em PVS
    • Ano
      2009
      Título
      Sistema de Controle Distribuído de Grupo de Elevadores Usando Dispositivos Reconfiguráveis
    • Ano
      2008
      Título
      TRS - PVS theory for term rewriting systems - Parte de NASA LaRC PVS library
    • Ano
      2007
      Título
      ARS - PVS theory for abstract reduction systems - Parte de NASA LaRC PVS library
    • Ano
      2005
      Título
      SAEPTUM uma ferramenta de translação de especificações de reescrita em ELAN para teorias lógicas
    • Ano
      2005
      Título
      FELIX: utilização de reescrita-lógica para geraçao de implementações funcionalmente equivalentes
    • Ano
      2004
      Título
      SUBSEXPL uma ferramenta para comparação de cálculos de substituições explícitas
    • Ano
      2001
      Título
      Sistema de Animação Gráfica para Visualização de Relações de Equivalência entre Modelos e Representações Gramaticais de Linguagens Formais - SAGEMoLiC
    • Ano
      1999
      Título
      Sistema de Animação Gráfica de Algoritmos para Reconhecimento de Padrões em Palavras - SAGAReP
    • Ano
      1995
      Título
      Algoritmo de decisão para a aritmética de Presburger
  • Trabalho Técnico (28)+
    • Ano
      2019
      Título
      Co-chair primeira rodada Chamada Brazil/Suiça CNPq/SNSF 29/2018
    • Ano
      2018
      Título
      Membro do comitê avaliador da segunda etapa do Edital 12/2017 Startups da FAPDF
    • Ano
      2017
      Título
      Membro do Comitê de priorização de projetos do Edital 04/2017 ? Demanda Espontânea da FPDF
    • Ano
      2016
      Título
      Membro do Comitê de priorização de projetos dos Programas COFECUB e PROBRAL
    • Ano
      2014
      Título
      Membro do Comitê Julgador 1a rodada Edital MCT/SETEC/CNPq Nº 054/2013 ? RHAE Pesquisador na Empresa
    • Ano
      2014
      Título
      Membro do Comitê de Seleção de Bolsistas Doutorado e Sandúiche DAAD/CNPq-CAPES
    • Ano
      2014
      Título
      Membro do Comitê Julgador 2a rodada Edital MCT/SETEC/CNPq Nº 054/2013 ? RHAE Pesquisador na Empresa
    • Ano
      2013
      Título
      Membro do Comitê de Seleção de Bolsistas Doutorado e Sandúiche DAAD/CNPq-CAPES
    • Ano
      2013
      Título
      Membro do Comitê Técnico de Avaliação Propostas PAPPE Integração, Edital FAPDF 08
    • Ano
      2012
      Título
      Membro do Comitê de Seleção de Bolsistas Doutorado e Sandúiche DAAD/CNPq-CAPES
    • Ano
      2012
      Título
      Membro do Comitê Julgador 1a rodada Edital MCT/SETEC/CNPq Nº 017/2012 ? RHAE Pesquisador na Empresa
    • Ano
      2011
      Título
      Membro do Comitê Julgador 1a rodada Edital MCT/SETEC/CNPq Nº 075/2010 ? RHAE Pesquisador na Empresa
    • Ano
      2011
      Título
      Membro do Comitê de Seleção de Bolsistas Doutorado e Sandúiche DAAD/CNPq-CAPES
    • Ano
      2011
      Título
      Membro do Comitê Julgador 2a rodada Edital MCT/SETEC/CNPq Nº 075/2010 ? RHAE Pesquisador na Empresa
    • Ano
      2011
      Título
      Membro do Comitê Julgador 3a rodada Edital MCT/SETEC/CNPq Nº 075/2010 ? RHAE Pesquisador na Empresa
    • Ano
      2011
      Título
      Membro do Comitê Julgador do Prêmio Pesquisador do DF
    • Ano
      2010
      Título
      Membro do Comitê Julgador 1a rodada Edital MCT/SETEC/CNPq Nº 062/2009 ? RHAE Pesquisador na Empresa
    • Ano
      2010
      Título
      Membro do Comitê Julgador 2a rodada Edital MCT/SETEC/CNPq Nº 062/2009 ? RHAE Pesquisador na Empresa
    • Ano
      2010
      Título
      Membro do Comitê Julgador 3a rodada Edital MCT/SETEC/CNPq Nº 062/2009 ? RHAE Pesquisador na Empresa
    • Ano
      2009
      Título
      Membro do Comitê Julgador 1a Rodada do Edital MCT/SETEC/CNPq nº 67/2008 - RHAE Pesquisador na Empresa
    • Ano
      2009
      Título
      Membro do Comitê de Seleção de bolsistas DAAD/CNPq/CAPES
    • Ano
      2009
      Título
      Membro do Comitê Julgador 2a Rodada do Edital MCT/SETEC/CNPq nº 67/2008 - RHAE Pesquisador na Empresa
    • Ano
      2009
      Título
      Membro do Comitê Julgador 3a Rodada do Edital MCT/SETEC/CNPq nº 67/2008 - RHAE Pesquisador na Empresa
    • Ano
      2009
      Título
      Consultor ad hoc em Ciência da Computação Edital PRONEX MCT/CNPq/FAPERGS 008/2009
    • Ano
      2008
      Título
      Membro do Comitê Julgador, Edital MCT/CNPq/CT-Amazônia Nº 055/2008 - CT-Amazônia
    • Ano
      2008
      Título
      Membro do Comitê Julgador 1a Rodada do Edital MCT/SETEC/CNPq nº 32/2007 - RHAE Pesquisador na Empresa
    • Ano
      2008
      Título
      Membro do Comitê Julgador, 2a Rodada do Edital MCT/SETEC/CNPq nº 32/2007 - RHAE Pesquisador na Empresa
    • Ano
      2006
      Título
      Membro do Comitê Julgador PROBRAL (CAPES/DAAD) edital 2006
Nome da especialidade (número de vezes que aparece no Lattes)
Carlos Humberto Llanos Quintero Fairouz Kamareddine Maribel Fernández Flávio Leonardo Cavalcanti de Moura Daniel Mauricio Muñoz Arboleda André Luiz Galdino NANTES-SOBRINHO, DANIELE Ricardo Pezzuol Jacobi Thaynara Arielly de Lima Daniel Lima Ventura Ana Cristina Rocha Oliveira Cesar Augusto Hurtado Munoz Reiner W Hartenstein Leandro Coelho Lucas Angelo da Silveira Edward Hermann Haeusler Daniele Nantes Sobrinho Ariane Alves Almeida Andréia Borges Avelar Philippe Balbiani FERNÁNDEZ, MARIBEL Gabriel Ferreira Silva DE LIMA, THAYNARA A. Mariano Moscato Thomas Mailleux Sant'Ana Delia Kesner Rodrigo Borges Nogueira Janier Arias-García Alba Cristina Magalhães Alves de Melo Jürgen Becker LLANOS, CARLOS H. ROCHA-OLIVEIRA, ANA CRISTINA Daniel Saad Nogueira Nunes Silvio Giraldi Eduardo Bonelli SONCCO-ALVAREZ, JOSE LUIS Thiago Mendoça Ferreira Ramos Christopher Lynch Manfred Schmidt-Schauss Adrià Gascón de Carvalho-Segundo, Washington Carlos H Llanos SONCCO-ALVAREZ, JOSE L. Vincent van Oostrom Rudi Henri van Els Diego F. Sanchéz Elaine Pimentel Muñoz, César Yuri Santos Rego José de Siqueira Alison Hugo Rodrigues Silva Ruy Guerra de Queiroz Serdar Erbatur Haydée Werneck Poubel Takahito Aoto Alexsandro Fernandes da Fonseca Temur Kutsia Azzedine Boukerche Rinaldi M Neto Ivan Eid Tavares de Araújo Luiz M. R. Gadelha Jr. Larry Paulson Assia Mahboubi Gerwin Klein Magnus Myreen Luiz M R Gadelha Jasmin Blanchette José Luis Soncco-Álvarez Alwyn Goodloe Washington Luis Ribeiro de Carvalho Segundo Deivid Vale Dutle, Aaron Narkawicz, Anthony Sophie Tison DE BARROS, JESSE BARRETO Christiano Braga Ian Mackie Soncco-Álvarez, José L. Salvador Lucas Samuel Mimram Aart Middeldorp Claude Kirchner P. D. Conejo Nidhi Anantharajaiah Maria Emília Machado Telles Walter Kristoffer Rose Aaron Stump Christian Urban Andres Viso Gonzalo Navarro Felipe Louza Pete Manolios Fabian Serrano Gilles Dowek Rodrigo César de Castro Miranda Luis G A Carvalho Ramos, Thiago M. Ferreira François Monin Kamareddine, F. Cláudia Nalon Ralf Treinen Georg Moser Carlos Castro Carlos Morra Yves Bertot Edans Flávius de Oliveira Sandes AVELAR, ANDRÉIA BORGES VISO, ANDRÉS Silvia Ghilzean Murdoch Gabbay Ugo Montanari de Moura, Flávio L. C. Enciso-Rodas, Lauro Alvarez-Mamani, Edwin David Cerna Andrés Felipe González Barragán Laura Titolo Nikson Bernardes Fernandes Ferreira AVELAR, ANDRÉIA B. ARIELLY DE LIMA, THAYNARA Jakob Grue Simonsen GABBAY, MURDOCH JAMES Gabriel Marchesan Almeida COELHO, LEANDRO DOS S. Reiner Harsteiner Alex Barbosa Bruno T de Abreu QUINTERO, CARLOS HUMBERTO LLANOS Bruno de Assis Delboni Anderson Nascimento Hélio Carneiro Ferreira André Braga HARTENSTEIN, REINER W. CARVALHO, LUIS G. A. BRAGA, ANDRE GOG, SIMON SAAD NOGUEIRA NUNES, DANIEL Mircea Marin Besik Dundua DA SILVEIRA, LUCAS ANGELO BECKER, JUERGEN ALMEIDA, GABRIEL MARCHESAN FOLTRAN, ALFREDO June Andronick Gabriele Keller Johannes Waldmann Renata Wassermann Juergen Giesl Cezary Kaliszyk Renata de Freitas Nao Hirokawa Adam Naumowicz Liron Cohen Luiz Carlos P D Pereira Marcelo Finger Frédéric Blanqui Masahiko Sakai Anna Slobodova Johan Commelin SONCCO-ÁLVAREZ, JOSÉ LUIS Simon Gog Andrew Kennedy Mateu Vilaret Pierre-Louis Curien Mario Benevides Wilfrid Hodges Edward Herman Haeusler NOGUEIRA NUNES, DANIEL SAAD Juan Edi Simona Ronchi Della Rocca Guilherme Albuquerque Pinto Santiago Escobar
Lógica da Computação Especificacao Algebrica métodos formais Teoria de Reescrita Substituições Explícitas Lambda Calculus Sistemas Reconfiguráveis Projeto de hardware Sistemas de Reescrita de Termos Algoritmos Eficientes Análise de Algoritmos Lógica e semântica da computação Reescrita-Lógica Teoria de Prova Semântica de Linguagens de Programação unificação de ordem superior Modelos e linguagens computacionais Deducao Automatica criptografia Alinhamento de sequencias Animação de algoritmos Prova de Teoremas Semântica das linguagens de programação Teoria de Tipos FPGA Teoria de Reescrita de Termos PVS Teoria dos Grupos árvores de sufixos Isomorfismo de Curry-Howard Reconhecimento de Padrões em Palavras Evolutionary Algorithms sistemas de reescrita Cálculo Lambda Visualização de teoremas Combinatória de Permutações Lógica Matemática Hardware não convencional Simulação e Verificação de Hardware Verificação Formal bio-informática Substituicao Explicita Teorias Aritmeticas floating-point arithmetic Sistemas de Reescrita Condicionais Verificação e Correção de Algoritmos Paradigmas de Programacao Sistemas Criptográficos redes neurais Tipos com interseção Terminação Arranjos Sistólicos Verificação de Hardware Reescrita de Palavras Clusters de workstations Teorias de ordem superior Unificacao Semamtica Teoria de Categorias Unificação Semântica grupos de permutações Arquiteturas de computadores Ordenação ótima Tipos Dependentes Fatoração Algébrica rearranjo via reversões Ordenação via reversões Provas como programas Teoria de Modelos Cubo de Barendregt Unificação de Primeira Ordem Matching de Ordem Superior teoria da computação Dedução Aritmética Polinomios de Bernstein Segurança de Sistemas Distribuidos Narrowing (Estreitamento) reconhecimento de padrões arranjos de sufixos Redes de petri Data Warehouse Optimização Ordenação ciência da computação Rearranjamento de genomas Axiomatização
CTIT UFMG