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
Login
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 Reis, Leonardo Vieira dos Santos
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 10 de 10
An on-the-fly grammar modification mechanism for composing and defining extensible languages.
Reis, Leonardo Vieira dos Santos; Iorio, Vladimir Oliveira Di; Bigonha, Roberto da Silva
7-Dez-2015
★
★
★
★
★
(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)
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)
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)
The design of a verified derivative-based parsing tool for regular expressions.
Cardoso, Elton Maximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo
5-Dez-2022
★
★
★
★
★
(0)
The formalization and implementation of Adaptable Parsing Expression Grammars.
Reis, Leonardo Vieira dos Santos; Bigonha, Roberto da Silva; Iorio, Vladimir Oliveira di; Amorim, Luis Eduardo de Souza
28-Jan-2015
★
★
★
★
★
(0)
The formalization and implementation of Adaptable Parsing Expression Grammars.
Reis, Leonardo Vieira dos Santos; Bigonha, Roberto da Silva; Iorio, Vladimir Oliveira Di; Amorim, Luis Eduardo de Souza
28-Jan-2015
★
★
★
★
★
(0)
Uma formalização da lógica modal usando o assistente de provas Coq.
Ribeiro, Rodrigo Geraldo; Roggia, Karina Girardi; Ribeiro, Rodrigo Geraldo; Roggia, Karina Girardi; Vasconcellos, Cristiano Damiani; Reis, Leonardo Vieira dos Santos
Silveira, Ariel Agne da
9-Nov-2023
★
★
★
★
★
(0)