Patrick Terrematte

According to our database, Patrick Terrematte authored at least 8 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

A method for the automated generation of proof exercises with comparable levels of proving complexity.

João Mendes, João Marcos, Patrick Terrematte

CoRR, March, 2026

Sistema Multimodal de Apoio ao Gerenciamento de Riscos de Desastres.

Hosana Iasmin Castro dos Santos Lucena, Gabriel Rocha dos Santos, Jady Lima da Silva, Ricardo José Matos de Carvalho, Patrick Terrematte

Proceedings of the 17th International Conference on Computational Processing of Portuguese, 2026

2024

An Integrated Data Analysis Using Bioinformatics and Random Forest to Predict Prognosis of Patients With Squamous Cell Lung Cancer.

Débora V. C. Lima, Patrick Terrematte, Beatriz Stransky, Adrião D. D. Neto

IEEE Access, 2024

2023

GENTLE: a novel bioinformatics tool for generating features and building classifiers from T cell repertoire cancer data.

Dhiego Souto Andrade, Patrick Terrematte, César Rennó-Costa, Alona Zilberberg, Sol Efroni

BMC Bioinform., December, 2023

2022

dbPepVar: A Novel Cancer Proteogenomics Database.

Lucas Marques Da Cunha, Patrick Terrematte, Tayna Da Silva Fiuza, Vandeclécio Lira Da Silva, Jose Eduardo Kroll, Sandro José de Souza, Gustavo Antônio De Souza

IEEE Access, 2022

2015

TryLogic tutorial: an approach to Learning Logic by proving and refuting.

Patrick Terrematte, João Marcos

CoRR, 2015

ARG: Virtual Tool to Teaching Argumentation Theory.

Nailton Silva, Patrick Terrematte, José Moura

CoRR, 2015

2011

Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects.

Patrick Terrematte, Fabrício Costa, João Marcos

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011