The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions von Cardoso, Elton, Amaro, Maycon, Feitosa, Samuel, Reis, Leonardo, Du Bois, André, Ribeiro, Rodrigo

Volltext

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching von Amaro, Maycon J. J., Feitosa, Samuel S., Ribeiro, Rodrigo G.

Volltext

A Mechanized Proof of a Textbook Type Unification Algorithm von Rauber Du Bois, André, Ribeiro, Rodrigo, Amaro, Maycon

Volltext

ANÁLISE DOS BIOMARCADORES NEUROINFLAMATÓRIOS ASSOCIADOS À RESISTÊNCIA AO TRATAMENTO DA DEPRESSÃO von Silva, Maycon Marwin da, Amaro, Arthur Oliveira Silva, Luna, Maria Rute de Souza, Marie, Raphael Alle, Castro, Fernanda Machado Nogueira, Souza, Jéssica Barbosa de, Quinaud, Fernanda Alves, Andrade, Anderson Nascimento de, Coelho, Willian Lucas da Silva, Moura, Katarina Anunciada de, Borges, Thaylini Querino dos Santos Conceição, Braga, Luís Eduardo Gomes

Volltext

Riscos e Benefícios do Uso de Medicamentos Anti-inflamatórios Não Esteroides em Pacientes com Doenças Cardiovasculares von Silva, Maycon Marwin da, Amaro, Arthur Oliveira Silva, Santos, Enzo Martins de Marco, Morales, Diego Alejandro Prieto, Alves, Eveline da Silva, Borges, Alex de Souza, Andrade, Anderson Nascimento de, Guedes, Rafael Mesquita, Coelho, Willian Lucas da Silva, Paixão, Maria Luiza Carvalho, Maslinkiewicz, Alexandre, Sousa, Adenilton Costa, Gomes, Maxilene Padilha Gonçalves, Moro, Patriciah Dal

Volltext