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

Última atualização do Lattes: 01.10.2024

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
  • Software (18)+
    • Ano
      2024
      Título
      nominal - PVS theory for unification nominal modulo
    • Ano
      2024
      Título
      Compactness Theorem for Propositional Logic and Combinatorial Applications
    • Ano
      2023
      Título
      RINGS e Quaternions - parte da teoria de álgebra de PVS
    • 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 - Parte da livraria de teorias PVS de NASA LaRC
    • 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 André Luiz Galdino Daniel Mauricio Muñoz Arboleda NANTES-SOBRINHO, DANIELE Thaynara Arielly de Lima Ricardo Pezzuol Jacobi Daniel Lima Ventura Ana Cristina Rocha Oliveira Cesar Augusto Hurtado Munoz Andréia Borges Avelar Reiner W Hartenstein Lucas Angelo da Silveira Daniele Nantes Sobrinho Leandro Coelho Edward Hermann Haeusler Gabriel Ferreira Silva Ariane Alves Almeida FERNÁNDEZ, MARIBEL DE LIMA, THAYNARA A. Philippe Balbiani Thomas Mailleux Sant'Ana Mariano Moscato Temur Kutsia Delia Kesner Rodrigo Borges Nogueira Janier Arias-García Alba Cristina Magalhães Alves de Melo ROCHA-OLIVEIRA, ANA CRISTINA LLANOS, CARLOS H. Thiago Mendoça Ferreira Ramos de Carvalho-Segundo, Washington Silvio Giraldi Adrià Gascón Daniel Saad Nogueira Nunes SONCCO-ALVAREZ, JOSE LUIS Christopher Lynch Eduardo Bonelli Jürgen Becker Manfred Schmidt-Schauss Alexsandro Fernandes da Fonseca Rudi Henri van Els Diego F. Sanchéz José de Siqueira Azzedine Boukerche Haydée Werneck Poubel Alison Hugo Rodrigues Silva Yuri Santos Rego Ruy Guerra de Queiroz SONCCO-ALVAREZ, JOSE L. Vincent van Oostrom Elaine Pimentel Muñoz, César Cláudia Nalon Carlos H Llanos Serdar Erbatur Fabian Serrano Takahito Aoto Ivan Eid Tavares de Araújo Rinaldi M Neto Luiz M. R. Gadelha Jr. Magnus Myreen Gerwin Klein Soncco-Álvarez, José L. Dutle, Aaron Assia Mahboubi Samuel Mimram Salvador Lucas Claude Kirchner Alwyn Goodloe Washington Luis Ribeiro de Carvalho Segundo Jasmin Blanchette Kutsia, Temur Cerna, David M. Narkawicz, Anthony DE BARROS, JESSE BARRETO Luiz M R Gadelha Deivid Vale Andrés Felipe González Barragán José Luis Soncco-Álvarez Sophie Tison Christiano Braga Ian Mackie Larry Paulson Aart Middeldorp P. D. Conejo Nidhi Anantharajaiah Luis G A Carvalho Maria Emília Machado Telles Walter Carlos Morra Aaron Stump Rodrigo César de Castro Miranda Gonzalo Navarro Yves Bertot Felipe Louza Edans Flávius de Oliveira Sandes Pete Manolios Christian Urban Andres Viso Kristoffer Rose Carlos Castro Gilles Dowek Kamareddine, F. David Cerna François Monin Ramos, Thiago M. Ferreira Ralf Treinen AVELAR, ANDRÉIA BORGES Georg Moser NOGUEIRA NUNES, DANIEL SAAD Jakob Grue Simonsen Silvia Ghilzean Ugo Montanari Barragán, Andrés Felipe González de Moura, Flávio L. C. Enciso-Rodas, Lauro Alvarez-Mamani, Edwin CARVALHO, LUIS G. A. Daniella Santaguida Magalhães de Souza Gabriela de Souza Ferreira Bruno T de Abreu VISO, ANDRÉS GABBAY, MURDOCH JAMES Gabriel Marchesan Almeida COELHO, LEANDRO DOS S. Reiner Harsteiner Alex Barbosa Bruno Berto de Oliveira Resende Laura Titolo Murdoch Gabbay Anderson Nascimento BECKER, JUERGEN ALMEIDA, GABRIEL MARCHESAN FOLTRAN, ALFREDO BRAGA, ANDRE Hélio Carneiro Ferreira DA SILVEIRA, LUCAS ANGELO Nikson Bernardes Fernandes Ferreira AVELAR, ANDRÉIA B. ARIELLY DE LIMA, THAYNARA HARTENSTEIN, REINER W. QUINTERO, CARLOS HUMBERTO LLANOS Bruno de Assis Delboni André Braga GOG, SIMON SAAD NOGUEIRA NUNES, DANIEL Mircea Marin Besik Dundua Juan Edi SONCCO-ÁLVAREZ, JOSÉ LUIS Masahiko Sakai Renata de Freitas Luiz Carlos P D Pereira Gabriele Keller Johannes Waldmann Frédéric Blanqui Nao Hirokawa Andrew Kennedy Marcelo Finger Renata Wassermann Mateu Vilaret Cezary Kaliszyk Liron Cohen Juergen Giesl Simon Gog Pierre-Louis Curien Sarah Winkler Mario Benevides Wilfrid Hodges Johan Commelin Anna Slobodova Guilherme Albuquerque Pinto Simona Ronchi Della Rocca June Andronick Santiago Escobar Adam Naumowicz Edward Herman Haeusler
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 Semantica de Linguagens de Programacao unificação de ordem superior Modelos e linguagens computacionais Deducao Automatica criptografia Alinhamento de Seqüências 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