Browsing by Author Ribeiro, Rodrigo Geraldo
Showing results 1 to 11 of 11
| Issue Date | Title | Author(s) |
|---|---|---|
| 2016 | Ambiguity and constrained polymorphism. | Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo |
| 2013 | Ambiguity and context-dependent overloading. | Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de |
| 2020 | Avaliação do uso de realidade mista na prática de atividades colaborativas no contexto industrial. | Keller, Breno Nunes de Sena |
| 2018 | Certified derivative-based parsing of regular expressions. | Lopes, Raul Felipe Pimenta |
| 2019 | Certified virtual machine-based regular expression parsing. | Delfino, Thales Antônio |
| 2018 | Formal semantics for java-like languages and research opportunities. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2019 | Generating random well-typed Featherweight Java Programs using quickcheck. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2018 | Inference of static semantics for incomplete C programs. | Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao |
| 2013 | Mechanized metatheory for a λ-calculus with trust types. | Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
| 2013 | 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 |
| 2010 | Utilização de sinais acústicos para detecção de trincas em dormentes de aço. | Yared, Glauco Ferreira Gazel; Barbosa, Carlos Henrique Nogueira de Resende; Ribeiro, Rodrigo Geraldo; Ribeiro, Marcos Henrique; Thebaldi, Rafael Santos; Nascimento, Leandro Prates do; Oliveira, Paganini Barcellos; Vincic, Jasmina; Silveira, Ingrid Machado; Ferreira, Tiago; Vasconcelos, Renato Lataliza |