Professor
Mauricio Ayala Rincon http://lattes.cnpq.br/8466420403941522
Última atualização do Lattes: 12.12.2024
Unidade: Instituto de Ciências Exatas (IE)
Departamento: DEPTO CIENCIAS DA COMPUTACAO
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
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
-
Artigos Publicados (70, 79% com DOI)+
-
Demais Tipos de Produção (33, 24% com DOI)+
-
Trabalho em Eventos (142, 45% com DOI)+
Orientações Concluídas
Mestrado: 29
Doutorado: 15
Pos-Doutorado: 4
Outras: 57
Produção Técnica
-
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
-
22 Especialidades Por ordem de relevância
Nome da especialidade (número de vezes que aparece no Lattes)
- Computabilidade e Modelos de Computação (91)+
- Lógicas e Semântica de Programas (66)+
- Lógicas e Semântica de Programas (58)+
- Computabilidade e Modelos de Computação (46)+
- Análise de Algoritmos e Complexidade de... (33)+
- Hardware (32)+
- Análise de Algoritmos e Complexidade de... (24)+
- Hardware (14)+
- Linguagem Formais e Autômatos (4)+
- Lógica Matemática (4)+
- Linguagem Formais e Autômatos (2)+
- Arquitetura de Sistemas de Computação (1)+
- Aviões (1)+
- Circuitos Eletrônicos (1)+
- Circuitos Eletrônicos (1)+
- Engenharia de Tráfego (1)+
- Grupos de Álgebra Não-Comutaviva (1)+
- Linguagens de Programação (1)+
- Matemática Discreta e Combinatória (1)+
- Matemática Simbólica (1)+
- Modelos Analíticos e de Simulação (1)+
- Software Básico (1)+
Coautores Total: 187
Professor da UnB (10)
Externo Identificado no Lattes (24)
Não identificado (153)