Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Logins
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Acesso Restrito
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Autor Ribeiro, Rodrigo Geraldo
Classificar por:
Título
Data do documento
Data de envio
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 20 de 26
Próximo »*
A mechanized proof of a textbook type unification algorithm.
Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
14-Fev-2022
★
★
★
★
★
(0)
A type-directed algorithm to generate random well-typed Java 8 programs.
Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
14-Fev-2022
★
★
★
★
★
(0)
A typed approach for parsing expression grammar termination.
Ribeiro, Rodrigo Geraldo; Reis, Leonardo Viera dos Santos; Ribeiro, Rodrigo Geraldo; Reis, Leonardo Viera dos Santos; Vasconcellos, Cristiano Damiani; Roggia, Karina Girardi; Feitosa, Samuel da Silva; Fortes, Reinaldo Silva
Cardoso, Elton Maximo
5-Ago-2025
★
★
★
★
★
(0)
Ambiguity and constrained polymorphism.
Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo
18-Jan-2018
★
★
★
★
★
(0)
Ambiguity and context-dependent overloading.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de
27-Jul-2017
★
★
★
★
★
(0)
An intrinsically-typed solution for the list-machine benchmark.
Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo
5-Dez-2022
★
★
★
★
★
(0)
Avaliação do uso de realidade mista na prática de atividades colaborativas no contexto industrial.
Silva, Saul Emanuel Delabrida; Silva, Saul Emanuel Delabrida; Freire, André Pimenta; Ribeiro, Rodrigo Geraldo
Keller, Breno Nunes de Sena
11-Ago-2020
★
★
★
★
★
(0)
Certified derivative-based parsing of regular expressions.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Malaquias, José Romildo; Reis, Leonardo Vieira dos Santos; Ribeiro, Rodrigo Geraldo
Lopes, Raul Felipe Pimenta
19-Nov-2018
★
★
★
★
★
(0)
Certified virtual machine-based regular expression parsing.
Ribeiro, Rodrigo Geraldo; Ribeiro, Rodrigo Geraldo; Malaquias, José Romildo; Reis, Leonardo Vieira dos Santos
Delfino, Thales Antônio
27-Jul-2020
★
★
★
★
★
(0)
Compiling general recursive functions into finite depth pattern matching.
Ribeiro, Rodrigo Geraldo; Ribeiro, Rodrigo Geraldo; Vieira, Bruno Lopes; Reis, Leonardo Vieira dos Santos
Amaro, Maycon José Jorge
16-Mar-2023
★
★
★
★
★
(0)
Formal semantics for java-like languages and research opportunities.
Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
9-Abr-2019
★
★
★
★
★
(0)
Generating random well-typed Featherweight Java Programs using quickcheck.
Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
24-Jul-2020
★
★
★
★
★
(0)
Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
Ribeiro, Rodrigo Geraldo; Fortes, Reinaldo Silva; Ribeiro, Rodrigo Geraldo; Fortes, Reinaldo Silva; Reis, Leonardo Vieira dos Santos; Feitosa, Samuel da Silva
Silva, Loham Santos da
19-Dez-2024
★
★
★
★
★
(0)
Inference of static semantics for incomplete C programs.
Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao
8-Abr-2019
★
★
★
★
★
(0)
Inferencia gramatical : aplicações em composição algorítmica para modelagem de sequencia de acordes.
Moreira, Gladston Juliano Prates; Ribeiro, Rodrigo Geraldo; Moreira, Gladston Juliano Prates; Ribeiro, Rodrigo Geraldo; Silva, Ivair Ramos; Santos, Valéria de Carvalho; Wanner, Elizabeth Fialho; Ottoni, Amanda Gonçalves Saraiva
Lopes, Henrique Barros
5-Ago-2024
★
★
★
★
★
(0)
MASLAB : um software interativo de simulação para apoio no ensino de modelagem e análise de sistemas lineares.
Ribeiro, Rodrigo Geraldo; Ricco, Rodrigo Augusto; Ribeiro, Rodrigo Geraldo; Ricco, Rodrigo Augusto; Silva, Saul Emanuel Delabrida; Reis, Leonardo Vieira dos Santos
Aguiar, Italo Almeida
5-Dez-2022
★
★
★
★
★
(0)
Mechanized metatheory for a λ-calculus with trust types.
Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
1-Fev-2017
★
★
★
★
★
(0)
Modelos evolutivos para composição algorítmica afetiva.
Freitas, Alan Robert Resende de; Freitas, Alan Robert Resende de; Ribeiro, Rodrigo Geraldo; Barbosa, Rogério Vasconcelos
Santos, Carla Sanches Nere dos
7-Nov-2022
★
★
★
★
★
(0)
Realidade aumentada aplicada à redução de riscos na segurança do trabalho em subestações elétricas.
Silva, Saul Emanuel Delabrida; Silva, Saul Emanuel Delabrida; Oliveira, Ricardo Augusto Rabelo; Ribeiro, Rodrigo Geraldo; Silva, Rone Ilidio da
Rocha, Victor Menezes
17-Jan-2022
★
★
★
★
★
(0)
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
1-Fev-2017
★
★
★
★
★
(0)