Browsing by Author Ribeiro, Rodrigo Geraldo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 22  next >
Issue DateTitleAuthor(s)
2016Ambiguity and constrained polymorphism.Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo
2013Ambiguity and context-dependent overloading.Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de
2022An intrinsically-typed solution for the list-machine benchmark.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo
2020Avaliação do uso de realidade mista na prática de atividades colaborativas no contexto industrial.Keller, Breno Nunes de Sena
2018Certified derivative-based parsing of regular expressions.Lopes, Raul Felipe Pimenta
2019Certified virtual machine-based regular expression parsing.Delfino, Thales Antônio
2023Compiling general recursive functions into finite depth pattern matching.Amaro, Maycon José Jorge
2018Formal semantics for java-like languages and research opportunities.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2023Uma formalização da lógica modal usando o assistente de provas Coq.Silveira, Ariel Agne da
2019Generating random well-typed Featherweight Java Programs using quickcheck.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2018Inference of static semantics for incomplete C programs.Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao
2022MASLAB : um software interativo de simulação para apoio no ensino de modelagem e análise de sistemas lineares.Aguiar, Italo Almeida
2013Mechanized metatheory for a λ-calculus with trust types.Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
2020A mechanized proof of a textbook type unification algorithm.Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2022Modelos evolutivos para composição algorítmica afetiva.Santos, Carla Sanches Nere dos
2021Realidade aumentada aplicada à redução de riscos na segurança do trabalho em subestações elétricas.Rocha, Victor Menezes
2013Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
2021The design of a verified derivative-based parsing tool for regular expressions.Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo
2020Towards an extrinsic formalization of featherweight Java in Agda.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020Type inference for C : applications to the static analysis of incomplete programs.Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Guimarães, Breno Campos Ferreira; Pereira, Fernando Magno Quintao